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;
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...