Hello!

If you want to use spot via the python bindings in visual studio code on windows you need to set up a remote interpreter via ssh or a docker interpreter.

Using it via ssh interpreter I would suggest you use WSL instead of a virtual machine as it is easier to setup I believe.

If you want to use spot as is I would suggest that you simply install the provided package, i.e. not install it from source.

Cheers, Philipp

Le 2023-08-29 11:29, Alexandre Duret-Lutz a écrit :

Ioana Huștiu ioana.hustiu@academic.tuiasi.ro writes:

...

Well, I am trying to install the 2.11.6 version (the latest that is available on the website). My computer has Windows, but I tried to install it on a virtual machine with Debian 11. I have attached all the commands and their outputs below.

I see that "make check" failed only the randltl.ipynb test, but given than (1) all other Python tests passed, and (2) what the error looks like, I believe that tests/python/randltl.ipynb has been modified compared to was was in the tarball. Probably you tried to open it, execute the first cell, and that created an error message that was saved into the file.

...

A minor curiosity of mine: can the tool be used by using Visual Studio Code and python after installation?

No idea. I'm not familiar with Visual Studio or Windows. ______________________ Spot mailing list -- spot@lrde.epita.fr https://lists.lrde.epita.fr/postorius/lists/spot.lrde.epita.fr//