mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
19 lines
548 B
19 lines
548 B
7 years ago
|
import unittest
|
||
|
|
import os
|
||
|
|
from subprocess import check_output
|
||
|
|
|
||
|
|
|
||
|
|
class CommandLineToolTestCase(unittest.TestCase):
|
||
|
|
|
||
|
|
def runTest(self):
|
||
|
|
|
||
|
|
script_path = os.path.dirname(os.path.realpath(__file__))
|
||
|
|
myth = os.path.join(script_path, '..', 'myth')
|
||
|
|
|
||
|
|
out = check_output([myth,'-d','-c', '0x5050']).decode("UTF-8")
|
||
|
|
|
||
|
|
self.assertEqual('0 POP\n1 POP\n', out)
|
||
|
|
|
||
|
|
out = check_output([myth,'-d', os.path.join(script_path,'testdata','metacoin.sol')]).decode("UTF-8")
|
||
|
|
|
||
|
|
self.assertIn('0 PUSH1 0x60\n2 PUSH1 0x40', out)
|