From 141ff20543250b45cedfd1e2f496d880f4db9cb5 Mon Sep 17 00:00:00 2001 From: Mordan Vitalii Date: Mon, 16 Oct 2023 21:05:14 +0530 Subject: [PATCH] Update verifier options --- configs/bridge/verifier_options.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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"},