summaryrefslogtreecommitdiffstats
path: root/src/bool/lucky
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-08-06 00:24:07 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2016-08-06 00:24:07 -0700
commitd3ec4493b23d4458a65a348a3b4283720f0eb341 (patch)
treeff48b2585c9c6aee777b0da5030f01a938bf6856 /src/bool/lucky
parent2ded05127ae06f7ffea27600936c9b57758185a3 (diff)
downloadabc-d3ec4493b23d4458a65a348a3b4283720f0eb341.tar.gz
abc-d3ec4493b23d4458a65a348a3b4283720f0eb341.tar.bz2
abc-d3ec4493b23d4458a65a348a3b4283720f0eb341.zip
Windows complier errors.
Diffstat (limited to 'src/bool/lucky')
-rw-r--r--src/bool/lucky/luckySimple.c13
1 files changed, 9 insertions, 4 deletions
diff --git a/src/bool/lucky/luckySimple.c b/src/bool/lucky/luckySimple.c
index 0660c0ad..ae6d5504 100644
--- a/src/bool/lucky/luckySimple.c
+++ b/src/bool/lucky/luckySimple.c
@@ -196,9 +196,10 @@ void simpleMinimalGroups(word* x, word* pAux, word* minimal, int* pGroups, int n
/* variables */
int i, j, o, nn;
permInfo* pi;
+ int * a, * c, * m;
/* reorder groups and calculate group offsets */
- int offset[nGroups];
+ int * offset = ABC_ALLOC( int, nGroups );
o = 0;
j = 0;
@@ -224,9 +225,9 @@ void simpleMinimalGroups(word* x, word* pAux, word* minimal, int* pGroups, int n
/* iterate through all combinations of pGroups using mixed radix enumeration */
nn = ( nGroups << 1 ) + 1;
- int a[nn];
- int c[nn];
- int m[nn];
+ a = ABC_ALLOC( int, nn );
+ c = ABC_ALLOC( int, nn );
+ m = ABC_ALLOC( int, nn );
/* fill a and m arrays */
m[0] = 2;
@@ -295,6 +296,10 @@ void simpleMinimalGroups(word* x, word* pAux, word* minimal, int* pGroups, int n
c[j] = 1;
a[j]++;
}
+ ABC_FREE( offset );
+ ABC_FREE( a );
+ ABC_FREE( c );
+ ABC_FREE( m );
Kit_TruthCopy_64bit( x, minimal, nVars );
}