update docs and remove unused option

diff --git a/config.h b/config.h
index 6ec9b804c392b84bd39eed419b9feb7abbc82fc8..b05bd54fb2771fb9bd8dca7828cf21136bcf04df 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 */
 
 /**

diff --git a/doc/README.txt b/doc/README.txt
index 7ea531e426fd71c150e7ada634d782e89a86364c..268b9afabd664fb6dda2be85fb8863941c850c72 100644 (file)
--- a/doc/README.txt
+++ b/doc/README.txt
@@ -1,3 +1,5 @@
+I. Getting Started
+

 To run SATCheck, you need to have built a SAT Solver from SATlib.  To
 obtain SATlib (from within the SATCheck directory):
 
 To run SATCheck, you need to have built a SAT Solver from SATlib.  To
 obtain SATlib (from within the SATCheck directory):
 


@@ -13,3 +15,15 @@ Then you can build SATCheck.  Simply type make from within the main
 SATCheck directory.
 
 One might find the options in config.h useful.
 SATCheck directory.
 
 One might find the options in config.h useful.

+
+
+II. Printing Event Graphs
+
+Uncomment DUMP_EVENT_GRAPHS in config.h
+
+Make clean and the remake the system.
+
+Run the model checker.
+
+Use dot (from graphviz) to convert the outputted dot files into the
+format of your choice.