From 63d1fedd18b93d35d38dc471b05b2dc220257cd5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 26 Jul 2023 14:34:04 +0200
Subject: [PATCH] [tests] add coverage to bin/test.sh
---
bin/test.sh | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
diff --git a/bin/test.sh b/bin/test.sh
index ed3665e5275..39cc55d2ff0 100755
--- a/bin/test.sh
+++ b/bin/test.sh
@@ -32,6 +32,7 @@ LOGS=
COMMIT=
TESTS=
SAVE=
+COVER=
DUNE_ALIAS=
DUNE_OPT=
@@ -188,6 +189,11 @@ do
CONFIG=$2
shift
;;
+ "--coverage")
+ COVER=yes
+ DUNE_OPT+="--workspace dev/dune-workspace.cover "
+ shift
+ ;;
"-n"|"--name")
ALIAS_NAME=$2
shift
@@ -265,6 +271,30 @@ function PullCache
fi
}
+# --------------------------------------------------------------------------
+# --- Coverage
+# --------------------------------------------------------------------------
+
+function PrepareCoverage
+{
+ export BISECT_FILE="$(pwd -P)/_bisect/bisect-"
+ if [ "$COVER" = "yes" ] ;
+ then
+ Cmd rm -rf _coverage
+ Cmd rm -rf _bisect
+ Cmd mkdir _bisect
+ fi
+}
+
+function GenerateCoverage
+{
+ if [ "$COVER" = "yes" ] ;
+ then
+ Head "Generating coverage in _coverage ..."
+ Cmd bisect-ppx-report html --coverage-path=_bisect
+ fi
+}
+
# --------------------------------------------------------------------------
# --- Test Suite Preparation
# --------------------------------------------------------------------------
@@ -446,10 +476,12 @@ function Status
SetEnv
PullCache
+PrepareCoverage
PrepareTests
Register $TESTS
RunAlias ${DUNE_ALIAS}
Commits ${COMMITS}
Status $DUNE_LOG
+GenerateCoverage
# --------------------------------------------------------------------------
--
GitLab