aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKimplul <kimi.h.kuparinen@gmail.com>2025-08-18 00:00:31 +0300
committerKimplul <kimi.h.kuparinen@gmail.com>2025-08-18 00:00:31 +0300
commit292bcf4f7394292fe61d663b62ec73e55cd906c3 (patch)
tree52e3403b8122ea0d41e05306e9d01f029bcdba96
parent0eece07becd9ab0899febe61da1ae6617a4bd5d7 (diff)
downloadcovsrv-292bcf4f7394292fe61d663b62ec73e55cd906c3.tar.gz
covsrv-292bcf4f7394292fe61d663b62ec73e55cd906c3.zip
add coverage script
-rw-r--r--.gitignore1
-rwxr-xr-xscripts/coverage30
2 files changed, 31 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a31998e..c477976 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
build
reports
coverage
+!scripts/coverage
vgcore.*
diff --git a/scripts/coverage b/scripts/coverage
new file mode 100755
index 0000000..42db447
--- /dev/null
+++ b/scripts/coverage
@@ -0,0 +1,30 @@
+#!/bin/sh
+
+# build coverage server binary
+make
+
+# not super fantastic but most likely good enough
+export COVSRV_SOCKET=$(mktemp -u)
+
+# server program should always be killed at the end of a test run
+cleanup() {
+ ./build/covsrv quit
+}
+
+# kill server program even if user interrupted us or something else exceptional
+# happened
+trap interrupt INT HUP TERM
+interrupt () {
+ cleanup
+ exit 1
+}
+
+# start coverage server, should create a unix socket at COVSRV_SOCKET that test
+# programs can connect to
+./build/covsrv &
+
+# run tests, pass any flags like -j to make
+make coverage "$@"
+
+cleanup
+exit 0