Bug in property

Signed-off-by: Christian Henkel <[email protected]>
convince-project · Oct 12, 2024 · 84df6a3 · 84df6a3
1 parent 20fe96f
commit 84df6a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/jani_generator/_test_data/ros_example_w_bt/battery_properties.jani b/test/jani_generator/_test_data/ros_example_w_bt/battery_properties.jani
@@ -65,7 +65,7 @@
                         "right": {
                             "op": "∧",
                             "left": "topic_alarm_msg.ros_fields__data",
-                            "right": "topic_charge_msg.valid"
+                            "right": "topic_alarm_msg.valid"
                         }
                     }
                 },