Key

Not instrumented

Conditionalized out

Executed

Not executed

Both branches taken

One branch taken

Neither branch taken

1

(in-package :puls.test)

2

3

(defun test-coverage ()

4

;;; Load SB-COVER

5

(require :sb-cover)

6

;;; Turn on generation of code coverage instrumentation in the compiler

7

(declaim (optimize sb-cover:store-coverage-data))

8

;;; Load code

9

(puls.util:recompile-system :pulsu)

10

;;; Run the test

11

(test-all)

12

;;; Produce a coverage report

13

(sb-cover:report "/tmp/report/")

14

;;; Turn off instrumentation

15

(declaim (optimize (sb-cover:store-coverage-data 0)))

16

(test-all))