|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
A function definition and the module AST it belongs to. More...
#include <function_values.h>
Public Attributes | |
| const nlohmann::json * | def |
| const nlohmann::json * | module |
A function definition and the module AST it belongs to.
| const nlohmann::json* function_values::candidate::def |
| const nlohmann::json* function_values::candidate::module |