diff options
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; } |