search

nickovic / rtamt4ros

Real-time monitoring tool for ROS applications that uses the rtamt library
BSD 3-Clause "New" or "Revised" License
5 stars 2 forks source link

"not" operator doesn't have an effect #1

Closed jpk15211 closed 3 years ago

jpk15211 commented 4 years ago

I've seen examples where the "not" operator has no effect on the monitoring result. For example, consider the ros_stl_monitor.launch example launch file, which uses the spec.stl specification. If I change the existing specification c.value = always (a.value <= 2) by adding a not after always, like so c.value = always not (a.value <= 2) I get the same resulting robustness value output.

TomyYamy commented 4 years ago

I think it is now rtamt side issue.

TomyYamy commented 3 years ago

I checked it with current rtamt 1b0f010. "not" works in rtamt.STLDenseTimeSpecification() class.