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

Adding names to GIA inputs/outputs. Changing polarity of invariant generated by PDR.

This commit is contained in:
Alan Mishchenko 2015-12-21 23:21:16 -10:00
parent ba5e69952d
commit 1228e26cc3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -378,7 +378,7 @@ void Pdr_ManDumpClauses( Pdr_Man_t * p, char * pFileName, int fProved )
Vec_PtrForEachEntry( Pdr_Set_t *, vCubes, pCube, i )
{
Pdr_SetPrint( pFile, pCube, Aig_ManRegNum(p->pAig), vFlopCounts );
fprintf( pFile, " 1\n" );
fprintf( pFile, " 0\n" );
}
fprintf( pFile, ".e\n\n" );
fclose( pFile );