Commit 01cafd39 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Fix obsolete calling convention.

parent 2d7031b5
......@@ -79,14 +79,14 @@ echo ""
echo "=== Logic ==="
run_dir logic
run_dir bitvectors "-I bitvectors"
run_dir bitvectors "-L bitvectors"
echo ""
echo "=== Programs ==="
run_dir .
run_dir foveoos11-cm
run_dir hoare_logic
run_dir vacid_0_binary_heaps "-I vacid_0_binary_heaps"
run_dir vacid_0_binary_heaps "-L vacid_0_binary_heaps"
echo ""
echo "Summary: $success/$total"
......
Supports Markdown
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