TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove z3 from natives

Browse Source
pull/326/head
Nikhil Parasaram 6 years ago
parent ad69ad5fa4
commit e3a90d8321
1 changed files with 0 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 1
      mythril/laser/ethereum/natives.py

1
mythril/laser/ethereum/natives.py
Unescape View File

@ -5,7 +5,6 @@ import hashlib
import logging import logging
import coincurve import coincurve
from z3 import BitVec
from py_ecc.secp256k1 import N as secp256k1n from py_ecc.secp256k1 import N as secp256k1n
from mythril.laser.ethereum.util import ALL_BYTES, bytearray_to_int, concrete_int_to_bytes, sha3, zpad from mythril.laser.ethereum.util import ALL_BYTES, bytearray_to_int, concrete_int_to_bytes, sha3, zpad

Write Preview
Loading…
Cancel
Save