config_restoret Struct Reference

Restores the global configuration object on destruction, so that the original configuration is re-established even when an assertion fails. More...

#include <config_restore.h>

Collaboration diagram for config_restoret:

Public Member Functions
	~config_restoret ()

Public Attributes
configt	config_backup = config

Detailed Description

Restores the global configuration object on destruction, so that the original configuration is re-established even when an assertion fails.

Definition at line 16 of file config_restore.h.

Constructor & Destructor Documentation

~config_restoret()

config_restoret::~config_restoret ( )

inline

Definition at line 20 of file config_restore.h.

Member Data Documentation

config_backup

configt config_restoret::config_backup = config

Definition at line 18 of file config_restore.h.

---

The documentation for this struct was generated from the following file:

• /builddir/build/BUILD/cbmc-6.11.0-build/cbmc-cbmc-6.11.0/unit/testing-utils/config_restore.h