diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-29 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-29 08:01:00 -0700 |
| commit | 2b98b81837011f26d130ad0f44d4bc7b298f9cd7 (patch) | |
| tree | 3f3eb36585157596614b1f0bf8b34ee5d1b533b2 /src/aig/bdc | |
| parent | e2e9aed11dd841801dae3cdf47db06946e7ffb28 (diff) | |
| download | abc-2b98b81837011f26d130ad0f44d4bc7b298f9cd7.tar.gz abc-2b98b81837011f26d130ad0f44d4bc7b298f9cd7.tar.bz2 abc-2b98b81837011f26d130ad0f44d4bc7b298f9cd7.zip | |
Version abc80429
Diffstat (limited to 'src/aig/bdc')
| -rw-r--r-- | src/aig/bdc/bdcCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/bdc/bdcCore.c b/src/aig/bdc/bdcCore.c index e7675420..e812da3d 100644 --- a/src/aig/bdc/bdcCore.c +++ b/src/aig/bdc/bdcCore.c @@ -64,7 +64,7 @@ Bdc_Man_t * Bdc_ManAlloc( Bdc_Par_t * pPars ) Bdc_Man_t * p; p = ALLOC( Bdc_Man_t, 1 ); memset( p, 0, sizeof(Bdc_Man_t) ); - assert( pPars->nVarsMax > 2 && pPars->nVarsMax < 16 ); + assert( pPars->nVarsMax > 1 && pPars->nVarsMax < 16 ); p->pPars = pPars; p->nWords = Kit_TruthWordNum( pPars->nVarsMax ); p->nDivsLimit = 200; |