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)