From 97d9765992ddaffa0b9d24bfb71dbdee2e8d6642 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 15 Jan 2014 08:46:14 -0800 Subject: [PATCH] fix(tests/lua/threads): increase timeout to make sure it passes the test on slow machines Signed-off-by: Leonardo de Moura --- tests/lua/threads/tactic1.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lua/threads/tactic1.lua b/tests/lua/threads/tactic1.lua index 45981dc13..d7aec3bbc 100644 --- a/tests/lua/threads/tactic1.lua +++ b/tests/lua/threads/tactic1.lua @@ -31,7 +31,7 @@ local t2 = tactic(function(env, ios, s) end end) -local T = (t1:par(t2)):try_for(150) +local T = (t1:par(t2)):try_for(500) T:solve(env, ios, ctx, p) assert(counter2 > 2) S:eval([[ assert(counter1 > 2) ]])