config_restore.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: RAII guard for the global configuration object
 
Author: Michael Tautschnig
 
\*******************************************************************/
 
#ifndef CPROVER_TESTING_UTILS_CONFIG_RESTORE_H
#define CPROVER_TESTING_UTILS_CONFIG_RESTORE_H
 
#include <util/config.h>
 
struct config_restoret
{
  configt config_backup = config;
 
  ~config_restoret()
  {
    config = config_backup;
  }
};
 
#endif // CPROVER_TESTING_UTILS_CONFIG_RESTORE_H