* printed summary.*/
//#define SUPPORT_MOD_ORDER_DUMP 1
-/** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
- * Set to 1 for 48-bit, 0 for 32-bit. */
-#ifndef BIT48
-#ifdef _LP64
-#define BIT48 1
-#else
-#define BIT48 0
-#endif
-#endif /* BIT48 */
-
/** Snapshotting configurables */
-/**
+/**
* If USE_MPROTECT_SNAPSHOT=2, then snapshot by tuned mmap() algorithm
* If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
* If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
/* Size of stack to allocate for a thread. */
#define STACK_SIZE (1024 * 1024)
+/** Dump schedule extracted from SAT Solution */
+//#define DUMP_SAT_SCHEDULE
+
/** Enable debugging assertions (via ASSERT()) */
//#define CONFIG_ASSERT