fixed generating coverage info for cross-phase-persistant files

This commit is contained in:
Spencer Florence 2015-08-08 21:06:14 -05:00
parent 46b75e38b7
commit b781d5cec9
2 changed files with 17 additions and 4 deletions

View File

@ -41,6 +41,13 @@
(lambda (stx phase)
(define e
(cond [(cross-phase-persist? stx)
(initialize-test-coverage-point stx)
(log-message (current-logger)
'info
topic
logger-covered-message
(stx->srcloc stx)
#f)
stx]
[(add-cover-require (annotate-clean (annotate-top stx phase)))
=> expand-syntax]

View File

@ -1,6 +1,12 @@
#lang racket
(require cover rackunit racket/runtime-path (only-in "../cover.rkt" coverage-wrapper-map))
(require cover rackunit racket/runtime-path cover/private/file-utils)
(define-runtime-path file "cross-phase-persist.rkt")
(parameterize ([current-cover-environment (make-cover-environment)])
(test-files! file)
(check-equal? (coverage-wrapper-map (get-test-coverage)) (hash)))
(test-case
"covering cross-phase-persistent files should enter them into the coverage table"
(parameterize ([current-cover-environment (make-cover-environment)])
(test-files! file)
(define c (get-test-coverage))
(check-not-exn
(lambda ()
(c (->absolute file) 1)))
(check-equal? (c (->absolute file) 1) 'covered)))