From 4ea77758532e5dd15d84f0a1f67525bf70d19801 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 16 Apr 2019 21:09:48 +0530 Subject: [PATCH] Support for py35 --- mythril/analysis/solver.py | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/mythril/analysis/solver.py b/mythril/analysis/solver.py index cb3f93c5..34b751ce 100644 --- a/mythril/analysis/solver.py +++ b/mythril/analysis/solver.py @@ -1,5 +1,5 @@ """This module contains analysis module helpers to solve path constraints.""" -from typing import Collection, Dict, List +from typing import Dict, List from z3 import sat, unknown, FuncInterp import z3 @@ -77,9 +77,7 @@ def pretty_print_model(model): return ret -def get_transaction_sequence( - global_state: GlobalState, constraints -) -> Dict[str, Collection]: +def get_transaction_sequence(global_state: GlobalState, constraints) -> Dict: """Generate concrete transaction sequence. :param global_state: GlobalState to generate transaction sequence for