search

tudo-aqua / stars

STARS - Scenario-Based Testing of Autonomous Robotic Systems
Apache License 2.0
9 stars 2 forks source link

Add dedicated MonitorPredicate DSL functions #75

Open dominikmaeckel opened 3 months ago

dominikmaeckel commented 3 months ago

"NullaryMonitor", "UnaryMonitor", "BinaryMonitor"

tillschallau commented 1 month ago

Haven't you done that already? Or did you only include explicit monitor TSC nodes?

dominikmaeckel commented 1 month ago

Also check "Any" multiplicity DSL function.

tillschallau commented 1 month ago

Also check "Any" multiplicity DSL function.

the "any" multiplicity is already done with #53