From 82bfe3a48fe0f0baae2d9ad15ddc45e1a96038f3 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 1 Aug 2018 21:41:47 -0800 Subject: Experiments with function enumeration. --- src/opt/dau/dauNpn.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/opt/dau/dauNpn.c') diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 6d9f6435..f5e7cb67 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) == (tRep2 & tMask) ); + assert( (tRep & (tMask>>1)) == (tRep2 & (tMask>>1)) ); if ( (tRep2 >> 31) == 0 ) // first time { Vec_IntPush( vNpns, tRep2 ); -- cgit v1.2.3