From 8d4000a9b75dd636e9609b9e6a05d7ae3d7a9dee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emil=20Ji=C5=99=C3=AD=20Tywoniak?= Date: Tue, 11 Oct 2022 19:52:44 +0200 Subject: [PATCH] include memory in state --- backends/smt2/smtbmc.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index fd54622f2..c25f529b9 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -991,8 +991,7 @@ def detect_state_loop(steps_start, steps_stop): value_list = smt.get_net_bin_list(topmod, path_list, "s%d" % i) mem_state = sorted( [(tuple(path), addr, data) - for path, addr, data in mem_trace_data.get(i, [])] - ) + for path, addr, data in mem_trace_data.get(i, [])]) state = tuple(value_list), tuple(mem_state) if states.get(state): return (i, states[state])