From 78f62cc3f14cda9e88c98a8f7e0e6622acc28aa9 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Wed, 20 Sep 2023 13:44:46 +0200 Subject: [PATCH] typo fixed --- tests/core/test_modelchecking.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/core/test_modelchecking.py b/tests/core/test_modelchecking.py index d31ed0f6f..eb0848dad 100644 --- 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()