From 083ca6ab066d01aa33156860bb4e29efe547f834 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emil=20Ji=C5=99=C3=AD=20Tywoniak?= Date: Tue, 18 Oct 2022 22:58:54 +0200 Subject: [PATCH] bugfix --- backends/smt2/smtbmc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index c25f529b9..cc108d52b 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -993,7 +993,7 @@ def detect_state_loop(steps_start, steps_stop): [(tuple(path), addr, data) for path, addr, data in mem_trace_data.get(i, [])]) state = tuple(value_list), tuple(mem_state) - if states.get(state): + if state in states: return (i, states[state]) else: states[state] = i