diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-05 17:45:15 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-05 17:45:15 -0800 |
| commit | 6a351c4dc0d4da86d2a82efdecd09021a2e6280f (patch) | |
| tree | ef67baf18e8fb431efa35fba89f5bc837c18aefe /src/aig/miniaig/miniaig.h | |
| parent | 8ba6071a76b2f25995c4048567eb0b3780130ece (diff) | |
| download | abc-6a351c4dc0d4da86d2a82efdecd09021a2e6280f.tar.gz abc-6a351c4dc0d4da86d2a82efdecd09021a2e6280f.tar.bz2 abc-6a351c4dc0d4da86d2a82efdecd09021a2e6280f.zip | |
Adding support for minimalistic representation of LUT mapping.
Diffstat (limited to 'src/aig/miniaig/miniaig.h')
| -rw-r--r-- | src/aig/miniaig/miniaig.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/miniaig/miniaig.h b/src/aig/miniaig/miniaig.h index dadb578b..6843648e 100644 --- a/src/aig/miniaig/miniaig.h +++ b/src/aig/miniaig/miniaig.h @@ -78,6 +78,7 @@ static void Mini_AigPush( Mini_Aig_t * p, int Lit0, int Lit1 ) { if ( p->nSize + 2 > p->nCap ) { + assert( p->nSize < MINI_AIG_NULL/4 ); if ( p->nCap < MINI_AIG_START_SIZE ) Mini_AigGrow( p, MINI_AIG_START_SIZE ); else |