Commit 62c09ae6 authored by Martin Clochard's avatar Martin Clochard

Add AVL tree example to regression test

parent e78029cb
......@@ -91,6 +91,7 @@ run_dir .
run_dir foveoos11-cm
run_dir hoare_logic
run_dir vacid_0_binary_heaps "-L vacid_0_binary_heaps"
run_dir avl "-L avl"
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