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

Creating file name from design name for PDR invariant.

This commit is contained in:
Alan Mishchenko 2017-01-06 11:52:00 +07:00
parent e9a7ad68c4
commit a2fcd0710d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/proof/pdr/pdrCore.c
View File

@ -922,10 +922,11 @@ int Pdr_ManSolve( Aig_Man_t * pAig, Pdr_Par_t * pPars )
} }
if ( p->pPars->fDumpInv ) if ( p->pPars->fDumpInv )
{ {
char * pFileName = Extra_FileNameGenericAppend(p->pAig->pName, "_inv.pla");
Abc_FrameSetCnf( Pdr_ManDeriveInfinityClauses( p, RetValue!=1 ) ); Abc_FrameSetCnf( Pdr_ManDeriveInfinityClauses( p, RetValue!=1 ) );
Abc_FrameSetStr( Pdr_ManDumpString(p) ); Abc_FrameSetStr( Pdr_ManDumpString(p) );
Abc_FrameSetInv( Pdr_ManCountFlopsInv(p) ); Abc_FrameSetInv( Pdr_ManCountFlopsInv(p) );
Pdr_ManDumpClauses( p, (char *)"inv.pla", RetValue==1 ); Pdr_ManDumpClauses( p, pFileName, RetValue==1 );
} }
p->tTotal += Abc_Clock() - clk; p->tTotal += Abc_Clock() - clk;
Pdr_ManStop( p ); Pdr_ManStop( p );