Changeset 42 for vis_dev/vis-2.3/src/debug/debug.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/debug.h (modified) (1 diff)

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

@@ -134 +134 @@
 EXTERN void Dbg_InitAbn(Dbg_Abnormal_t * abn, bAig_Manager_t   * manager,
 st_table * nodeToMvfAigTable, BmcCnfClauses_t *cnfClauses);
-EXTERN int Dbg_SatCheck(char * forceAssigName, char * cnfFileName);
+EXTERN int Dbg_SatCheck(char * forceAssigName, char * cnfFileName, int verbose);
 EXTERN BmcCnfClauses_t* Dbg_GenerateCNF(Ntk_Network_t * network, 
 BmcOption_t * option, st_table  *CoiTable);
+EXTERN int Dbg_GetDefaultValue(Tbl_Table_t * table);