Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/sanity/80columns.test: New file. · 83de4264
    Alexandre Duret-Lutz authored
    * src/sanity/Makefile.am (check-local): Run it.
    * src/ltltest/equals.test, src/ltltest/lunabbrev.test,
    src/ltltest/nenoform.test, src/ltltest/parseerr.test
    src/ltltest/tunabbrev.test, src/ltlvisit/forminf.cc,
    src/tgbatest/explpro2.test, src/tgbatest/explpro3.test,
    src/tgbatest/explprod.test, src/tgbatest/spotlbtt.test,
    src/tgbatest/tripprod.test: Wrap long lines.
    83de4264
To find the state of this project's repository at the time of any of these versions, check out the tags.