pull/443/head
Joran Honig 6 years ago
parent 8314be6074
commit 5498c5e77c
  1. 2
      tests/taint_result_test.py
  2. 4
      tests/taint_runner_test.py

@ -1,5 +1,5 @@
from mythril.laser.ethereum.taint_analysis import *
from mythril.laser.ethereum.svm import GlobalState
from mythril.laser.ethereum.state import GlobalState
def test_result_state():

@ -2,8 +2,8 @@ import mock
import pytest
from pytest_mock import mocker
from mythril.laser.ethereum.taint_analysis import *
from mythril.laser.ethereum.svm import GlobalState, Node, Edge, LaserEVM
from mythril.laser.ethereum.state import MachineState, Account, Environment
from mythril.laser.ethereum.cfg import Node, Edge
from mythril.laser.ethereum.state import MachineState, Account, Environment, GlobalState
def test_execute_state(mocker):

Loading…
Cancel
Save