Author: Diffblue Ltd.
More...
#include <invariant.h>
Author: Diffblue Ltd.
Definition at line 11 of file invariant.h.
◆ invariant_failure_containingt()
invariant_failure_containingt::invariant_failure_containingt |
( |
std::string |
expected | ) |
|
|
explicit |
◆ describe()
std::string invariant_failure_containingt::describe |
( |
| ) |
const |
|
override |
◆ match()
bool invariant_failure_containingt::match |
( |
const invariant_failedt & |
exception | ) |
const |
|
override |
◆ expected
std::string invariant_failure_containingt::expected |
|
private |
The documentation for this class was generated from the following files:
- /builddir/build/BUILD/cbmc-cbmc-5.17.0/unit/testing-utils/invariant.h
- /builddir/build/BUILD/cbmc-cbmc-5.17.0/unit/testing-utils/invariant.cpp