cprover
|
Detection for Uninitialized Local Variables. More...
Go to the source code of this file.
Functions | |
void | add_uninitialized_locals_assertions (goto_modelt &) |
void | show_uninitialized (const goto_modelt &, std::ostream &out) |
Detection for Uninitialized Local Variables.
Definition in file uninitialized.h.
void add_uninitialized_locals_assertions | ( | goto_modelt & | ) |
Definition at line 199 of file uninitialized.cpp.
void show_uninitialized | ( | const goto_modelt & | , |
std::ostream & | out | ||
) |
Definition at line 209 of file uninitialized.cpp.