Skip to content
  • Etienne Renault's avatar
    benchs: rework the whole benchmark to be homogeneous · 77c63c67
    Etienne Renault authored
    - The benchmark now accept TIMEOUT=10s to fix the maximum
    running time of each test.
    - The output is the same, whatever the experience considered
    - The logs file are now displayed with then \cr\n
    
    * benchs/run-ltl-bb.sh,
    benchs/run-ltl.sh,
    benchs/run-reach-bb.sh,
    benchs/run-reach.sh: Here.
    77c63c67