Merge pull request #171 from melonproject/develop

Update oyente version
enzymefinance · Aug 22, 2017 · 62a32aa · 62a32aa
2 parents e637112 + a2db985
commit 62a32aa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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',