Commit e8e1db6b authored by MARCHE Claude's avatar MARCHE Claude

minor: fix wrong syntax of option

parent 41bf52d7
......@@ -95,7 +95,7 @@ run_dir WP_revisited
run_dir vacid_0_binary_heaps "-L vacid_0_binary_heaps"
run_dir avl "-L avl"
run_dir double_wp "-L double_wp"
run_dir prover "-L prover -debug ignore_unused_vars"
run_dir prover "-L prover --debug ignore_unused_vars"
echo ""
echo "Summary : $success/$total"
......
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