diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-06-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-06-10 08:01:00 -0700 |
| commit | 9d09f583b6ea1181ebd5af1654acd3432c427445 (patch) | |
| tree | 2ea6fb1cc6f70871f861dd0ccbe7f8522c34c765 /src/aig/fra/fraInd.c | |
| parent | 9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff (diff) | |
| download | abc-9d09f583b6ea1181ebd5af1654acd3432c427445.tar.gz abc-9d09f583b6ea1181ebd5af1654acd3432c427445.tar.bz2 abc-9d09f583b6ea1181ebd5af1654acd3432c427445.zip | |
Version abc80610
Diffstat (limited to 'src/aig/fra/fraInd.c')
| -rw-r--r-- | src/aig/fra/fraInd.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/fra/fraInd.c b/src/aig/fra/fraInd.c index df92792a..9c52d0e2 100644 --- a/src/aig/fra/fraInd.c +++ b/src/aig/fra/fraInd.c @@ -422,7 +422,8 @@ PRT( "Time", clock() - clk ); if ( pParams->TimeLimit != 0.0 && clock() > TimeToStop ) { - printf( "Fra_FraigInduction(): Runtime limit exceeded.\n" ); + if ( !pParams->fSilent ) + printf( "Fra_FraigInduction(): Runtime limit exceeded.\n" ); goto finish; } @@ -452,7 +453,8 @@ PRT( "Time", clock() - clk ); if ( pParams->TimeLimit != 0.0 && clock() > TimeToStop ) { - printf( "Fra_FraigInduction(): Runtime limit exceeded.\n" ); + if ( !pParams->fSilent ) + printf( "Fra_FraigInduction(): Runtime limit exceeded.\n" ); goto finish; } |