E | |
Empty_automaton [Data_for_aorai] |
raised when simplifications make the resulting automaton empty,
meaning that the code and the property do not match.
|
Eof [Yalexer] | |
Error [Promelalexer_withexps] | |
Error [Promelalexer] | |
Error [Yalexer] | |
Error [Ltllexer] |