Go to the documentation of this file.
9 #ifndef CPROVER_TESTING_UTILS_USE_CATCH_H
10 #define CPROVER_TESTING_UTILS_USE_CATCH_H
13 #include <util/pragma_push.def>
14 #pragma warning(disable : 4061)
16 #pragma warning(disable : 4388)
18 #pragma warning(disable : 4668)
20 #pragma warning(disable : 4628)
22 #pragma warning(disable : 4583)
24 #pragma warning(disable : 4868)
27 #pragma warning(disable : 4365)
31 #define INCLUDED_VIA_USE_CATCH_H
33 #include <catch/catch.hpp>
36 #include <util/pragma_pop.def>
40 #define XFAIL "[.][!shouldfail]"
42 #endif // CPROVER_TESTING_UTILS_USE_CATCH_H