|
|
@ -3,7 +3,7 @@ |
|
|
|
### Test path filtering across POSIX and Windows |
|
|
|
### Test path filtering across POSIX and Windows |
|
|
|
|
|
|
|
|
|
|
|
solc-select use 0.8.0 |
|
|
|
solc-select use 0.8.0 |
|
|
|
slither "tests/test_path_filtering/test_path_filtering.sol" --config "tests/test_path_filtering/slither.config.json" > "output.txt" 2>&1 |
|
|
|
slither "tests/e2e/config/test_path_filtering/test_path_filtering.sol" --config "tests/e2e/config/test_path_filtering/slither.config.json" > "output.txt" 2>&1 |
|
|
|
|
|
|
|
|
|
|
|
if ! grep -q "0 result(s) found" "output.txt" |
|
|
|
if ! grep -q "0 result(s) found" "output.txt" |
|
|
|
then |
|
|
|
then |
|
|
|