culechetoo

I also got this error. I installed version 1.8.0 using the given instructions. I am using a virtual environment with Python 3.10. I have attached the setup and test logs....

I now got the following output. `ERROR: usage: __main__.py [options] [file_or_dir] [file_or_dir] [...]` `__main__.py: error: unrecognized arguments: --nbval` ` inifile: /Users/cgarwal/PycharmProjects/stormpy/setup.cfg` ` rootdir: /Users/cgarwal/PycharmProjects/stormpy`

Thanks. Now I see that several tests are skipped but it goes through. However, I believe I followed the installation path for all dependencies (carl and storm) that installed all...