Flow123d  JB-rel-int-test-d1b4358
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)