Changeset 98 for vis_dev/vis-2.3/src/debug/debugInt.h

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/debugInt.h (modified) (1 diff)

vis_dev/vis-2.3/src/debug/debugInt.h

@@ -83 +83 @@
 
 void printLatch(st_table* CoiTable);
+void printStringArray(array_t * array);
+void printIntArray(array_t * array);
 st_table * generateAllLatches(Ntk_Network_t * ntk);
 void mdd_GetState_Values(mdd_manager *mgr, mdd_t * top, FILE * f);