diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 11:16:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 11:16:20 -0700 |
| commit | 167340527b4ecaae20bb6340b5432f15789c5322 (patch) | |
| tree | 70cd662ecf39f838a96a42568e20fe6edfbca5e3 /src/map/mpm | |
| parent | 4a50b09c6719fe548f584aa5a22637ab7ddf8a6a (diff) | |
| download | abc-167340527b4ecaae20bb6340b5432f15789c5322.tar.gz abc-167340527b4ecaae20bb6340b5432f15789c5322.tar.bz2 abc-167340527b4ecaae20bb6340b5432f15789c5322.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm')
| -rw-r--r-- | src/map/mpm/mpmMap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mpm/mpmMap.c b/src/map/mpm/mpmMap.c index e613d9ba..9380ca49 100644 --- a/src/map/mpm/mpmMap.c +++ b/src/map/mpm/mpmMap.c @@ -540,7 +540,7 @@ static inline int Mpm_ObjDeriveCut( Mpm_Man_t * p, Mpm_Cut_t ** pCuts, Mpm_Cut_t pCut->iFunc = 0; pCut->iFunc = ~pCut->iFunc; pCut->fUseless = 0; pCut->fCompl = 0; - assert( pCut->nLeaves > 0 ); +// assert( pCut->nLeaves > 0 ); p->nCutsMerged++; if ( p->pPars->fUseTruth ) Vec_IntSelectSort( pCut->pLeaves, pCut->nLeaves ); |