12 #ifndef CPROVER_JAVA_BYTECODE_CONVERT_NONDET_H 13 #define CPROVER_JAVA_BYTECODE_CONVERT_NONDET_H 55 #endif // CPROVER_JAVA_BYTECODE_CONVERT_NONDET_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
The symbol table base class interface.
goto_programt coverage_criteriont message_handlert & message_handler
Interface providing access to a single function in a GOTO model, plus its associated symbol table...
void convert_nondet(goto_functionst &, symbol_table_baset &, message_handlert &, const object_factory_parameterst &object_factory_parameters)
Replace calls to nondet library functions with an internal nondet representation. ...