From 01b221f914e522b11ab658412d19921961bb4710 Mon Sep 17 00:00:00 2001
From: Aleksandr Sobolev <thesobolev@gmail.com>
Date: Tue, 18 Jun 2019 12:21:45 +0600
Subject: [PATCH] Pass list of files to ignore false positives

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 9937aa62..0ea11528 100644
--- 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