Commit 7a0143b4 authored by Martin Clochard's avatar Martin Clochard
Browse files

Move back examples that were already ported.

parent 2a794b99
......@@ -67,6 +67,7 @@ echo "=== Programs already ported === MUST REPLAY AND ALL GOALS PROVED ==="
echo ""
run_dir .
run_dir double_wp "-L double_wp"
run_dir avl "-L avl"
echo ""
echo "Score on ported programs : $success/$total"
......@@ -78,7 +79,6 @@ run_dir to_port
run_dir foveoos11-cm
run_dir WP_revisited
run_dir vacid_0_binary_heaps "-L vacid_0_binary_heaps"
run_dir avl "-L avl"
echo ""
echo "=== Standard Library ==="
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