Skip to content
Snippets Groups Projects
Commit 9cedb79f authored by Marek Chalupa's avatar Marek Chalupa
Browse files

bself: fix unwinding

parent 19e0f445
No related branches found
No related tags found
No related merge requests found
......@@ -272,11 +272,11 @@ class BSELFChecker(BaseBSE):
newst.append((pre, bsectx))
queue = [
bsectx.extension(pedge, pre.copy())
for pre, bsectx in newst
for pedge in bsectx.path[0].predecessors()
]
queue = [
bsectx.extension(pedge, pre.copy())
for pre, bsectx in newst
for pedge in bsectx.path[0].predecessors()
]
# if queue is empty, we're safe!
assert not queue, "Queue is not empty"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment