From 41a0dd0bdea755f7299bb62ad70cdb71688d346f Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 23 Apr 2020 11:23:03 -0700
Subject: [PATCH] fix test

---
 tests/storage/test_model.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/storage/test_model.py b/tests/storage/test_model.py
index 3adfb98..b64ba2d 100644
--- a/tests/storage/test_model.py
+++ b/tests/storage/test_model.py
@@ -116,7 +116,7 @@ class TestSparseModel:
         program = stormpy.parse_prism_program(get_example_path("pomdp", "maze_2.prism"))
         formulas = stormpy.parse_properties_for_prism_program("P=? [F \"goal\"]", program)
         model = stormpy.build_model(program, formulas)
-        assert model.nr_states == 16
+        assert model.nr_states == 15
         assert model.nr_observations == 8
 
     def test_build_ma(self):