Fix other failing tests

6 years ago · d55725cf88
parent 554e5e32c2
commit d55725cf88
2 changed files with 2 additions and 2 deletions
--- 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):
--- 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)