| Issue 5: | an error message is misleading when @violation handler is used for LTL | |
| 1 person starred this issue and may be notified of changes. | Back to list |
For the following LTL property: ltl: [](read => <> obliterate) JavaMOP 2.3 generates the following error: [Error]violation is not a supported state in this logic, ltl. It's misleading because @violation is actually supported. |