cprover
|
Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc. More...
Go to the source code of this file.
Classes | |
struct | vsd_configt |
Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc.
Definition in file variable_sensitivity_configuration.h.
Enumerator | |
---|---|
TWO_VALUE | |
CONSTANT | |
INTERVAL | |
ARRAY_SENSITIVE | |
ARRAY_INSENSITIVE | |
VALUE_SET_OF_POINTERS | |
POINTER_SENSITIVE | |
POINTER_INSENSITIVE | |
STRUCT_SENSITIVE | |
STRUCT_INSENSITIVE | |
UNION_INSENSITIVE | |
VALUE_SET |
Definition at line 17 of file variable_sensitivity_configuration.h.
|
strong |
Enumerator | |
---|---|
sensitive | |
insensitive |
Definition at line 34 of file variable_sensitivity_configuration.h.