Skip to content
  • Alexandre Duret-Lutz's avatar
    Do not output a counterexample by default in ltl2tgba, introduce · a6677c29
    Alexandre Duret-Lutz authored
    options -C and -CR for that.
    
    * src/tgbatest/ltl2tgba.cc: Add option -C and -CR to control
    whether we want the accepting run to be printed or replayed.
    * src/tgbatest/dfs.test, src/tgbatest/eltl2tgba.test,
    src/tgbatest/emptchk.test, src/tgbatest/emptchke.test,
    src/tgbatest/ltl2tgba.cc, src/tgbatest/ltlcounter.test: Use -CR.
    a6677c29