-
Alexandre Duret-Lutz authored
* src/bin/ltlcross.cc: Add the option. * src/bin/common_finput.hh, src/bin/common_finput.cc: Make it possible to abort run().
d552be30
* src/bin/ltlcross.cc: Add the option. * src/bin/common_finput.hh, src/bin/common_finput.cc: Make it possible to abort run().