[OCaml] High Intensity Training Online
chore Remove obsolete coverage instrumentation
Changed files
.gitignore
@@ -31,7 +31,3 @@
31
31
*.sqlite-wal
32
32
*.sqlite-shm
33
33
*.sqlite-journal
34
Removed:
35
Removed:
# Coverage output
36
Removed:
_coverage/
37
Removed:
_bisect/
README.org
@@ -66,8 +66,6 @@
66
66
67
67
Format with ~ocamlformat --inplace~ on the files you touched. Run
68
68
~scripts/install-hooks.sh~ once per clone to run the gates before every push.
69
Removed:
~scripts/coverage.sh~ renders a coverage report when ~bisect_ppx~ is
70
Removed:
installed.
71
69
72
70
* Doctrine
73
71
lib/app/dune
@@ -5,7 +5,5 @@
5
5
6
6
(library
7
7
(name hito_app)
8
Removed:
(instrumentation
9
Removed:
(backend bisect_ppx))
10
8
(public_name hito.app)
11
9
(libraries hito.core lwt))
lib/core/dune
@@ -4,8 +4,6 @@
4
4
5
5
(library
6
6
(name hito_core)
7
Removed:
(instrumentation
8
Removed:
(backend bisect_ppx))
9
7
(public_name hito.core)
10
8
(modules exercise recovery prescription routines feedback evidence progress)
11
9
(wrapped false))
lib/import/dune
@@ -5,7 +5,5 @@
5
5
6
6
(library
7
7
(name hito_import)
8
Removed:
(instrumentation
9
Removed:
(backend bisect_ppx))
10
8
(public_name hito.import)
11
9
(libraries hito.core hito.app csv))
lib/persistence/dune
@@ -4,8 +4,6 @@
4
4
5
5
(library
6
6
(name hito_persistence)
7
Removed:
(instrumentation
8
Removed:
(backend bisect_ppx))
9
7
(public_name hito.persistence)
10
8
(libraries
11
9
hito.core
lib/presenter/dune
@@ -3,8 +3,6 @@
3
3
4
4
(library
5
5
(name hito_presenter)
6
Removed:
(instrumentation
7
Removed:
(backend bisect_ppx))
8
6
(public_name hito.presenter)
9
7
(modules
10
8
page_kit
lib/web/dune
@@ -37,8 +37,6 @@
37
37
38
38
(library
39
39
(name hito_web)
40
Removed:
(instrumentation
41
Removed:
(backend bisect_ppx))
42
40
(public_name hito.web)
43
41
(modules
44
42
decode
scripts/coverage.sh
@@ -1,40 +0,0 @@
1
Removed:
#!/usr/bin/env sh
2
Removed:
# Test coverage with bisect_ppx.
3
Removed:
#
4
Removed:
# Every library declares bisect_ppx as an optional instrumentation backend.
5
Removed:
# dune only activates it when asked, so ordinary builds never touch coverage
6
Removed:
# and the package need not be installed for development. This script asks:
7
Removed:
# it rebuilds the tests instrumented, runs them, and renders the report.
8
Removed:
#
9
Removed:
# Requires: opam install bisect_ppx
10
Removed:
#
11
Removed:
# Usage: scripts/coverage.sh HTML report in _coverage/index.html
12
Removed:
# scripts/coverage.sh summary one-line summary on stdout
13
Removed:
14
Removed:
set -eu
15
Removed:
16
Removed:
BUILD_DIR="${BUILD_DIR:-_build-coverage}"
17
Removed:
DATA_DIR="$(pwd)/_bisect"
18
Removed:
19
Removed:
if ! command -v bisect-ppx-report >/dev/null 2>&1; then
20
Removed:
printf 'coverage: bisect-ppx-report is not installed. Run: opam install bisect_ppx\n' >&2
21
Removed:
exit 2
22
Removed:
fi
23
Removed:
24
Removed:
rm -rf "$DATA_DIR" _coverage
25
Removed:
mkdir -p "$DATA_DIR"
26
Removed:
27
Removed:
# Instrumented test run. BISECT_FILE tells the instrumented code where to write
28
Removed:
# its counters, one file per process.
29
Removed:
BISECT_FILE="$DATA_DIR/bisect" \
30
Removed:
dune runtest --build-dir "$BUILD_DIR" --force --instrument-with bisect_ppx
31
Removed:
32
Removed:
case "${1:-html}" in
33
Removed:
summary)
34
Removed:
bisect-ppx-report summary --coverage-path "$DATA_DIR"
35
Removed:
;;
36
Removed:
*)
37
Removed:
bisect-ppx-report html --coverage-path "$DATA_DIR" -o _coverage
38
Removed:
printf '==> report: _coverage/index.html\n'
39
Removed:
;;
40
Removed:
esac