Fix report generation when using local Prover runs - #201

Fix report generation when using local Prover runs#201

naftali-g wants to merge 1 commit into

masterCertora/AutoProver:masterfrom

naftali/local-prover-runs-fixCertora/AutoProver:naftali/local-prover-runs-fixCopy head branch name to clipboard