Hi Alexandre, Thank you for your detailed email. I was able to install Spot in the end, with the help of a researcher colleague. Thanks for your time and insterest. Regards, Estibaliz Fraca ________________________________ From: Alexandre Duret-Lutz <adl@lrde.epita.fr> Sent: 16 March 2023 14:36 To: Fraca Santamaria, Estibaliz <e.fraca@ucl.ac.uk> Cc: spot@lrde.epita.fr <spot@lrde.epita.fr> Subject: Re: [Spot] Test suite for spot installation ⚠ Caution: External sender 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.