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: