cprover
cover_instrument_other.cpp File Reference

Further coverage instrumentations. More...

#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 
)