added two more tests to multiex

Berkeley-Correctness-Group · Mar 7, 2014 · dc0af6c · dc0af6c
1 parent 079076f
commit dc0af6c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/testmultiple.py b/scripts/testmultiple.py
@@ -23,6 +23,8 @@
     ("tests/compos/arbitrary4",13),
     ("tests/compos/fac",12),
     ("tests/compos/fac2",12),
+    ("tests/compos/parser",323),
+    ("tests/compos/parser2",165),
     ("tests/unit/bool_symbolic", 3),
     ("tests/unit/qsort", 28),
     ("tests/unit/compos1", 4),