File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -12,8 +12,8 @@ notifications:
12
12
email : false
13
13
script :
14
14
- cd example
15
- - cargo rustc --release -- -C passes ='sancov' -C llvm -args=' -sanitizer-coverage-level=4' -Z sanitizer=address
15
+ - cargo rustc --release -- -Cpasses ='sancov' -Cllvm -args=-sanitizer-coverage-level=4 -Cllvm-args=-sanitizer-coverage-trace-compares -Cpanic=abort -Cllvm-args=- sanitizer-coverage-trace-divs -Cllvm-args=-sanitizer-coverage-trace-geps -Cllvm-args=-sanitizer-coverage-prune-blocks=0 -Zsanitizer =address
16
16
- (! ./target/release/example -runs=100000)
17
17
- cd ../example_arbitrary
18
- - cargo rustc --release -- -C passes ='sancov' -C llvm -args=' -sanitizer-coverage-level=4' -Z sanitizer=address
18
+ - cargo rustc --release -- -Cpasses ='sancov' -Cllvm -args=-sanitizer-coverage-level=4 -Cllvm-args=-sanitizer-coverage-trace-compares -Cpanic=abort -Cllvm-args=- sanitizer-coverage-trace-divs -Cllvm-args=-sanitizer-coverage-trace-geps -Cllvm-args=-sanitizer-coverage-prune-blocks=0 -Zsanitizer =address
19
19
- (! ./target/release/example -runs=10000000)
You can’t perform that action at this time.
0 commit comments