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