ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
fallible_call_t Struct Reference
#include <
fallible_calls.h
>
Public Attributes
std::string_view
name
success_kind
kind
Member Data Documentation
◆
kind
success_kind
fallible_call_t::kind
◆
name
std::string_view fallible_call_t::name
The documentation for this struct was generated from the following file:
src/util/lang/
fallible_calls.h
fallible_call_t
Generated by
1.15.0