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

GIA sweeper: adding APIs to return valid probe ID and run a command line.

This commit is contained in:
Alan Mishchenko 2013-10-31 17:06:06 -04:00
parent 615d249e02
commit e8c765c0d1
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/aig/gia/giaSweeper.c
View File

@ -1080,7 +1080,7 @@ int Gia_SweeperRun( Gia_Man_t * p, Vec_Int_t * vProbeIds, char * pCommLime, int
if ( pCommLime )
{
if ( fVerbose )
printf( "GIA manager statistics before and after applying \"%s\":\n", pCommLine );
printf( "GIA manager statistics before and after applying \"%s\":\n", pCommLime );
if ( fVerbose )
Gia_ManPrintStats( pNew, NULL );
// set pNew to be current GIA in ABC