[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:
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