[Spot] SPOT error in make check

Alexandre Duret-Lutz adl at lrde.epita.fr
Mon Aug 24 10:26:19 CEST 2015


On Sun, Aug 23, 2015 at 9:19 PM, Alexandre Duret-Lutz <adl at 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


More information about the Spot mailing list