summaryrefslogtreecommitdiff
path: root/lambda-calcul/rust/cover.sh
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2025-01-25 10:45:41 +0100
committerArnaud Bailly <arnaud.bailly@iohk.io>2025-01-25 10:45:41 +0100
commit7752d73216578d5961751b5d0535088d384b4aa6 (patch)
tree786e46fe1276e93ade0a48398cd4c9ac13081707 /lambda-calcul/rust/cover.sh
parentd6f68e919db51d366c8ca3c1509bea12aa81d692 (diff)
downloadlambda-nantes-7752d73216578d5961751b5d0535088d384b4aa6.tar.gz
Move λ-calcul workshop code to subdirectory
Diffstat (limited to 'lambda-calcul/rust/cover.sh')
-rwxr-xr-xlambda-calcul/rust/cover.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/lambda-calcul/rust/cover.sh b/lambda-calcul/rust/cover.sh
new file mode 100755
index 0000000..c7befa6
--- /dev/null
+++ b/lambda-calcul/rust/cover.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+CARGO_INCREMENTAL=0 RUSTFLAGS='-Cinstrument-coverage' LLVM_PROFILE_FILE='cargo-test-%p-%m.profraw' cargo test
+rm -fr target/coverage/html
+grcov . --binary-path ./target/debug/deps/ -s . -t html --branch --ignore-not-existing --ignore '../*' --ignore "/*" -o target/coverage/html