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
	)

Definition at line 72 of file cover_instrument_other.cpp.