From 00de5335070c4dda6c6fd53edb37f9133af4ff64 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Tue, 14 May 2019 06:21:23 +0200 Subject: [PATCH] Hopefully fix CircleCI complaint --- mythril/analysis/modules/dependence_on_predictable_vars.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/mythril/analysis/modules/dependence_on_predictable_vars.py b/mythril/analysis/modules/dependence_on_predictable_vars.py index 3ad31ecf..94268961 100644 --- a/mythril/analysis/modules/dependence_on_predictable_vars.py +++ b/mythril/analysis/modules/dependence_on_predictable_vars.py @@ -173,10 +173,11 @@ def _analyze_states(state: GlobalState) -> list: instructions = state.environment.code.instruction_list opcode = instructions[state.mstate.pc - 1]["opcode"] - annotation = PredictableValueAnnotation( - "block." + opcode.lower() + " environment variable" + state.mstate.stack[-1].annotate( + PredictableValueAnnotation( + "block." + opcode.lower() + " environment variable" + ) ) - state.mstate.stack[-1].annotate(annotation) return issues