Skip to content
  • Alexandre Duret-Lutz's avatar
    ltlcross, autcross, ltldo: support --fail-on-timeout · 183ec1fb
    Alexandre Duret-Lutz authored
    Suggested by Tobias Meggendorfer.  Fixes #294.
    
    * bin/autcross.cc, bin/ltlcross.cc, bin/ltldo.cc: Add the option.
    * tests/core/autcross3.test, tests/core/ltlcross3.test,
    tests/core/ltldo.test: Test it.
    * tests/Makefile.am: Add autcross3.test.
    * NEWS, doc/org/autcross.org, doc/org/ltlcross.org, doc/org/ltldo.org:
    Mention the option.
    * THANKS: Add Tobias.
    183ec1fb