Update verifier options

ispras · Oct 16, 2023 · 141ff20 · 141ff20
1 parent 39718b2
commit 141ff20
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/configs/bridge/verifier_options.json b/configs/bridge/verifier_options.json
@@ -13,7 +13,8 @@
         {"-setprop": "counterexample.export.exportCounterexampleCoverage=true"},
         {"-setprop": "counterexample.export.prefixAdditionalCoverageFile=Counterexample.%d.additionalCoverage.info"},
         {"-setprop": "additionalCoverage.file=additionalCoverage.info"},
-        {"-setprop": "parser.readLineDirectives=true"},
+        {"-setprop": "parser.readLineDirectives=false"},
+        {"-setprop": "coverage.file=coverage.info"},
         {"-setprop": "cpa.arg.proofWitness=witness.correctness.graphml"},
         {"-setprop": "cpa.arg.export=true"},
         {"-setprop": "cpa.arg.compressWitness=false"},