Commit 8045490e authored by MARCHE Claude's avatar MARCHE Claude

no section "to be ported" anymore

parent b2bb8f95
......@@ -74,16 +74,12 @@ run_dir foveoos11-cm
run_dir vacid_0_binary_heaps "-L vacid_0_binary_heaps"
run_dir verifythis_2016_matrix_multiplication "-L verifythis_2016_matrix_multiplication"
run_dir WP_revisited
run_dir prover "-L prover --debug ignore_unused_vars"
echo ""
echo "Score on ported programs : $success/$total"
echo ""
echo "=== Programs that remain to be ported ==="
echo ""
run_dir prover "-L prover --debug ignore_unused_vars"
echo ""
echo "=== Standard Library ==="
echo ""
run_dir stdlib
......
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