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',