diff options
Diffstat (limited to 'ci/script.sh')
-rwxr-xr-x | ci/script.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/script.sh b/ci/script.sh index 7a9981f..25914fd 100755 --- a/ci/script.sh +++ b/ci/script.sh @@ -10,7 +10,7 @@ cargo rustc \ --release \ -- \ -Cpasses='sancov' \ - -Cllvm-args=-sanitizer-coverage-level=4 \ + -Cllvm-args=-sanitizer-coverage-level=3 \ -Cllvm-args=-sanitizer-coverage-trace-compares \ -Cllvm-args=-sanitizer-coverage-inline-8bit-counters \ -Cllvm-args=-sanitizer-coverage-stack-depth \ @@ -25,7 +25,7 @@ cargo rustc \ --release \ -- \ -Cpasses='sancov' \ - -Cllvm-args=-sanitizer-coverage-level=4 \ + -Cllvm-args=-sanitizer-coverage-level=3 \ -Cllvm-args=-sanitizer-coverage-trace-compares \ -Cllvm-args=-sanitizer-coverage-inline-8bit-counters \ -Cllvm-args=-sanitizer-coverage-stack-depth \ |