generate_function_bodies_errort Class Reference

Inheritance diagram for generate_function_bodies_errort:

Collaboration diagram for generate_function_bodies_errort:

Public Member Functions
	generate_function_bodies_errort (const std::string &reason)

Detailed Description

Definition at line 374 of file generate_function_bodies.cpp.

Constructor & Destructor Documentation

generate_function_bodies_errort()

generate_function_bodies_errort::generate_function_bodies_errort ( const std::string &  reason )

inlineexplicit

Definition at line 377 of file generate_function_bodies.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/generate_function_bodies.cpp