diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-27 14:45:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-27 14:45:55 -0700 |
| commit | 4a74b7ced954bbe963daa92c960f3ace99037546 (patch) | |
| tree | 8e74cffdbb60ce496ec249819d708b515323c548 /src/opt | |
| parent | 940cf7f98b6de040cb984b1d9ee356a232647648 (diff) | |
| download | abc-4a74b7ced954bbe963daa92c960f3ace99037546.tar.gz abc-4a74b7ced954bbe963daa92c960f3ace99037546.tar.bz2 abc-4a74b7ced954bbe963daa92c960f3ace99037546.zip | |
Generation of plain AIG after mapping.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauDsd.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c index 05cfc485..dc34a22a 100644 --- a/src/opt/dau/dauDsd.c +++ b/src/opt/dau/dauDsd.c @@ -1321,6 +1321,7 @@ static inline int Dau_Dsd6DecomposeTripleVarsOuter( Dau_Dsd_t * p, word * pTrut Dau_Dsd_t P1, * p1 = &P1; word tCof0, tCof1; p1->fSplitPrime = 0; + p1->fWriteTruth = p->fWriteTruth; // move this variable to the top ABC_SWAP( int, pVars[v], pVars[nVars-1] ); Abc_TtSwapVars( pTruth, nVars, v, nVars-1 ); |