Commit 6ab73c23 authored by Martin Spiessl's avatar Martin Spiessl

Make MetaVal more robust

Previously, spaces in command-line options were a problem,
as well as witnesses that specified 64 bit.
parent 91a37d09
......@@ -74,11 +74,11 @@ echo "task is $name"
echo "generating residual program from task and witness"
CPAchecker/scripts/cpa.sh -witness2reach -spec $witness $name -setprop witness.useInvariantsAsAssumptions=true -setprop witness.checkInvariantViolations=true -setprop cpa.arg.export.code.header=false -setprop witness.checkProgramHash=false 1>/dev/null
CPAchecker/scripts/cpa.sh -witness2reach -spec "$witness" "$name" -setprop witness.useInvariantsAsAssumptions=true -setprop witness.checkInvariantViolations=true -setprop cpa.arg.export.code.header=false -setprop witness.strictChecking=false 1>/dev/null
echo "starting validation"
cd "$verifier"
echo "$verifier"
echo $(pwd)
echo "[email protected]"
exec [email protected]
exec "[email protected]"
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment