ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
function_values::candidate Struct Reference

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

Detailed Description

A function definition and the module AST it belongs to.

Member Data Documentation

◆ def

const nlohmann::json* function_values::candidate::def

◆ module

const nlohmann::json* function_values::candidate::module

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