summaryrefslogtreecommitdiffstats
path: root/src/aig/ivy/ivyFraig.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-02-18 22:19:45 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2011-02-18 22:19:45 -0800
commitc7ebd9321146a188c4632dd8bfaecc024fbea2c1 (patch)
tree6f133e3492193e216c9cc2ce1963b968787e8823 /src/aig/ivy/ivyFraig.c
parent06ae1644b221df44e29b909b7dc4c7557369f5a8 (diff)
downloadabc-c7ebd9321146a188c4632dd8bfaecc024fbea2c1.tar.gz
abc-c7ebd9321146a188c4632dd8bfaecc024fbea2c1.tar.bz2
abc-c7ebd9321146a188c4632dd8bfaecc024fbea2c1.zip
Improvements to CEC command iprove.
Diffstat (limited to 'src/aig/ivy/ivyFraig.c')
-rw-r--r--src/aig/ivy/ivyFraig.c4
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 )
{