cprover
|
Memory-mapped I/O Instrumentation for Goto Programs. More...
Go to the source code of this file.
Functions | |
void | mmio (value_setst &, goto_modelt &) |
Memory-mapped I/O Instrumentation for Goto Programs.
Definition in file mmio.h.
void mmio | ( | value_setst & | , |
goto_modelt & | |||
) |
Definition at line 153 of file mmio.cpp.
References goto_functionst::entry_point(), Forall_goto_functions, goto_modelt::goto_functions, INITIALIZE_FUNCTION, mmio(), goto_modelt::symbol_table, and goto_functionst::update().