Skip to content
  • Thibaud Michaud's avatar
    ltlcross: adding option --grind=FILENAME · 4e1586dc
    Thibaud Michaud authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    Suggested by Joachim Klein.
    
    When a bogus formula is found by ltlcross, the --grind=FILENAME option
    tries to find a smaller formula for which the bug is still present, and
    outputs it in FILENAME.
    
    * src/bin/ltlcross.cc: Add the --grind option.
    * doc/org/ltlcross.org: Document the --grind option.
    * src/ltltest/ltlcrossgrind.test: Test it.
    * src/ltltest/Makefile.am: Add test.
    4e1586dc