14 #ifndef CPROVER_GOTO_INSTRUMENT_INTERRUPT_H 15 #define CPROVER_GOTO_INSTRUMENT_INTERRUPT_H 26 #endif // CPROVER_GOTO_INSTRUMENT_INTERRUPT_H void interrupt(value_setst &, goto_modelt &, const irep_idt &interrupt_handler)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Race Detection for Threaded Goto Programs.