Summary: | SMC simulate query monitoring fails to produce a single run when property is satisfied | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Marius Mikučionis <marius> |
Component: | Engine | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED FIXED | ||
Severity: | critical | CC: | adavid |
Priority: | P5 | ||
Version: | 4.1.19 | ||
Hardware: | All | ||
OS: | All | ||
Architecture: |
Description
Marius Mikučionis
2018-05-09 10:50:33 CEST
Stratego-6 does not have this issue anymore. |