24 Aug
2015
24 Aug
'15
10:26 a.m.
On Sun, Aug 23, 2015 at 9:19 PM, Alexandre Duret-Lutz <adl@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=lastFinished&buildBranch=next&tab=artifacts&guest=1 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