20std::vector<std::string>
const &
30std::vector<std::string>
const &
33 const std::unique_ptr<verification_resultt> &,
36 const std::unique_ptr<verification_resultt> &,
45template <
typename Try,
typename Fail>
60 catch(
const std::out_of_range &
our)
64 catch(
const std::exception &
exc)
std::vector< std::string > const & get_property_ids(const std::unique_ptr< verification_resultt > &)
std::string const & get_property_description(const std::unique_ptr< verification_resultt > &, const std::string &)
std::unique_ptr< api_sessiont > new_api_session()
prop_statust get_property_status(const std::unique_ptr< verification_resultt > &, const std::string &)
verifier_resultt get_verification_result(const std::unique_ptr< verification_resultt > &v)
std::vector< std::string > const & _translate_vector_of_string(rust::Vec< rust::String > elements)
std::vector< std::string > const & get_messages()
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for exceptions thrown in the cprover project.
virtual std::string what() const
A human readable description of what went wrong.
A logic error, augmented with a distinguished field to hold a backtrace.
virtual std::string what() const noexcept
static void trycatch(Try &&func, Fail &&fail) noexcept