From a2db9858f91f7b88de1251911764015a0a0bffb1 Mon Sep 17 00:00:00 2001 From: luongnt95 Date: Tue, 22 Aug 2017 09:49:22 +0700 Subject: [PATCH] Update oyente version --- oyente/batch_run.py | 2 +- setup.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/oyente/batch_run.py b/oyente/batch_run.py index 4411957e..8294b9ef 100644 --- a/oyente/batch_run.py +++ b/oyente/batch_run.py @@ -40,7 +40,7 @@ for c in tqdm(contracts): with open('tmp.evm','w') as of: of.write(cjson[c][1][2:]) - os.system('python oyente.py -ll 30 -s tmp.evm -j -b') + os.system('python oyente/oyente.py -ll 30 -s tmp.evm -j -b') try: results[c] = json.loads(open('tmp.evm.json').read()) except: diff --git a/setup.py b/setup.py index afb99be5..fb8771fd 100644 --- a/setup.py +++ b/setup.py @@ -2,7 +2,7 @@ setup( name='oyente', - version='0.2.5', + version='0.2.6', author='Loi Luu', # author_email='', url='https://github.com/melonport/oyente',