Update robotics example, too

Signed-off-by: Marco Lampacrescia <[email protected]>
convince-project · Sep 9, 2024 · ae39582 · ae39582
1 parent b825304
commit ae39582
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/jani_generator/test/_test_data/robot_navigation_tutorial/properties.jani b/jani_generator/test/_test_data/robot_navigation_tutorial/properties.jani
@@ -15,15 +15,15 @@
                       "op": "<",
                       "left": {
                         "op": "abs",
-                        "exp": "topic_robot_pose_msg.x"
+                        "exp": "topic_robot_pose_msg.ros_fields__x"
                         },
                       "right": 10.0
                       },
                     "right": {
                       "op": "<",
                       "left": {
                         "op": "abs",
-                        "exp": "topic_robot_pose_msg.y"
+                        "exp": "topic_robot_pose_msg.ros_fields__y"
                         },
                       "right": 10.0
                     }
@@ -37,7 +37,7 @@
                         "op": "abs",
                         "exp": {
                           "op": "-",
-                          "left": "topic_robot_pose_msg.x",
+                          "left": "topic_robot_pose_msg.ros_fields__x",
                           "right": 5.0
                         }
                       },
@@ -49,7 +49,7 @@
                         "op": "abs",
                         "exp": {
                           "op": "-",
-                          "left": "topic_robot_pose_msg.y",
+                          "left": "topic_robot_pose_msg.ros_fields__y",
                           "right": -2.0
                         }
                       },