cprover
|
#include <catch/catch.hpp>
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... | |
#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.