CBMC
use_catch.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Wrapper around CATCH to disable selected compiler warnings
4 
5 Author: Michael Tautschnig
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_TESTING_UTILS_USE_CATCH_H
10 #define CPROVER_TESTING_UTILS_USE_CATCH_H
11 
12 #ifdef _MSC_VER
13 #include <util/pragma_push.def>
14 #pragma warning(disable : 4061)
15 // enumerator not explicitly handled by case label
16 #pragma warning(disable : 4388)
17 // signed/unsigned mismatch
18 #pragma warning(disable : 4668)
19 // using #if/#elif on undefined macro
20 #pragma warning(disable : 4628)
21 // digraphs not supported with -Ze
22 #pragma warning(disable : 4583)
23 // destructor is not implicitly called
24 #pragma warning(disable : 4868)
25 // compiler may not enforce left-to-right evaluation order in braced initializer
26 // list
27 #pragma warning(disable : 4365)
28 // signed/unsigned mismatch
29 #endif
30 
31 #define INCLUDED_VIA_USE_CATCH_H
32 
33 #include <catch/catch.hpp>
34 
35 #ifdef _MSC_VER
36 #include <util/pragma_pop.def>
37 #endif
38 
40 #define XFAIL "[.][!shouldfail]"
41 
42 class irept;
43 std::ostream &operator<<(std::ostream &os, const irept &value);
44 
45 #endif // CPROVER_TESTING_UTILS_USE_CATCH_H
irept
There are a large number of kinds of tree structured or tree-like data in CPROVER.
Definition: irep.h:359
operator<<
std::ostream & operator<<(std::ostream &os, const irept &value)