aboutsummaryrefslogtreecommitdiff
path: root/module/hnh/util/coverage.scm
diff options
context:
space:
mode:
authorHugo Hörnquist <hugo@lysator.liu.se>2023-10-08 11:29:21 +0200
committerHugo Hörnquist <hugo@lysator.liu.se>2023-10-08 11:29:21 +0200
commitd8a52af2520d14035fc3a36a7aa3569f9856380a (patch)
treed4ef88ad3fec5acb40581c2d4d048b2a7ca11eae /module/hnh/util/coverage.scm
parentRepair litmus test. (diff)
downloadcalp-d8a52af2520d14035fc3a36a7aa3569f9856380a.tar.gz
calp-d8a52af2520d14035fc3a36a7aa3569f9856380a.tar.xz
Further rewrite of testrunner.
Move many of the atomic procedures into proper libraries.
Diffstat (limited to 'module/hnh/util/coverage.scm')
-rw-r--r--module/hnh/util/coverage.scm3
1 files changed, 2 insertions, 1 deletions
diff --git a/module/hnh/util/coverage.scm b/module/hnh/util/coverage.scm
index 2517e81f..9b76411b 100644
--- a/module/hnh/util/coverage.scm
+++ b/module/hnh/util/coverage.scm
@@ -63,7 +63,7 @@
(fold (lambda (line state)
(match (parse-coverage-line line)
(('DA line hits)
- (modify state (compose-lens car* lines)
+ (modify state (compose-lenses car* lines)
(lambda (lines) (cons (cons line hits) lines))))
(('SF source)
(set state car* filename source))
@@ -86,6 +86,7 @@
"Can only merge coverage data for the same file, got ~s and ~s"
(list (filename a) (filename b))
#f))
+ #;
(unless (= (total-lines a) (total-lines b))
(scm-error 'misc-error "merge-coverage"
"Mismatch between found lines. Is it really the same file? File: ~s, got ~s and ~s"