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

small tweaks in %pdra -p

This commit is contained in:
Yen-Sheng Ho 2017-02-20 12:58:20 -08:00
parent 9f43c84501
commit c5e9506f5d
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/proof/pdr/pdrIncr.c
View File

@ -271,6 +271,13 @@ int IPdr_ManSolveInt( Pdr_Man_t * p, int fCheckClauses, int fPushClauses )
Abc_Print( 1, "IPDR: Finished pushing. After:\n" );
Pdr_ManPrintProgress( p, 1, Abc_Clock() - clkStart );
}
if ( RetValue )
{
Pdr_ManReportInvariant( p );
Pdr_ManVerifyInvariant( p );
return 1;
}
}
}
while ( 1 )