Update property name in test of grid_world

Signed-off-by: Marco Lampacrescia <[email protected]>
convince-project · Dec 10, 2024 · 8736824 · 8736824
1 parent 09f5a56
commit 8736824
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/jani_generator/test_systemtest_scxml_to_jani.py b/test/jani_generator/test_systemtest_scxml_to_jani.py
@@ -439,7 +439,7 @@ def test_grid_robot_blackboard(self):
         self._test_with_main(
             "grid_robot_blackboard",
             model_xml="main.xml",
-            property_name="tree_success",
+            property_name="at_goal",
             success=True,
         )