cprover
invariant.h
Go to the documentation of this file.
1 
3 #ifndef CPROVER_TESTING_UTILS_INVARIANT_H
4 #define CPROVER_TESTING_UTILS_INVARIANT_H
5 
7 #include <util/invariant.h>
8 
9 #include <string>
10 
12  : public Catch::MatcherBase<invariant_failedt>
13 {
14 public:
15  explicit invariant_failure_containingt(std::string expected);
16  bool match(const invariant_failedt &exception) const override;
17  std::string describe() const override;
18 
19 private:
20  std::string expected;
21 };
22 
26 invariant_failure_containing(std::string expected);
27 
29 std::ostream &
30 operator<<(std::ostream &out, const invariant_failedt &invariant_failed);
31 
32 #endif // CPROVER_TESTING_UTILS_INVARIANT_H
invariant_failedt
A logic error, augmented with a distinguished field to hold a backtrace.
Definition: invariant.h:111
invariant.h
invariant_failure_containingt::invariant_failure_containingt
invariant_failure_containingt(std::string expected)
Definition: invariant.cpp:12
invariant_failure_containingt::match
bool match(const invariant_failedt &exception) const override
Definition: invariant.cpp:18
operator<<
std::ostream & operator<<(std::ostream &out, const invariant_failedt &invariant_failed)
Printing of invariant_failedt for test failure messages.
Definition: invariant.cpp:32
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 co...
Definition: invariant.cpp:7
invariant_failure_containingt::expected
std::string expected
Definition: invariant.h:20
invariant_failure_containingt
Author: Diffblue Ltd.
Definition: invariant.h:13
use_catch.h
invariant_failure_containingt::describe
std::string describe() const override
Definition: invariant.cpp:25