From a55bb89f2a1521511c7833037e415b0331231b91 Mon Sep 17 00:00:00 2001 From: PimLeerkes Date: Tue, 2 Jul 2024 16:23:53 +0200 Subject: [PATCH] commit test --- stormvogel/map.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"