Changeset 27 for vis_dev/vis-2.3

Timestamp:

Dec 4, 2011, 12:02:36 PM (13 years ago)

Author:

cecile

Message:

add debug code source

Location:

vis_dev/vis-2.3/src

Files:

• debug (added)
• debug/debug.c (added)
• debug/debug.h (added)
• debug/debug.make (added)
• debug/debugInt.h (added)
• debug/debugUtilities.c (added)
• vm/vmInit.c (modified) (2 diffs)
• vm/vmInt.h (modified) (1 diff)

vis_dev/vis-2.3/src/vm/vmInit.c

@@ -72 +72 @@
   Cmd_Init();
   Tst_Init();
+  Debug_Init();
   Tbl_Init();
   Io_Init();
@@ -143 +144 @@
   Res_End();
   Tst_End();
+  Debug_End();
   Cmd_End();
   Abs_End();

vis_dev/vis-2.3/src/vm/vmInt.h

@@ -67 +67 @@
 #include "grab.h"
 #include "puresat.h"
+#include "debug.h"
 
 #if STDC_HEADERS