Skip to content
  • Alexandre Duret-Lutz's avatar
    bench/ltl2tgba: Adjust to support different config files. · 212cb835
    Alexandre Duret-Lutz authored
    * bench/ltl2tgba/algorithms: Rename as...
    * bench/ltl2tgba/tools: ... this.
    * bench/ltl2tgba/README, bench/ltl2tgba/Makefile.am,
    bench/ltl2tgba/defs.in, bench/ltl2tgba/big, bench/ltl2tgba/small,
    bench/ltl2tgba/known: Adjust.
    * bench/ltl2tgba/tools.sim: New file, extracted from ./algorithms.
    212cb835