|
CBMC
|
#include <catch/catch.hpp>
Include dependency graph for use_catch.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Macros | |
| #define | INCLUDED_VIA_USE_CATCH_H |
| #define | XFAIL "[.][!shouldfail]" |
| Add to the end of test tags to mark a test that is expected to fail. More... | |
Functions | |
| std::ostream & | operator<< (std::ostream &os, const irept &value) |
| #define INCLUDED_VIA_USE_CATCH_H |
Definition at line 31 of file use_catch.h.
| #define XFAIL "[.][!shouldfail]" |
Add to the end of test tags to mark a test that is expected to fail.
Definition at line 40 of file use_catch.h.
| std::ostream& operator<< | ( | std::ostream & | os, |
| const irept & | value | ||
| ) |