projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix apparent bug...
[satcheck.git]
/
config.h
diff --git
a/config.h
b/config.h
index 6ec9b804c392b84bd39eed419b9feb7abbc82fc8..a172d1b78336ec6af7b4b0eec68d7f67cc550ceb 100644
(file)
--- a/
config.h
+++ b/
config.h
@@
-29,16
+29,6
@@
* printed summary.*/
//#define SUPPORT_MOD_ORDER_DUMP 1
* 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 */
/**
/** Snapshotting configurables */
/**
@@
-58,6
+48,9
@@
/* Size of stack to allocate for a thread. */
#define STACK_SIZE (1024 * 1024)
/* 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
/** Enable debugging assertions (via ASSERT()) */
//#define CONFIG_ASSERT