14#ifndef CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
15#define CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
27#define OPT_UNINITIALIZED_CHECK "(uninitialized-check)"
29#define HELP_UNINITIALIZED_CHECK \
30 " {y--uninitialized-check} \t " \
31 "add checks for uninitialized locals (experimental)\n"
void add_uninitialized_locals_assertions(goto_modelt &)
void show_uninitialized(const goto_modelt &, std::ostream &out)