Change test for merged failed states

8 years ago · 968901cca5
1 changed files with 1 additions and 1 deletions
--- a/tests/dft/test_build.py
+++ b/tests/dft/test_build.py
@ -13,7 +13,7 @@ class TestBuild:
        assert model.nr_transitions == 5
        assert len(model.initial_states) == 1
        initial_state = model.initial_states[0]
-        assert initial_state == 0
+        assert initial_state == 1
        result = stormpy.model_checking(model, formulas[0])
        assert math.isclose(result.at(initial_state), 3)