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
6
#include <
testing-utils/use_catch.h
>
7
#include <
util/invariant.h
>
8
9
#include <string>
10
11
class
invariant_failure_containingt
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
25
invariant_failure_containingt
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
unit
testing-utils
invariant.h
Generated by
1.8.20