michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(tests/lua/threads): increase timeout to make sure it passes the test on slow machines

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-01-15 08:46:14 -08:00
parent 83efa644d1
commit 97d9765992
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/lua/threads/tactic1.lua
View file

@ -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) ]])