My favorites | Sign in
Project Home Downloads Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
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
Status:  Accepted
Owner:  linjus...@gmail.com


 
Project Member Reported by linjus...@gmail.com, Nov 4, 2011
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.


Powered by Google Project Hosting