* Makefile: Here.

* benchs/Makefile: Here.

Hugo Moreau authored 3 years ago and Etienne Renault committed 3 years ago

A new log directory is now generated when bench is in progress,
containing all log files, named with this pattern,
`formula.<FORMULA NB>.[bb.].log`.

Hugo Moreau authored 3 years ago and Etienne Renault committed 3 years ago

To preserve a nice workflow and tracking more efficiently when Makefile
can possibly fail. The current workflow is LTL files, Reach files, LTL
files blackboxed, Reach files blackboxed.

Hugo Moreau authored 3 years ago and Etienne Renault committed 3 years ago

 * benchs/Makefile: Here.

Hugo Moreau authored 3 years ago and Etienne Renault committed 3 years ago

By invoking the make command in benchs, you can now generate a benchmark
for basic LTL and REACH RERS files.

 * benchs/Makefile,
   benchs/run-ltl.sh,
   benchs/run-reach.sh: Here.