|
CBMC
|
#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... | |