luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixing time printouts in 'pdr'.

This commit is contained in:
Alan Mishchenko 2012-07-07 09:22:44 -07:00
parent e484231598
commit 968b59aa3b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proof/pdr/pdrInt.h
View File

@ -144,7 +144,7 @@ extern sat_solver * Pdr_ManNewSolver( sat_solver * pSat, Pdr_Man_t * p, int k
/*=== pdrCore.c ==========================================================*/ /*=== pdrCore.c ==========================================================*/
extern int Pdr_ManCheckContainment( Pdr_Man_t * p, int k, Pdr_Set_t * pSet ); extern int Pdr_ManCheckContainment( Pdr_Man_t * p, int k, Pdr_Set_t * pSet );
/*=== pdrInv.c ==========================================================*/ /*=== pdrInv.c ==========================================================*/
extern void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, int Time ); extern void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, clock_t Time );
extern void Pdr_ManPrintClauses( Pdr_Man_t * p, int kStart ); extern void Pdr_ManPrintClauses( Pdr_Man_t * p, int kStart );
extern void Pdr_ManDumpClauses( Pdr_Man_t * p, char * pFileName, int fProved ); extern void Pdr_ManDumpClauses( Pdr_Man_t * p, char * pFileName, int fProved );
extern void Pdr_ManReportInvariant( Pdr_Man_t * p ); extern void Pdr_ManReportInvariant( Pdr_Man_t * p );

2
src/proof/pdr/pdrInv.c
View File

@ -44,7 +44,7 @@ ABC_NAMESPACE_IMPL_START
SeeAlso [] SeeAlso []
***********************************************************************/ ***********************************************************************/
void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, int Time ) void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, clock_t Time )
{ {
Vec_Ptr_t * vVec; Vec_Ptr_t * vVec;
int i, ThisSize, Length, LengthStart; int i, ThisSize, Length, LengthStart;