diff options
Diffstat (limited to 'ci/script.sh')
| -rwxr-xr-x | ci/script.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 25914fd..91fad80 100755 --- a/ci/script.sh +++ b/ci/script.sh @@ -5,6 +5,8 @@ cd $(dirname $0)/.. export CARGO_TARGET_DIR=$(pwd)/target +cargo test --doc + pushd ./example cargo rustc \ --release \ @@ -39,3 +41,20 @@ RUST_LIBFUZZER_DEBUG_PATH=$(pwd)/debug_output \ cat $(pwd)/debug_output grep -q Rgb $(pwd)/debug_output popd + +pushd ./example_mutator +cargo rustc \ + --release \ + -- \ + -Cpasses='sancov' \ + -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 \ + -Cllvm-args=-sanitizer-coverage-trace-geps \ + -Cllvm-args=-sanitizer-coverage-prune-blocks=0 \ + -Zsanitizer=address +(! $CARGO_TARGET_DIR/release/example_mutator -runs=10000000) +popd + +echo "All good!" |