Using Semantic Inspector
I have no NuSMV installed - anyway it was interesting to see what
happens if I click on the semantic inspector.
I tried to test “find unreachable states”. The error message i got
doesn’t help me at all.
Is there an option to prevent such situations, or give the right error
message?
(from redmine: issue id 1201, created on 2013-01-24, closed on 2013-08-01)