Skip to content
  • Alexandre Duret-Lutz's avatar
    ltlcross, autcross: add --quiet/-q option · 6f37ff8e
    Alexandre Duret-Lutz authored
    * bin/autcross.cc, bin/ltlcross.cc: Implement it.
    * doc/org/autcross.org, doc/org/ltlcross.org, NEWS: Document it.
    * doc/org/spot.css: Add colors for Makefile snippets.
    * tests/core/autcross4.test, tests/core/ltlcross3.test,
    tests/core/ltlcrossce.test: Add test cases.
    6f37ff8e