diff options
Diffstat (limited to 'icefuzz/make_aig.py')
| -rw-r--r-- | icefuzz/make_aig.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/icefuzz/make_aig.py b/icefuzz/make_aig.py index 60f5946..6880f21 100644 --- a/icefuzz/make_aig.py +++ b/icefuzz/make_aig.py @@ -30,7 +30,7 @@ for idx in range(num): sigs.append(newnet) - while len(sigs) > 32: + while len(sigs) > w: netidx += 1 newnet = "n_%d" % netidx |