diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-07 19:40:38 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-07 19:40:38 +0300 |
| commit | 8638b13e72bddb031ae1c7954653d30479e06c1f (patch) | |
| tree | 87305c940da53380830774f12f3210c8d990fbee /src/opt/dau/dauCanon.c | |
| parent | 197c65be0b8275deb1508b7bde08fce2216d5064 (diff) | |
| download | abc-8638b13e72bddb031ae1c7954653d30479e06c1f.tar.gz abc-8638b13e72bddb031ae1c7954653d30479e06c1f.tar.bz2 abc-8638b13e72bddb031ae1c7954653d30479e06c1f.zip | |
Expriments with functions (bug fixes).
Diffstat (limited to 'src/opt/dau/dauCanon.c')
| -rw-r--r-- | src/opt/dau/dauCanon.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 918c7ce1..0c93cc85 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -1230,6 +1230,13 @@ unsigned Abc_TtCanonicizeHie( Abc_TtHieMan_t * p, word * pTruthInit, int nVars, int i, k; assert( nVars <= 16 ); + // handle constant + if ( nVars == 0 ) + { + Abc_TtClear( pTruthInit, nWords ); + return 0; + } + Abc_TtCopy( pTruth, pTruthInit, nWords, 0 ); for ( i = 0; i < nVars; i++ ) |