commit test

moves-rwth · Jul 2, 2024 · a55bb89 · a55bb89
1 parent 5bb042a
commit a55bb89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"