Merge branch 'ci/cd'

.circleci/config.yml

@@ -0,0 +1,30 @@
+version: 2
+
+jobs:
+  # Basic testing of a new commit to any branch.
+  test:
+    docker:
+      - image: birdofpreyru/mythril:0.0.1
+
+    steps:
+      - checkout:
+          path: /home/mythril
+
+      - run:
+          name: Installing mythril tools
+          command: cd /home && ./install-mythril-tools.sh laser-ethereum
+
+      - run:
+          background: true
+          name: Launch of background geth instance
+          command: geth --syncmode full --rpc --shh
+
+      - run:
+          name: Unit-testing
+          command: cd /home/mythril && ./all_tests.sh
+
+workflows:
+  version: 2
+  build:
+    jobs:
+      - test

README.md

@@ -1,5 +1,5 @@
 # Mythril
-
+![Master Build Status](https://img.shields.io/circleci/project/github/ConsenSys/mythril/master.svg)
 [![Join the chat at https://gitter.im/ConsenSys/mythril](https://badges.gitter.im/ConsenSys/mythril.svg)](https://gitter.im/ConsenSys/mythril?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)  [![PyPI](https://badge.fury.io/py/mythril.svg)](https://pypi.python.org/pypi/mythril)
 
 <img height="120px" align="right" src="/static/mythril.png"/>

requirements.txt

@@ -1,7 +1,7 @@
 ethereum>=2.3.0
 ZODB>=5.3.0
 z3-solver>=4.5
-laser-ethereum==0.5.20
+laser-ethereum>=0.5.20
 requests
 BTrees
 py-solc

setup.py

@@ -290,7 +290,7 @@ setup(
         'ethereum>=2.3.0',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum==0.5.20',
+        'laser-ethereum>=0.5.20',
         'requests',
         'BTrees',
         'py-solc',