Changeset 98 for vis_dev/vis-2.3/src/debug/debugUtilities.c

Timestamp:

Jul 15, 2012, 2:15:06 PM (12 years ago)

Author:

cecile

Message:

add part of cex

File:

• vis_dev/vis-2.3/src/debug/debugUtilities.c (modified) (1 diff)

vis_dev/vis-2.3/src/debug/debugUtilities.c

@@ -22 +22 @@
 }
 
-
+void printStringArray(array_t * array)
+{
+  
+  int i;
+  char * data;
+  arrayForEachItem(char *, array, i, data)
+  {
+    printf("%s\n",data);
+  }
+} 
+void printIntArray(array_t * array)
+{
+  
+  int i;
+  int data;
+  arrayForEachItem(int, array, i, data)
+  {
+    printf("%d\n",data);
+  }
+} 
 st_table * generateAllLatches(Ntk_Network_t * ntk)
 {