mmio.cpp File Reference

Memory-mapped I/O Instrumentation for Goto Programs. More...

#include "mmio.h"
#include <linking/static_lifetime_init.h>
#include "rw_set.h"

Include dependency graph for mmio.cpp:

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)

Detailed Description

Memory-mapped I/O Instrumentation for Goto Programs.

Definition in file mmio.cpp.

Function Documentation

mmio() [1/2]

void mmio	(	value_setst &	value_sets,
		const symbol_tablet &	symbol_table,
		goto_programt &	goto_program
	)

Definition at line 24 of file mmio.cpp.

mmio() [2/2]

void mmio	(	value_setst &	value_sets,
		goto_modelt &	goto_model
	)

Definition at line 153 of file mmio.cpp.