cprover
Loading...
Searching...
No Matches
mm_io.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Perform Memory-mapped I/O instrumentation
4
5
Author: Daniel Kroening
6
7
Date: April 2017
8
9
\*******************************************************************/
10
28
29
#ifndef CPROVER_GOTO_PROGRAMS_MM_IO_H
30
#define CPROVER_GOTO_PROGRAMS_MM_IO_H
31
32
class
goto_functionst
;
33
class
goto_modelt
;
34
class
symbol_tablet
;
35
36
void
mm_io
(
const
symbol_tablet
&,
goto_functionst
&);
37
void
mm_io
(
goto_modelt
&);
38
39
#endif
// CPROVER_GOTO_PROGRAMS_MM_IO_H
goto_functionst
A collection of goto functions.
Definition
goto_functions.h:25
goto_modelt
Definition
goto_model.h:27
symbol_tablet
The symbol table.
Definition
symbol_table.h:14
mm_io
void mm_io(const symbol_tablet &, goto_functionst &)
goto-programs
mm_io.h
Generated by
1.11.0