cprover
|
Interrupt Instrumentation for Goto Programs. More...
#include "rw_set.h"
Go to the source code of this file.
Functions | |
void | interrupt (value_setst &value_sets, const class symbol_tablet &symbol_table, goto_functionst &goto_functions, const irep_idt &interrupt_handler) |
Interrupt Instrumentation for Goto Programs.
Definition in file interrupt.h.
void interrupt | ( | value_setst & | value_sets, |
const class symbol_tablet & | symbol_table, | ||
goto_functionst & | goto_functions, | ||
const irep_idt & | interrupt_handler | ||
) |