Hi Estibaliz,
"Fraca Santamaria, Estibaliz" e.fraca@ucl.ac.uk writes:
I'm trying to install spot in my machine.
What kind of machine would that be?
I run make check and I got two errors (Fail : 2).
I am just reporting it as it is asked. Please find test-suite.log attached.
Thank you for this.
One test case (core/ltlsynt2.test) is failing because you don't seem to have Python installed. This is a spurious failure we should fix and that you can ignore.
The second test case (core/ltlcross3.test) is failing for some reason I cannot immediately tell. Could you show me the contents of tests/core/ltlcross3.dir/stderr ?
The installation did fail. I would like to ask if you know why did it fail and what could I do to install it.
I assume that "installation" means running 'make install'. Please provide the output of that command so we can see the error message.
Best regards, Alexandre
PS: Spot 2.11.4 fixes some important issues present in 2.11.3.