Commit 546cf540 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Move untested example to to_port.

parent 517f7355
......@@ -227,7 +227,7 @@ goods examples/WP_revisited
goods examples/vacid_0_binary_heaps "-L examples/vacid_0_binary_heaps"
goods examples/bitvectors "-L examples/bitvectors"
goods examples/avl "-L examples/avl"
goods examples/verifythis_2016_matrix_multiplication "-L examples/verifythis_2016_matrix_multiplication"
goods examples/to_port/verifythis_2016_matrix_multiplication "-L examples/to_port/verifythis_2016_matrix_multiplication"
goods examples/double_wp "-L examples/double_wp"
goods examples/ring_decision "-L examples/ring_decision"
goods examples/in_progress
......
......@@ -81,6 +81,7 @@ echo ""
echo "=== Programs that remain to be ported ==="
echo ""
run_dir prover "-L prover --debug ignore_unused_vars"
run_dir to_port/verifythis_2016_matrix_multiplication "-L to_port/verifythis_2016_matrix_multiplication"
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