|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Go to the source code of this file.
Enumerations | |
| enum class | SosRule { NO_Contact_True , NO_Contact_False , NC_Contact_True , NC_Contact_False , Rising_Contact , Falling_Contact , Output_Coil , Set_Coil , Reset_Coil , TON_Step , TOF_Step , TP_Step , CTU_Step , CTD_Step , Arith_Step } |