Pass list of files to ignore false positives

6 years ago · 01b221f914
parent 1388ac225e
commit 01b221f914
1 changed files with 1 additions and 1 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -112,7 +112,7 @@ jobs:
                --plugin-dir /opt/mythril \
                --s3 \
                --circle-ci CircleCI/mythril.csv\
-                --ignore-false-positives $IGNORE_FALSE_POSITIVES
+                --ignore-false-positives guess_the_random_number_fixed.sol simple_dao.sol old_blockhash.sol

  pypi_release:
    <<: *defaults