cprover
|
Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc. More...
#include "variable_sensitivity_configuration.h"
Go to the source code of this file.
Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc.
Definition in file variable_sensitivity_configuration.cpp.