14#ifndef CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
15#define CPROVER_GOTO_INSTRUMENT_INTERRUPT_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void interrupt(value_setst &, goto_modelt &, const irep_idt &interrupt_handler)