|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <andersen.h>
Public Attributes | |
| constraint_kindt | kind |
| node_id | lhs |
| node_id | rhs |
| constraint_kindt andersent::constraintt::kind |
| node_id andersent::constraintt::lhs |
| node_id andersent::constraintt::rhs |