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) |
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 74 of file nondet_static.cpp.
References CPROVER_PREFIX, nondet_static(), and goto_functions_templatet< bodyT >::update().