invariant.h

Go to the documentation of this file.

 
 
#ifndef CPROVER_TESTING_UTILS_INVARIANT_H
#define CPROVER_TESTING_UTILS_INVARIANT_H
 
#include <testing-utils/use_catch.h>
 
#include <string>
 
class invariant_failedt;
 
class invariant_failure_containingt
  : public Catch::MatcherBase<invariant_failedt>
{
public:
  explicit invariant_failure_containingt(std::string expected);
  bool match(const invariant_failedt &exception) const override;
  std::string describe() const override;
 
private:
  std::string expected;
};
class invariant_failure_containingt {…};
 
invariant_failure_containingt
invariant_failure_containing(std::string expected);
 
std::ostream &
operator<<(std::ostream &out, const invariant_failedt &invariant_failed);
 
#endif // CPROVER_TESTING_UTILS_INVARIANT_H