Closed this issue 2 years ago · 1 comments
Bug report by email hints that some tests fail if Storm is build without GSPN support.
Tests probably just need some skips.
The tests should have the @gspn decorator to take care of this. But we probably overlooked some instances.
@gspn