From 9c8be56ccd76eecf43f59fe26fef3d8978213ed8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Sep 2012 15:32:07 -0700 Subject: Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. --- src/bool/lucky/lucky.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/bool/lucky/lucky.c') diff --git a/src/bool/lucky/lucky.c b/src/bool/lucky/lucky.c index 8fc413be..159c54bc 100644 --- a/src/bool/lucky/lucky.c +++ b/src/bool/lucky/lucky.c @@ -655,7 +655,7 @@ int main () word** a, ** b; Abc_TtStore_t* p; word * pAux, * pAux1; - short * pStore; + int * pStore; // cycleCtr* cCtr; charArray = (char**)malloc(sizeof(char*)*3); @@ -672,7 +672,7 @@ int main () pAux = (word*)malloc(sizeof(word)*(p->nWords)); pAux1 = (word*)malloc(sizeof(word)*(p->nWords)); - pStore = (short*)malloc(sizeof(short)*(p->nVars)); + pStore = (int*)malloc(sizeof(int)*(p->nVars)); printf("In %s Fs at start = %d\n",charArray[j],p->nFuncs); tempNF = p->nFuncs; -- cgit v1.2.3