diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-31 15:56:58 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-31 15:56:58 +0200 |
| commit | b888b750a6d37a43a828b8a4704cabfe6eb31803 (patch) | |
| tree | 0ff34a0303d46e3b0a896022d8b47f6e3fed4d4e /icefuzz/make_aig.py | |
| parent | ea0e19f3d33eedc63b564a99267dfbb85e428375 (diff) | |
Fix some bugs in two of the icefuzz make_*.py scripts
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 |