cprover
variable_sensitivity_configuration.cpp File Reference

Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc. More...

+ Include dependency graph for variable_sensitivity_configuration.cpp:

Go to the source code of this file.

Detailed Description

Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc.

Definition in file variable_sensitivity_configuration.cpp.