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.