Commit e6ab3f71 authored by Etienne Renault's avatar Etienne Renault
Browse files

add missing timeout

Makefile: here.
parent f9237169
......@@ -39,11 +39,11 @@ check: go2pins
@cd tests && ./run.sh
benchmark:
@make clean release && cd benchs && make $(nbthreads)
@make clean release && cd benchs && make NBTHREADS=8 TIMEOUT=4m
demo:
@make clean release && cd benchs && make LTLFILES=2016-Problem1-ltl REACHFILES=RERS/2016-Problem10-reach.go NBTHREADS=2
@make clean release && cd benchs && make blackbox LTLFILES=2016-Problem1-ltl REACHFILES=RERS/2016-Problem10-reach.go NBTHREADS=2
@make clean release && cd benchs && make LTLFILES=2016-Problem1-ltl REACHFILES=RERS/2016-Problem10-reach.go NBTHREADS=2 TIMEOUT=4m
@make clean release && cd benchs && make blackbox LTLFILES=2016-Problem1-ltl REACHFILES=RERS/2016-Problem10-reach.go NBTHREADS=2 TIMEOUT=4m
clean:
go clean
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment