cprover
|
Further coverage instrumentations. More...
Go to the source code of this file.
Functions | |
void | cover_instrument_end_of_function (const irep_idt &function, goto_programt &goto_program) |
Further coverage instrumentations.
Definition in file cover_instrument_other.cpp.
void cover_instrument_end_of_function | ( | const irep_idt & | function, |
goto_programt & | goto_program | ||
) |
Definition at line 72 of file cover_instrument_other.cpp.
References comment(), goto_program, goto_programt::insert_before_swap(), and goto_programt::instructions.
Referenced by instrument_cover_goals().