Go to the documentation of this file.
12 #ifndef CPROVER_CBMC_C_TEST_INPUT_GENERATOR_H
13 #define CPROVER_CBMC_C_TEST_INPUT_GENERATOR_H
39 bool print_trace)
const;
46 bool print_trace)
const;
67 #endif // CPROVER_CBMC_C_TEST_INPUT_GENERATOR_H
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...