X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=config.h;h=a172d1b78336ec6af7b4b0eec68d7f67cc550ceb;hb=HEAD;hp=9efd32ebc3c01420d8109b737b3e94111d85d951;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/config.h b/config.h
index 9efd32e..a172d1b 100644
--- a/config.h
+++ b/config.h
@@ -29,19 +29,9 @@
  *  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() */
@@ -58,6 +48,9 @@
 /* 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