|
cprover
|
#include <util/config.h>Go to the source code of this file.
Classes | |
| struct | config_restoret |
| Restores the global configuration object on destruction, so that the original configuration is re-established even when an assertion fails. More... | |