Skip to content
Snippets Groups Projects
Commit e981148d authored by Régis Blanc's avatar Régis Blanc
Browse files

set a longer timeout

parent 80c3df73
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
run-demo
+ 1
− 1
View file @ e981148d
./leon --timeout=5 --noLuckyTests $@
./leon --timeout=10 --noLuckyTests $@
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment