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 " --uninitialized-check add checks for uninitialized locals " \
void add_uninitialized_locals_assertions(goto_modelt &)
void show_uninitialized(const goto_modelt &, std::ostream &out)