cprover
Loading...
Searching...
No Matches
interrupt.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Interrupt Instrumentation for Goto Programs
4
5Author: Daniel Kroening
6
7Date: September 2011
8
9\*******************************************************************/
10
13
14#ifndef CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
15#define CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
16
17#include <util/irep.h>
18
19class goto_modelt;
20class value_setst;
21
22void interrupt(
25 const irep_idt &interrupt_handler);
26
27#endif // CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
void interrupt(value_setst &, goto_modelt &, const irep_idt &interrupt_handler)
Definition: interrupt.cpp:188