Fix of CI/CD

.circleci/config.yml

@@ -10,10 +10,18 @@ jobs:
       - checkout:
           path: /home/mythril
 
+      # Uncomment, for local testing with circleci command, as it ignores
+      # path param in checkout command, and this symlink compenstates for that.
+      # - run: ln -s /root/project /home/mythril
+
       - run:
           name: Installing mythril tools
           command: cd /home && ./install-mythril-tools.sh laser-ethereum
 
+      - run:
+          name: Install dependencies, in case any are missing in Docker image
+          command: pip3 install -r /home/mythril/requirements.txt
+
       - run:
           background: true
           name: Launch of background geth instance

requirements.txt

@@ -4,6 +4,7 @@ z3-solver>=4.5
 laser-ethereum>=0.5.20
 requests
 BTrees
+plyvel
 py-solc
 eth_abi>=1.0.0
 eth-utils>=1.0.1