diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:44:15 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:44:15 -0800 |
| commit | ac562a7b9de5d345e22855fa4c53eb51e48c3596 (patch) | |
| tree | 8ddd84e70d69e5a51776700a516d62dcf5fbba35 | |
| parent | 82bfe3a48fe0f0baae2d9ad15ddc45e1a96038f3 (diff) | |
| download | abc-ac562a7b9de5d345e22855fa4c53eb51e48c3596.tar.gz abc-ac562a7b9de5d345e22855fa4c53eb51e48c3596.tar.bz2 abc-ac562a7b9de5d345e22855fa4c53eb51e48c3596.zip | |
Experiments with function enumeration.
| -rw-r--r-- | src/opt/dau/dauNpn.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index f5e7cb67..30c44ca8 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -158,7 +158,7 @@ void Dau_AddFunction( word tCur, int nVars, unsigned * pTable, Vec_Int_t * vNpns unsigned tRep = pTable[t]; unsigned tRep2 = pTable[tRep & tMask]; assert( ((tNorm >> Digit) & 1) == 0 ); - assert( (tRep & (tMask>>1)) == (tRep2 & (tMask>>1)) ); + //assert( (tRep & (tMask>>1)) == (tRep2 & (tMask>>1)) ); if ( (tRep2 >> 31) == 0 ) // first time { Vec_IntPush( vNpns, tRep2 ); @@ -252,7 +252,7 @@ void Dau_NetworkEnum() //printf("Finished %d nodes with %d functions.\n", Count++, Vec_IntSize(vNpns) ); iPrev = iLast; iLast = Vec_IntSize(vNpns)-1; - printf("Finished %d nodes with %d functions. ", Count++, iLast - iPrev ); + printf("Finished %2d nodes with %6d functions our of %6d. ", Count++, iLast - iPrev, Vec_IntSize(vNpns) ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); fflush(stdout); } |