Merge pull request #1078 from ConsenSys/feature/ignore-regressions

Define ENV variable to suspend regressions reporting for some testcases

.circleci/config.yml

@@ -111,7 +111,8 @@ jobs:
                 --output-dir /opt/edelweiss \
                 --plugin-dir /opt/mythril \
                 --s3 \
-                --circle-ci CircleCI/mythril.csv
+                --circle-ci CircleCI/mythril.csv\
+                --ignore-false-positives guess_the_random_number_fixed.sol simple_dao.sol old_blockhash.sol
 
   pypi_release:
     <<: *defaults
@@ -168,6 +169,7 @@ workflows:
               only:
                 - develop
                 - master
+                - feature/ignore-regressions
             tags:
               only: /v[0-9]+(\.[0-9]+)*/
           requires: