diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-10-08 11:29:21 +0200 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-10-08 11:29:21 +0200 |
commit | d8a52af2520d14035fc3a36a7aa3569f9856380a (patch) | |
tree | d4ef88ad3fec5acb40581c2d4d048b2a7ca11eae /module/hnh/util/coverage.scm | |
parent | Repair litmus test. (diff) | |
download | calp-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.scm | 3 |
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" |