a comment

Signed-off-by: Christian Henkel <[email protected]>
convince-project · Jun 25, 2024 · 935fadf · 935fadf
1 parent e643815
commit 935fadf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/jani_generator/test/test_systemtest_scxml_to_jani.py b/jani_generator/test/test_systemtest_scxml_to_jani.py
@@ -190,6 +190,7 @@ def test_example_with_sync(self):
             ground_truth = json.load(f)
         self.maxDiff = None
         self.assertEqual(jani_dict, ground_truth)
+        # TODO: Can't test this in storm right now, because it has no properties.
         if os.path.exists(TEST_FILE):
             os.remove(TEST_FILE)