typo fixed

moves-rwth · Sep 20, 2023 · 78f62cc · 78f62cc
1 parent 56c50a0
commit 78f62cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/core/test_modelchecking.py b/tests/core/test_modelchecking.py
@@ -180,7 +180,7 @@ def test_compute_expected_number_of_visits(self):
         assert result.at(0) == 1
         assert math.isclose(result.at(1),2.0/3)
 
-    def test_compute_steady_state_distributioin(self):
+    def test_compute_steady_state_distribution(self):
         program = stormpy.parse_prism_program(get_example_path("dtmc", "die.pm"))
         model = stormpy.build_model(program)
         environment = stormpy.Environment()