Skip to content
  • Alexandre Duret-Lutz's avatar
    fix line number tracking in files with DOS newlines · 45e9b96b
    Alexandre Duret-Lutz authored
    * src/dstarparse/dstarscan.ll, src/kripkeparse/kripkescan.ll,
    src/neverparse/neverclaimscan.ll, src/tgbaparse/tgbascan.ll:
    Distinguish between 1-sized EOL and 2-sized EOL.
    * src/kripketest/bad_parsing.test, src/tgbatest/neverclaimread.test,
    src/tgbatest/readsave.test: Add more tests.
    * NEWS: Mention it.
    * src/kripkeparse/scankripke.ll: Remove this unused file.
    45e9b96b