diff --git a/jani_generator/test/test_systemtest_scxml_to_jani.py b/jani_generator/test/test_systemtest_scxml_to_jani.py index 12b192dd..64b5460c 100644 --- 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)