cover_instrument_other.cpp File Reference

Further coverage instrumentations. More...

#include "cover_instrument.h"
#include <util/cprover_prefix.h>
#include <langapi/language_util.h>
#include <algorithm>

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_id, goto_programt &goto_program, const cover_instrumenter_baset::assertion_factoryt &make_assertion)

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_id,
		goto_programt &	goto_program,
		const cover_instrumenter_baset::assertion_factoryt &	make_assertion
	)

Definition at line 78 of file cover_instrument_other.cpp.