From d55725cf8864a10ba7bded20c5741e0f8dc13ed2 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Thu, 12 Jul 2018 10:49:34 +0200 Subject: [PATCH] Fix other failing tests --- mythril/support/truffle.py | 2 +- tests/graph_test.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/support/truffle.py b/mythril/support/truffle.py index ad8dec36..0416c27c 100644 --- a/mythril/support/truffle.py +++ b/mythril/support/truffle.py @@ -41,7 +41,7 @@ def analyze_truffle_project(args): ethcontract = ETHContract(bytecode, name=name) address = util.get_indexed_address(0) - sym = SymExecWrapper(ethcontract, address, max_depth=args.max_depth) + sym = SymExecWrapper(ethcontract, address, args.strategy, max_depth=args.max_depth) issues = fire_lasers(sym) if not len(issues): diff --git a/tests/graph_test.py b/tests/graph_test.py index be6cac69..ba6eab53 100644 --- a/tests/graph_test.py +++ b/tests/graph_test.py @@ -15,7 +15,7 @@ class GraphTest(BaseTestCase): contract = ETHContract(input_file.read_text()) - sym = SymExecWrapper(contract, address=(util.get_indexed_address(0))) + sym = SymExecWrapper(contract, address=(util.get_indexed_address(0)), strategy="dfs") html = generate_graph(sym) output_current.write_text(html)