cprover
cover_instrument_other.cpp File Reference
#include "cover_instrument.h"
#include <langapi/language_util.h>
#include "cover_util.h"
+ Include dependency graph for cover_instrument_other.cpp:

Go to the source code of this file.

Functions

void cover_instrument_end_of_function (const irep_idt &function, goto_programt &goto_program)
 

Detailed Description

Further coverage instrumentations

Definition in file cover_instrument_other.cpp.

Function Documentation

◆ cover_instrument_end_of_function()

void cover_instrument_end_of_function ( const irep_idt function,
goto_programt goto_program 
)

Definition at line 72 of file cover_instrument_other.cpp.