diff --git a/stormvogel/map.py b/stormvogel/map.py index 43a6260..85b5ddd 100644 --- a/stormvogel/map.py +++ b/stormvogel/map.py @@ -24,7 +24,6 @@ def matrix_to_simple(matrix: stormpy.SparseMatrix) -> stormvogel.model.Model: Takes a sparsematrix as input and outputs a simple representation - return simple """ @@ -40,3 +39,4 @@ def matrix_to_simple(matrix: stormpy.SparseMatrix) -> stormvogel.model.Model: ) print(simple_to_matrix(dtmc)) + "test"