-
Alexandre Duret-Lutz authored
Fixes #96, reported by Vitus Lam & Christopher Ziegler. * src/bin/ltlcross.cc: Catch std::bad_alloc, skip those products and the related tests. Display a count of those skipped tests at the end. * NEWS: Mention it. * src/tests/ltlcross3.test: Adjust expected error message.
0510e4df
To find the state of this project's repository at the time of any of these versions, check out the tags.