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

Public Attributes

std::optional< nlohmann::json > list
arange_decline_reason reason = arange_decline_reason::none

Member Data Documentation

◆ list

std::optional<nlohmann::json> arange_materialize_result::list

◆ reason

arange_decline_reason arange_materialize_result::reason = arange_decline_reason::none

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