Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Post rebase fixups. · dcc809ff
    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