CBMC
|
Go to the source code of this file.
Classes | |
class | invariant_failure_containingt |
Functions | |
invariant_failure_containingt | invariant_failure_containing (std::string expected) |
Returns a matcher which matches an invariant_failedt exception, where the .what() returns a string containing expected . More... | |
std::ostream & | operator<< (std::ostream &out, const invariant_failedt &invariant_failed) |
Printing of invariant_failedt for test failure messages. More... | |
invariant_failure_containingt invariant_failure_containing | ( | std::string | expected | ) |
Returns a matcher which matches an invariant_failedt exception, where the .what()
returns a string containing expected
.
Returns a matcher which matches an invariant_failedt exception, where the .what()
returns a string containing expected
.
Definition at line 9 of file invariant.cpp.
std::ostream& operator<< | ( | std::ostream & | out, |
const invariant_failedt & | invariant_failed | ||
) |
Printing of invariant_failedt
for test failure messages.
Definition at line 33 of file invariant.cpp.