diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 15:32:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 15:32:07 -0700 |
| commit | 9c8be56ccd76eecf43f59fe26fef3d8978213ed8 (patch) | |
| tree | 63b8805a84199cd28eee7da1a0a9d47edfff35bc /src/bool/lucky/lucky.c | |
| parent | 4393a5fade106b91ed9e3c32016a5773b5063c6b (diff) | |
| download | abc-9c8be56ccd76eecf43f59fe26fef3d8978213ed8.tar.gz abc-9c8be56ccd76eecf43f59fe26fef3d8978213ed8.tar.bz2 abc-9c8be56ccd76eecf43f59fe26fef3d8978213ed8.zip | |
Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.
Diffstat (limited to 'src/bool/lucky/lucky.c')
| -rw-r--r-- | src/bool/lucky/lucky.c | 4 |
1 files changed, 2 insertions, 2 deletions
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; |