Flow123d
JS_before_hm-913-g695b665
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
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_DBG
9
#undef ASSERT_DBG
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_DBG
22
#undef ASSERT_DBG
23
#endif
24
25
// define our asserts as in:
26
// #include "system/asserts.hh"
27
#define ASSERT( expr) FEAL_ASSERT( expr)
28
#define ASSERT_DBG( expr) FEAL_ASSERT_DBG( expr)
Generated by
1.8.11