insert_final_assert_falset Class Reference

#include <insert_final_assert_false.h>

Collaboration diagram for insert_final_assert_falset:

Public Member Functions
	insert_final_assert_falset (message_handlert &_message_handler)
bool	operator() (goto_modelt &, const std::string &)

Private Attributes
messaget	log

Detailed Description

Definition at line 26 of file insert_final_assert_false.h.

Constructor & Destructor Documentation

insert_final_assert_falset()

insert_final_assert_falset::insert_final_assert_falset ( message_handlert &  _message_handler )

explicit

Definition at line 20 of file insert_final_assert_false.cpp.

Member Function Documentation

operator()()

bool insert_final_assert_falset::operator()	(	goto_modelt &	goto_model,
		const std::string &	function_to_instrument
	)

Definition at line 26 of file insert_final_assert_false.cpp.

Member Data Documentation

log

messaget insert_final_assert_falset::log

private

Definition at line 33 of file insert_final_assert_false.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/goto-instrument/insert_final_assert_false.h
• /home/runner/work/cbmc/cbmc/src/goto-instrument/insert_final_assert_false.cpp