diff --git a/configs/bridge/verifier_options.json b/configs/bridge/verifier_options.json
index dc69f05..c91ccb2 100644
--- 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"},