Update Circle CI config

6 years ago · 90af6dbd39
parent 9b960a2985
commit 90af6dbd39
1 changed files with 3 additions and 2 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -111,8 +111,9 @@ jobs:
                --output-dir /opt/edelweiss \
                --plugin-dir /opt/mythril \
                --s3 \
-                --circle-ci CircleCI/mythril.csv\
-                --ignore-false-positives guess_the_random_number_fixed.sol simple_dao.sol old_blockhash.sol
+                --circle-ci CircleCI/mythril.csv \
+                --ignore-false-positives $IGNORE_FALSE_POSITVES \
+                --ignore-regressions $IGNORE_REGRESSIONS

  pypi_release:
    <<: *defaults