-
Alexandre Duret-Lutz authored
* src/ltltest/randltl.cc: Document the -wf option. Declare formula* as const. Simplify GF_n(). * src/tgbatest/ltl2tgba.cc: Suppress unused variable.
dcc809ff
* src/ltltest/randltl.cc: Document the -wf option. Declare formula* as const. Simplify GF_n(). * src/tgbatest/ltl2tgba.cc: Suppress unused variable.