diff --git a/ci/script.sh b/ci/script.sh index 46e82c1..03f71c3 100755 --- a/ci/script.sh +++ b/ci/script.sh @@ -11,6 +11,7 @@ pushd ./example cargo rustc \ --release \ -- \ + -Ccodegen-units=1 \ -Cpasses=sancov-module \ -Cllvm-args=-sanitizer-coverage-level=3 \ -Cllvm-args=-sanitizer-coverage-trace-compares \ @@ -26,6 +27,7 @@ pushd ./example_arbitrary cargo rustc \ --release \ -- \ + -Ccodegen-units=1 \ -Cpasses=sancov-module \ -Cllvm-args=-sanitizer-coverage-level=3 \ -Cllvm-args=-sanitizer-coverage-trace-compares \ @@ -46,6 +48,7 @@ pushd ./example_mutator cargo rustc \ --release \ -- \ + -Ccodegen-units=1 \ -Cpasses=sancov-module \ -Cllvm-args=-sanitizer-coverage-level=3 \ -Cllvm-args=-sanitizer-coverage-trace-compares \