diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 17:06:06 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 17:06:06 -0400 |
| commit | e8c765c0d1b722f5d1e143928ee7fbf05ec713c6 (patch) | |
| tree | 425ee8e0e454a6db390bc8a85d3bfe4eacf50340 /src/aig/gia/giaSweeper.c | |
| parent | 615d249e0214a34e90a430038a1e2e75d232ef04 (diff) | |
| download | abc-e8c765c0d1b722f5d1e143928ee7fbf05ec713c6.tar.gz abc-e8c765c0d1b722f5d1e143928ee7fbf05ec713c6.tar.bz2 abc-e8c765c0d1b722f5d1e143928ee7fbf05ec713c6.zip | |
GIA sweeper: adding APIs to return valid probe ID and run a command line.
Diffstat (limited to 'src/aig/gia/giaSweeper.c')
| -rw-r--r-- | src/aig/gia/giaSweeper.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c index 30d56dde..4cad0bdc 100644 --- a/src/aig/gia/giaSweeper.c +++ b/src/aig/gia/giaSweeper.c @@ -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 |