From bfb6a77f9fb5782f02a77415964464b733294c64 Mon Sep 17 00:00:00 2001 From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch> Date: Tue, 3 May 2016 17:45:28 +0200 Subject: [PATCH] Increase timeout for 1 benchmark --- testcases/repair/runTests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testcases/repair/runTests.sh b/testcases/repair/runTests.sh index 056c82535..e21e51af5 100755 --- a/testcases/repair/runTests.sh +++ b/testcases/repair/runTests.sh @@ -47,7 +47,7 @@ echo "=====================================================================" >> ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=count testcases/repair/List/List6.scala | tee -a $fullLog ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=find testcases/repair/List/List7.scala | tee -a $fullLog ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=find testcases/repair/List/List8.scala | tee -a $fullLog -./leon --debug=report --repair --timeout=30 --functions=find testcases/repair/List/List9.scala | tee -a $fullLog +./leon --debug=report --repair --timeout=60 --functions=find testcases/repair/List/List9.scala | tee -a $fullLog ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=size testcases/repair/List/List10.scala | tee -a $fullLog ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=sum testcases/repair/List/List11.scala | tee -a $fullLog ./leon --debug=report --repair --timeout=30 --solvers=fairz3,enum --functions=- testcases/repair/List/List12.scala | tee -a $fullLog -- GitLab