CBMC
Loading...
Searching...
No Matches
config_restore.h File Reference
#include <util/config.h>
+ Include dependency graph for config_restore.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...