Flow123d
DF_variant_benchmark_asm-8560e52
src
tools
include_fadbad.hh
Go to the documentation of this file.
1
// in the third_party/FADBAD++ dir, namespace "fadbad"
2
3
// undef asserts before including FADBAD
4
#ifdef ASSERT
5
#undef ASSERT
6
#endif
7
8
#ifdef ASSERT_PERMANENT
9
#undef ASSERT_PERMANENT
10
#endif
11
12
#include "fadbad.h"
13
#include "badiff.h"
14
#include "fadiff.h"
15
#include "tadiff.h"
16
17
// undef asserts from FADBAD
18
#ifdef ASSERT
19
#undef ASSERT
20
#endif
21
#ifdef ASSERT_PERMANENT
22
#undef ASSERT_PERMANENT
23
#endif
24
25
// define our asserts as in:
26
// #include "system/asserts.hh"
27
#define ASSERT( expr) FEAL_ASSERT( expr)
28
#define ASSERT_PERMANENT( expr) FEAL_ASSERT_PERMANENT( expr)
Generated by
1.9.1