From b888b750a6d37a43a828b8a4704cabfe6eb31803 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 31 Jul 2017 15:56:58 +0200 Subject: Fix some bugs in two of the icefuzz make_*.py scripts --- icefuzz/make_aig.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'icefuzz/make_aig.py') 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 -- cgit v1.2.3