Index of exceptions


B
BadMessage [Messaging]

C
Contract_not_found [LustreContext]

E
Error [LustreParser]

I
InvalidProcessName [Messaging]

N
Node_not_found [LustreContext]
Node or function not found, possible forward reference
NotInitialized [Messaging]
Not_in_LIA [Presburger]
Formula is not in linear integer arithmetic

P
Parser_error [LustreAst]
Error while parsing

S
Signal [Lib]
System signal caught
SocketBindFailure [Messaging]
SocketConnectFailure [Messaging]

T
Terminate [Event]
TimeoutVirtual [Lib]
CPU timeout
TimeoutWall [Lib]
Wallclock timeout
TopReached [TestgenTree]
Exception raised when Top is reached.
TrivialRelation [InvGenDomain]
Type_mismatch [LustreExpr]
Types of expressions do not match signature of operator
Type_not_found [LustreContext]

U
Unknown [SMTSolver]
Exception raised when the solver returns "unknown" to a check-sat.
UnsupportedFileFormat [InputSystem]