From 857eedb28d0973529dd12c4b7f15ede7c24c9d6d Mon Sep 17 00:00:00 2001 From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch> Date: Mon, 8 Feb 2016 17:04:30 +0100 Subject: [PATCH] Run big tests too --- testcases/synthesis/etienne-thesis/run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/testcases/synthesis/etienne-thesis/run.sh b/testcases/synthesis/etienne-thesis/run.sh index ee64d8670..81dd480de 100755 --- a/testcases/synthesis/etienne-thesis/run.sh +++ b/testcases/synthesis/etienne-thesis/run.sh @@ -35,9 +35,9 @@ run testcases/synthesis/etienne-thesis/UnaryNumerals/Distinct.scala run testcases/synthesis/etienne-thesis/UnaryNumerals/Mult.scala # BatchedQueue -#run testcases/synthesis/etienne-thesis/BatchedQueue/Enqueue.scala +run testcases/synthesis/etienne-thesis/BatchedQueue/Enqueue.scala run testcases/synthesis/etienne-thesis/BatchedQueue/Dequeue.scala # AddressBook -#run testcases/synthesis/etienne-thesis/AddressBook/Make.scala +run testcases/synthesis/etienne-thesis/AddressBook/Make.scala run testcases/synthesis/etienne-thesis/AddressBook/Merge.scala -- GitLab