From 727cd7e779cc523fca2c33a9002bfe7647dbbfcd Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Sun, 5 Nov 2023 22:00:49 -0600
Subject: [PATCH 1/2] fix: do not fail if slither fails

---
 lib/Echidna/Processor.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Echidna/Processor.hs b/lib/Echidna/Processor.hs
index 9bd48107a..c5ee48fd0 100644
--- a/lib/Echidna/Processor.hs
+++ b/lib/Echidna/Processor.hs
@@ -130,7 +130,7 @@ runSlither fp solConf = do
       ProcessorNotFound "slither" "You should install it using 'pip3 install slither-analyzer --user'"
     Just path -> pure path
 
-  let args = ["--ignore-compile", "--print", "echidna", "--json", "-"]
+  let args = ["--ignore-compile", "--print", "echidna", "--json", "--no-fail", "-"]
              ++ solConf.cryticArgs ++ [fp]
   (ec, out, err) <- measureIO solConf.quiet ("Running slither on " <> fp) $
     readCreateProcessWithExitCode (proc path args) {std_err = Inherit} ""

From ddeea5108243811a4e2fbb6f2f759ec2617be32c Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Sun, 5 Nov 2023 22:36:07 -0600
Subject: [PATCH 2/2] fix order

---
 lib/Echidna/Processor.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Echidna/Processor.hs b/lib/Echidna/Processor.hs
index c5ee48fd0..12a17a76e 100644
--- a/lib/Echidna/Processor.hs
+++ b/lib/Echidna/Processor.hs
@@ -130,7 +130,7 @@ runSlither fp solConf = do
       ProcessorNotFound "slither" "You should install it using 'pip3 install slither-analyzer --user'"
     Just path -> pure path
 
-  let args = ["--ignore-compile", "--print", "echidna", "--json", "--no-fail", "-"]
+  let args = ["--ignore-compile", "--print", "echidna", "--json", "-", "--no-fail"]
              ++ solConf.cryticArgs ++ [fp]
   (ec, out, err) <- measureIO solConf.quiet ("Running slither on " <> fp) $
     readCreateProcessWithExitCode (proc path args) {std_err = Inherit} ""