CBMC
invariant.h File Reference
#include <testing-utils/use_catch.h>
#include <string>
+ Include dependency graph for invariant.h:
+ This graph shows which files directly or indirectly include this file:

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...
 

Function Documentation

◆ invariant_failure_containing()

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.

◆ operator<<()

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.