From 0991f9d95c92189a40724c201171e37773acaee8 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 11 Dec 2018 16:13:57 +0530 Subject: [PATCH] Revert the minimize transaction count --- mythril/analysis/solver.py | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/mythril/analysis/solver.py b/mythril/analysis/solver.py index 8666931d..6caeba6e 100644 --- a/mythril/analysis/solver.py +++ b/mythril/analysis/solver.py @@ -76,7 +76,6 @@ def get_transaction_sequence(global_state, constraints): minimize = [] transactions = [] - model = None for transaction in transaction_sequence: tx_id = str(transaction.id) if not isinstance(transaction, ContractCreationTransaction): @@ -92,16 +91,10 @@ def get_transaction_sequence(global_state, constraints): concrete_transactions[tx_id] = tx_template.copy() - try: - model = get_model(tx_constraints, minimize=minimize) - break - except UnsatError: - continue else: creation_tx_ids.append(tx_id) - if model is None: - model = get_model(tx_constraints, minimize=minimize) + model = get_model(tx_constraints, minimize=minimize) for transaction in transactions: tx_id = str(transaction.id)