cprover
|
Nondeterministic initialization of certain global scope variables. More...
Go to the source code of this file.
Functions | |
void | nondet_static (const namespacet &ns, goto_functionst &goto_functions) |
void | nondet_static (goto_modelt &) |
Nondeterministic initialization of certain global scope variables.
Definition in file nondet_static.h.
void nondet_static | ( | const namespacet & | ns, |
goto_functionst & | goto_functions | ||
) |
Definition at line 81 of file nondet_static.cpp.
References INITIALIZE_FUNCTION, nondet_static(), and goto_functionst::update().
void nondet_static | ( | goto_modelt & | ) |
Definition at line 91 of file nondet_static.cpp.
References goto_modelt::goto_functions, nondet_static(), and goto_modelt::symbol_table.