diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-18 22:19:45 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-18 22:19:45 -0800 |
| commit | c7ebd9321146a188c4632dd8bfaecc024fbea2c1 (patch) | |
| tree | 6f133e3492193e216c9cc2ce1963b968787e8823 /src/aig/ivy | |
| parent | 06ae1644b221df44e29b909b7dc4c7557369f5a8 (diff) | |
| download | abc-c7ebd9321146a188c4632dd8bfaecc024fbea2c1.tar.gz abc-c7ebd9321146a188c4632dd8bfaecc024fbea2c1.tar.bz2 abc-c7ebd9321146a188c4632dd8bfaecc024fbea2c1.zip | |
Improvements to CEC command iprove.
Diffstat (limited to 'src/aig/ivy')
| -rw-r--r-- | src/aig/ivy/ivyFraig.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/ivy/ivyFraig.c b/src/aig/ivy/ivyFraig.c index 77b64700..7310d4cb 100644 --- a/src/aig/ivy/ivyFraig.c +++ b/src/aig/ivy/ivyFraig.c @@ -356,7 +356,7 @@ int Ivy_FraigProve( Ivy_Man_t ** ppManAig, void * pPars ) return -1; } } - +/* if ( RetValue < 0 ) { if ( pParams->fVerbose ) @@ -385,7 +385,7 @@ int Ivy_FraigProve( Ivy_Man_t ** ppManAig, void * pPars ) exit(1); } } - +*/ // assign the model if it was proved by rewriting (const 1 miter) if ( RetValue == 0 && pManAig->pData == NULL ) { |