CBMC
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 364 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 367 of file generate_function_bodies.cpp.


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