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] |