Bugfix. Maybe. Disable a comparison so that CNF conversion doesn't fail. This fixes...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1318 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/extlib-abc/aig/cnf/cnfMap.c b/src/extlib-abc/aig/cnf/cnfMap.c
index bf1445e280de2205a5966bb7aef8d679f31d2984..3a41f7eceadd1c2c1e01cd90584571e8f7c82399 100644 (file)
--- a/src/extlib-abc/aig/cnf/cnfMap.c
+++ b/src/extlib-abc/aig/cnf/cnfMap.c
@@ -122,8 +122,12 @@ void Cnf_DeriveMapping( Cnf_Man_t * p )
 //        Aig_ObjCollectSuper( pObj, vSuper );\r
         // get the area flow of this cut\r
 //        AreaFlow = Cnf_CutSuperAreaFlow( vSuper, pAreaFlows );\r
+\r
+        // Trevor: Always set the best one with fBest.\r
+        // otherwise CNF generation fails. Wrote to Alan\r
+        // seeking confirmation this was not dangerous.\r
         AreaFlow = AIG_INFINITY;\r
-        if ( AreaFlow >= (int)pCutBest->uSign )\r
+        if (1 || AreaFlow >= (int)pCutBest->uSign )\r
         {\r
             pAreaFlows[pObj->Id] = pCutBest->uSign;\r
             pCutBest->fBest = 1;\r