-
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.
bbe3b2ce
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.