Update scripts/ci_test_path_filtering.sh

Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>
2 years ago · f787982922
parent f6de01afb1
commit f787982922
1 changed files with 1 additions and 1 deletions
--- a/scripts/ci_test_path_filtering.sh
+++ b/scripts/ci_test_path_filtering.sh
@ -2,7 +2,7 @@

 ### Test path filtering across POSIX and Windows

-slither "tests/test_path_filtering/test_path_filtering.sol" --config "tests/test_path_filtering/slither.config.json" --json "output.json" > "output.txt" 2>&1
+slither "tests/test_path_filtering/test_path_filtering.sol" --config "tests/test_path_filtering/slither.config.json" > "output.txt" 2>&1

 if ! grep -q "0 result(s) found" "output.txt"
 then