From c3dccf3020e467da9fa62c9f609bce86b55ccd0a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 28 Dec 2017 13:32:02 -0800
Subject: Corner-case bug fixed in CNF generation.

---
 src/aig/gia/giaMf.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index 7ec14f9a..7e699d9b 100644
--- a/src/aig/gia/giaMf.c
+++ b/src/aig/gia/giaMf.c
@@ -425,6 +425,7 @@ Cnf_Dat_t * Mf_ManDeriveCnf( Mf_Man_t * p, int fCnfObjIds, int fAddOrCla )
         {
             pCnf->pClauses[iCla++] = pCnf->pClauses[0] + iLit;
             pCnf->pClauses[0][iLit++] = Abc_Var2Lit(pCnfIds[Id], !fComplLast);
+            assert( pCnf->vMapping == NULL ); // bug fix does not handle generated mapping
             continue;
         }
         for ( k = 0; k < Mf_CutSize(pCut); k++ )
-- 
cgit v1.2.3