Skip to content
This repository has been archived by the owner on May 26, 2023. It is now read-only.

Commit

Permalink
Merge pull request #171 from melonproject/develop
Browse files Browse the repository at this point in the history
Update oyente version
  • Loading branch information
luongnt95 authored Aug 22, 2017
2 parents e637112 + a2db985 commit 62a32aa
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion oyente/batch_run.py
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down
2 changes: 1 addition & 1 deletion setup.py
Original file line number Diff line number Diff line change
Expand Up @@ -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',
Expand Down

0 comments on commit 62a32aa

Please sign in to comment.