invariant.cpp File Reference
Include dependency graph for invariant.cpp:Go to the source code of this file.
Functions | |
| invariant_failure_containingt | invariant_failure_containing (std::string expected) |
| Author: Diffblue Ltd. More... | |
| std::ostream & | operator<< (std::ostream &out, const invariant_failedt &invariant_failed) |
Printing of invariant_failedt for test failure messages. More... | |
Function Documentation
◆ invariant_failure_containing()
| invariant_failure_containingt invariant_failure_containing | ( | std::string | expected | ) |
Author: Diffblue Ltd.
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.
◆ operator<<()
| std::ostream& operator<< | ( | std::ostream & | out, |
| const invariant_failedt & | invariant_failed | ||
| ) |
Printing of invariant_failedt for test failure messages.
Definition at line 34 of file invariant.cpp.
