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

Timestamp:

Jan 13, 2012, 6:32:51 PM (12 years ago)

Author:

cecile

Message:

Fault candidates OK

File:

• vis_dev/vis-2.3/src/debug/debugInt.h (modified) (1 diff)

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

@@ -85 +85 @@
 st_table * generateAllLatches(Ntk_Network_t * ntk);
 void mdd_GetState_Values(mdd_manager *mgr, mdd_t * top, FILE * f);
+void printNodeArray(array_t * nodeArray);
 
 /**AutomaticEnd***************************************************************/