cprover
interrupt.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Interrupt Instrumentation for Goto Programs
4 
5 Author: Daniel Kroening
6 
7 Date: September 2011
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
15 #define CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
16 
17 class symbol_tablet;
18 class goto_functionst;
19 
20 #include "rw_set.h"
21 
22 void interrupt(
23  value_setst &value_sets,
24  const class symbol_tablet &symbol_table,
25  goto_functionst &goto_functions,
26  const irep_idt &interrupt_handler);
27 
28 #endif // CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
void interrupt(value_setst &value_sets, const class symbol_tablet &symbol_table, goto_functionst &goto_functions, const irep_idt &interrupt_handler)
The symbol table.
Definition: symbol_table.h:52
Race Detection for Threaded Goto Programs.