30 Jun
2015
30 Jun
'15
7:27 p.m.
On Tue, Jun 30, 2015 at 6:57 PM, Vitus Lam <vitus.lam(a)hku.hk> wrote:
After installing Python 3, the "make"
command could be executed successfully. I then executed the "make check" command
and resulted in the following error. Attached is the test-suite.log.
Thank you. The test is failing because it runs out of memory. I
suspect you have only 2GB (or less) on your computer?
Can you advise what needs to be done in order to fix
the issue?
I don't think there is anything you can fix here. Unless you run
ltlcross on translator tools that produce automata with 1000 states,
it is unlikely to affect you in practice, so you should just ignore
the failure.
I'll see if there is something I can do to reduce the memory
consumption on this particular case.
Best regards,