1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * version 2 as published by the Free Software Foundation.
11 * @brief Configuration file.
17 /** Turn on debugging. */
19 //#define CONFIG_DEBUG
23 //#define CONFIG_ASSERT
26 //#define VERBOSE_CONSTRAINTS
28 /** Turn on support for dumping cyclegraphs as dot files at each
30 //#define SUPPORT_MOD_ORDER_DUMP 1
32 /** Snapshotting configurables */
35 * If USE_MPROTECT_SNAPSHOT=2, then snapshot by tuned mmap() algorithm
36 * If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
37 * If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
38 #define USE_MPROTECT_SNAPSHOT 2
40 /** Size of signal stack */
41 #define SIGSTACKSIZE 65536
43 /** Page size configuration */
46 /** Thread parameters */
48 /* Size of stack to allocate for a thread. */
49 #define STACK_SIZE (1024 * 1024)
51 /** Dump schedule extracted from SAT Solution */
52 //#define DUMP_SAT_SCHEDULE
54 /** Enable debugging assertions (via ASSERT()) */
55 //#define CONFIG_ASSERT
57 /** Enable dumping event graphs in DOT compatiable format. */
58 //#define DUMP_EVENT_GRAPHS
60 /** Print Achieved Goals. */
61 //#define PRINT_ACHIEVED_GOALS
63 /** Use TSO Memory Model */