|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Attributes | |
| std::optional< nlohmann::json > | list |
| arange_decline_reason | reason = arange_decline_reason::none |
| std::optional<nlohmann::json> arange_materialize_result::list |
| arange_decline_reason arange_materialize_result::reason = arange_decline_reason::none |