Change cli param to ignore-false-positives

6 years ago · b65828bf84
parent e3fe79f777
commit b65828bf84
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-regressions $IGNORE_REGRESSIONS
+                --ignore-false-positives $IGNORE_FALSE_POSITIVES

  pypi_release:
    <<: *defaults