|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <module.h>
Public Member Functions | |
| bool | operator== (const function &other) const |
Public Attributes | |
| std::string | name_ |
| std::string | return_type_ |
| std::string function::name_ |
| std::string function::return_type_ |