nodestack: add debug prints
[model-checker.git] / config.h
1 /** @file config.h
2  * @brief Configuration file.
3  */
4
5 #ifndef CONFIG_H
6 #define CONFIG_H
7
8 /** Turn on debugging. */
9 /*              #ifndef CONFIG_DEBUG
10                 #define CONFIG_DEBUG
11                 #endif
12 */
13
14 /** Turn on support for dumping cyclegraphs as dot files at each
15  *  printed summary.*/
16 #define SUPPORT_MOD_ORDER_DUMP 0
17
18 /** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
19  * Set to 1 for 48-bit, 0 for 32-bit. */
20 #ifndef BIT48
21 #ifdef _LP64
22 #define BIT48 1
23 #else
24 #define BIT48 0
25 #endif
26 #endif /* BIT48 */
27
28 /** Snapshotting configurables */
29
30 /** If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
31  * If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
32 #define USE_MPROTECT_SNAPSHOT 1
33
34 /** Size of signal stack */
35 #define SIGSTACKSIZE 32768
36
37 /** Page size configuration */
38 #define PAGESIZE 4096
39
40 /** Thread parameters */
41
42 /* Size of stack to allocate for a thread. */
43 #define STACK_SIZE (1024 * 1024)
44
45
46 #endif