24 Aug
2015
24 Aug
'15
10:26 a.m.
On Sun, Aug 23, 2015 at 9:19 PM, Alexandre Duret-Lutz <adl(a)lrde.epita.fr>
I guess the proper fix would be to have ltlcross
detect its out-of-memory
errors, skip the tests it cannot perform, and report how many tests were
skipped because of memory issues.
I've implemented that. You can find a development version here:
http://teamcity.lrde.epita.fr/viewLog.html?buildTypeId=bt16&buildId=las…
If you have the time to build it run "make check" again, I would
appreciate a confirmation that both errors are gone; but if you don't,
no worries.
--
Alexandre Duret-Lutz