Skip to content

Commit 5af12f9

Browse files
osankurOcan Sankur
andauthored
fixed outputs as an unsorted list (#127)
Co-authored-by: Ocan Sankur <ocan.sankur@irisa.fr>
1 parent c9faa1e commit 5af12f9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

aiger/parser.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@ class SymbolTable:
6060
class State:
6161
header: Optional[Header] = None
6262
inputs: SortedSet = attr.ib(factory=SortedSet)
63-
outputs: SortedList = attr.ib(factory=SortedList)
63+
outputs: list = attr.ib(factory=list)
6464
latches: SortedSet = attr.ib(factory=SortedSet)
6565
symbols: SymbolTable = attr.ib(factory=SymbolTable)
6666
comments: Optional[List[str]] = None
@@ -131,7 +131,7 @@ def parse_output(state, line) -> bool:
131131
if match is None or state.remaining_outputs <= 0:
132132
return False
133133
lit = int(line)
134-
state.outputs.add(lit)
134+
state.outputs.append(lit)
135135
if lit & 1:
136136
state.nodes[lit] = {lit ^ 1}
137137
return True

0 commit comments

Comments
 (0)