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;
21class value_setst;
22
23void interrupt(
26 const irep_idt &interrupt_handler,
28
29#endif // CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
void interrupt(value_setst &, goto_modelt &, const irep_idt &interrupt_handler, message_handlert &)
dstringt irep_idt