moves-rwth/stormpy

Failing tests on master branch

Closed this issue · 1 comments

YouGuessedMyName commented

Two unit tests fail when running python3 setup.py test

image

volkm commented

Thanks for letting us know.
These errors stem from an issue in Storm (see moves-rwth/storm#559) and should work again if the issue in Storm is fixed.
You can ignore these tests for now.