• Alexandre Duret-Lutz's avatar
    ltlgrind: fix handling of FILENAME/COL · 0671d628
    Alexandre Duret-Lutz authored
    This additionally fixes #107.
    * src/bin/ltlgrind.cc: Fix handling for FILEANAME/COL.  Document FORMAT
    in --help.  Assume -F for arguments given without options.
    * src/tests/ltlgrind.test: Add two tests.
    * NEWS: Mention this.
To find the state of this project's repository at the time of any of these versions, check out the tags.