Merge pull request #2 from jkrshnmenon/fix-bbl_history-in-output

Fix bug in symbolic_execution.py
jkrshnmenon · Feb 26, 2022 · 01f67a7 · 01f67a7
2 parents 9b647af + c5fe9cd
commit 01f67a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/arbiter/master_chief/symbolic_execution.py b/arbiter/master_chief/symbolic_execution.py
@@ -683,7 +683,7 @@ def verify_one(self, report, start, block_dict):
             return None
 
         output = {'function': first_target.addr, 'bbl': report.site.bbl,
-                  'bbl_history': list(sat_states[0].state.history.bbl_addrs),
+                  'bbl_history': list(sat_states[0].history.bbl_addrs),
                   'callstack': [x.current_function_address for x in sat_states[0].callstack]
                   }
         if report.site.callee == 'EOF':