From 968901cca5ca87607220923699f601562c5b1e56 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 16 Mar 2017 14:36:06 +0100 Subject: [PATCH] Change test for merged failed states --- tests/dft/test_build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/dft/test_build.py b/tests/dft/test_build.py index 059b027..df32062 100644 --- 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)