cprover
|
Go to the source code of this file.
Functions | |
void | mmio (value_setst &value_sets, const symbol_tablet &symbol_table, goto_programt &goto_program) |
void | mmio (value_setst &value_sets, goto_modelt &goto_model) |
Memory-mapped I/O Instrumentation for Goto Programs
Definition in file mmio.cpp.
void mmio | ( | value_setst & | value_sets, |
const symbol_tablet & | symbol_table, | ||
goto_programt & | goto_program | ||
) |
void mmio | ( | value_setst & | value_sets, |
goto_modelt & | goto_model | ||
) |