On Tue, Jun 30, 2015 at 6:57 PM, Vitus Lam vitus.lam@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,