diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-12-28 13:32:02 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-12-28 13:32:02 -0800 |
| commit | c3dccf3020e467da9fa62c9f609bce86b55ccd0a (patch) | |
| tree | bf74f7f99cf6093c1a37abad8108b61ca31f03a6 /src/aig/gia/giaMf.c | |
| parent | feebac4156f8d2314e664aa9ac5d33157c3df5b8 (diff) | |
| download | abc-c3dccf3020e467da9fa62c9f609bce86b55ccd0a.tar.gz abc-c3dccf3020e467da9fa62c9f609bce86b55ccd0a.tar.bz2 abc-c3dccf3020e467da9fa62c9f609bce86b55ccd0a.zip | |
Corner-case bug fixed in CNF generation.
Diffstat (limited to 'src/aig/gia/giaMf.c')
| -rw-r--r-- | src/aig/gia/giaMf.c | 1 |
1 files changed, 1 insertions, 0 deletions
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++ ) |