Skip to content
  • Hugo Moreau's avatar
    Benchmark: Basic LTL and REACH Makefile · 282677c7
    Hugo Moreau authored
    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.
    282677c7