diff --git a/test/jani_generator/_test_data/grid_robot_blackboard_simple/bt.xml b/test/jani_generator/_test_data/grid_robot_blackboard_simple/bt.xml index 50f3f723..9472dc78 100644 --- a/test/jani_generator/_test_data/grid_robot_blackboard_simple/bt.xml +++ b/test/jani_generator/_test_data/grid_robot_blackboard_simple/bt.xml @@ -2,7 +2,7 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_move.scxml b/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_move.scxml deleted file mode 100644 index e6dc37a4..00000000 --- a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_move.scxml +++ /dev/null @@ -1,35 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_shall_move.scxml b/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_shall_move.scxml deleted file mode 100644 index 90a8a178..00000000 --- a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_shall_move.scxml +++ /dev/null @@ -1,76 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_update_goal_and_current_position.scxml b/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_update_goal_and_current_position.scxml deleted file mode 100644 index 07b1d82c..00000000 --- a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/bt_update_goal_and_current_position.scxml +++ /dev/null @@ -1,94 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/main.xml b/test/jani_generator/_test_data/grid_robot_blackboard_simpler/main.xml deleted file mode 100644 index 9a3ce9cf..00000000 --- a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/main.xml +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - diff --git a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/properties.jani b/test/jani_generator/_test_data/grid_robot_blackboard_simpler/properties.jani deleted file mode 100644 index 23996849..00000000 --- a/test/jani_generator/_test_data/grid_robot_blackboard_simpler/properties.jani +++ /dev/null @@ -1,47 +0,0 @@ -{ - "properties": [ - { - "expression": { - "fun": "values", - "op": "filter", - "states": { - "op": "initial" - }, - "values": { - "exp": { - "exp": { - "comment": "Bt 1000 is always the root, Values = {1: SUCCESS, 2: FAILURE, 3: RUNNING}", - "left": "bt_1000_response.status", - "op": "=", - "right": 1 - }, - "op": "F" - }, - "op": "Pmin" - } - }, - "name": "tree_success" - }, - { - "expression": { - "fun": "values", - "op": "filter", - "states": { - "op": "initial" - }, - "values": { - "exp": { - "exp": { - "left": "topic_at_goal_msg.valid", - "op": "∧", - "right": "topic_at_goal_msg.ros_fields__data" - }, - "op": "F" - }, - "op": "Pmin" - } - }, - "name": "at_goal" - } - ] -} diff --git a/test/jani_generator/test_systemtest_scxml_to_jani.py b/test/jani_generator/test_systemtest_scxml_to_jani.py index d3c93049..cc7020f2 100644 --- a/test/jani_generator/test_systemtest_scxml_to_jani.py +++ b/test/jani_generator/test_systemtest_scxml_to_jani.py @@ -454,12 +454,12 @@ def test_grid_robot_blackboard(self): success=True, ) - def test_grid_robot_blackboard_simpler(self): + def test_grid_robot_blackboard_simple(self): """Test the simpler grid_robot_blackboard model (BT + Blackboard).""" self._test_with_main( - "grid_robot_blackboard_simpler", + "grid_robot_blackboard_simple", model_xml="main.xml", - property_name="at_goal", + property_name="tree_success", success=True, size_limit=1_000_000, )