Initial draft of the CI/CD with Circle CI

.cirlceci/config.yml

@@ -0,0 +1,18 @@
+version: 2
+
+jobs:
+  # Basic testing of a new commit to any branch.
+  test:
+    docker:
+      - image: birdofpreyru/mythril:0.0.1
+    steps:
+      - checkout
+      - run:
+          name: Unit-testing
+          command: python3 ./all_tests.sh
+
+workflows:
+  version: 2
+  build:
+    jobs:
+      - test

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