cprover
|
#include <map>
#include <set>
#include <goto-programs/goto_model.h>
#include <util/expr.h>
#include <util/message.h>
#include <util/optional.h>
#include <util/prefix.h>
#include <util/std_types.h>
#include "function_harness_generator_options.h"
#include "goto_harness_generator.h"
Go to the source code of this file.
Classes | |
struct | recursive_initialization_configt |
class | recursive_initializationt |
Class for generating initialisation code for compound structures. More... | |
struct | recursive_initializationt::constructor_keyt |
Macros | |
#define | GOTO_HARNESS_PREFIX "__GOTO_HARNESS" |
#define GOTO_HARNESS_PREFIX "__GOTO_HARNESS" |
Definition at line 25 of file recursive_initialization.h.