cprover
Loading...
Searching...
No Matches
mmio.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Memory-mapped I/O Instrumentation for Goto Programs
4
5Author: Daniel Kroening
6
7Date: September 2011
8
9\*******************************************************************/
10
13
14#ifndef CPROVER_GOTO_INSTRUMENT_MMIO_H
15#define CPROVER_GOTO_INSTRUMENT_MMIO_H
16
17class value_setst;
18class goto_modelt;
19
20void mmio(
22 goto_modelt &);
23
24#endif // CPROVER_GOTO_INSTRUMENT_MMIO_H
void mmio(value_setst &, goto_modelt &)
Definition mmio.cpp:159