cprover
Loading...
Searching...
No Matches
invariant_failure_containingt Class Reference

#include <invariant.h>

Inheritance diagram for invariant_failure_containingt:
Collaboration diagram for invariant_failure_containingt:

Public Member Functions

 invariant_failure_containingt (std::string expected)
bool match (const invariant_failedt &exception) const override
std::string describe () const override

Private Attributes

std::string expected

Detailed Description

Definition at line 12 of file invariant.h.

Constructor & Destructor Documentation

◆ invariant_failure_containingt()

invariant_failure_containingt::invariant_failure_containingt ( std::string expected)
explicit

Definition at line 14 of file invariant.cpp.

Member Function Documentation

◆ describe()

std::string invariant_failure_containingt::describe ( ) const
override

Definition at line 27 of file invariant.cpp.

◆ match()

bool invariant_failure_containingt::match ( const invariant_failedt & exception) const
override

Definition at line 20 of file invariant.cpp.

Member Data Documentation

◆ expected

std::string invariant_failure_containingt::expected
private

Definition at line 21 of file invariant.h.


The documentation for this class was generated from the following files:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/unit/testing-utils/invariant.h
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/unit/testing-utils/invariant.cpp