Commit f6d1d6c1 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

ignore unused vars when replaying example "prover"

parent 3975bd82
......@@ -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"
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