Commit 723d8e45 authored by Hugo Moreau's avatar Hugo Moreau Committed by Etienne Renault
Browse files

Bench: Global value stored at root

parent 0cb42b19
......@@ -10,22 +10,30 @@ OUTPUT_LTL=benchs-ltl-${NBTHREADS}.csv
LTLFILES=RERS/2016-Problem1-ltl.go RERS/2016-Problem2-ltl.go RERS/2016-Problem4-ltl.go RERS/2016-Problem5-ltl.go RERS/2016-Problem7-ltl.go RERS/2017-Problem1-ltl.go RERS/2017-Problem2-ltl.go RERS/2017-Problem4-ltl.go RERS/2017-Problem5-ltl.go RERS/2017-Problem7-ltl.go RERS/2018-Problem1-ltl.go RERS/2018-Problem2-ltl.go RERS/2018-Problem4-ltl.go RERS/2018-Problem5-ltl.go RERS/2018-Problem7-ltl.go RERS/2019-Problem1-ltl.go RERS/2019-Problem2-ltl.go RERS/2019-Problem4-ltl.go RERS/2019-Problem5-ltl.go RERS/2019-Problem7-ltl.go RERS/2020-Problem1-ltl.go RERS/2020-Problem2-ltl.go RERS/2020-Problem4-ltl.go RERS/2020-Problem5-ltl.go RERS/2020-Problem7-ltl.go
LTLDIR=${LTLFILES:RERS/%.go=%}
LTLOUTPUT=${LTLDIR:%=%/${OUTPUT_LTL}}
LTLGLOBAL=${LTLDIR:%=%/global.csv}
REACHFILES=RERS/2016-Problem10-reach.go RERS/2016-Problem11-reach.go RERS/2016-Problem12-reach.go RERS/2016-Problem14-reach.go RERS/2016-Problem15-reach.go RERS/2017-Problem10-reach.go RERS/2017-Problem11-reach.go RERS/2017-Problem12-reach.go RERS/2017-Problem14-reach.go RERS/2017-Problem15-reach.go RERS/2018-Problem10-reach.go RERS/2018-Problem11-reach.go RERS/2019-Problem11-reach.go RERS/2019-Problem12-reach.go RERS/2019-Problem14-reach.go RERS/2019-Problem15-reach.go
REACHDIR=${REACHFILES:RERS/%.go=%}
REACHOUTPUT=${REACHDIR:%=%/${OUTPUT_REACH}}
REACHGLOBAL=${REACHDIR:%=%/global.csv}
all: ${OUTPUT_LTL} ${OUTPUT_REACH}
all: ${OUTPUT_LTL} ${OUTPUT_REACH} ${OUTPUT}
@echo "Benchs is over using ${NBTHREADS} thread(s):"
@#echo -e "\t- All values: ${OUTPUT}"
@echo -e "\t- Global values: ${OUTPUT}"
@#echo -e "\t- Blackbox evaluations: ${OUTPUT_BB}"
@echo -e "\t- Reachability evaluations: ${OUTPUT_REACH}"
@echo -e "\t- LTL evaluations: ${OUTPUT_LTL}"
${OUTPUT}: ${LTLGLOBAL} ${REACHGLOBAL}
@echo "file,transpile_time, transpile_memory, states, transitions, time, memory" > $@
@if [ -f $^ ]; then\
tail -q -n +2 $^ >> $@;\
fi
${OUTPUT_LTL}: ${LTLOUTPUT}
@echo "model,isempty,spottime,ltsmintime,formulae" > $@
@if [ ! -f $< ]; then\
@if [ -f $< ]; then\
tail -q -n +2 $< >> $@;\
fi
......
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