1. 20 Apr, 2021 4 commits
    • Etienne Renault's avatar
      benchs: fix typos in CSV headers · 570714d7
      Etienne Renault authored
      * benchs/run-ltl-bb.sh,
      benchs/run-reach-bb.sh: Here
      570714d7
    • Etienne Renault's avatar
      benchs: rework the whole benchmark to be homogeneous · 3fb96300
      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.
      3fb96300
    • Hugo Moreau's avatar
      Bench: Logging actions · ad9e11b0
      Hugo Moreau authored and Etienne Renault's avatar Etienne Renault committed
      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`.
      ad9e11b0
    • Hugo Moreau's avatar
      Bench: building blackbox separately · 0b70b79e
      Hugo Moreau authored and Etienne Renault's avatar Etienne Renault committed
      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.
      0b70b79e