[Spot] Re: Test suite for spot installation

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(a)lrde.epita.fr> Sent: 16 March 2023 14:36 To: Fraca Santamaria, Estibaliz <e.fraca(a)ucl.ac.uk> Cc: spot(a)lrde.epita.fr <spot(a)lrde.epita.fr> Subject: Re: [Spot] Test suite for spot installation ⚠ Caution: External sender Hi Estibaliz, "Fraca Santamaria, Estibaliz" <e.fraca(a)ucl.ac.uk> writes: What kind of machine would that be? 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 ? 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.