24 lines
643 B
Racket
24 lines
643 B
Racket
#lang racket/base
|
|
(provide annotate-top test-coverage-enabled)
|
|
(require errortrace/stacktrace
|
|
racket/function
|
|
racket/unit
|
|
"coverage.rkt")
|
|
|
|
(define (with-mark src dest phase) dest)
|
|
(define test-coverage-enabled (make-parameter #t))
|
|
|
|
(define (initialize-test-coverage-point stx)
|
|
(hash-set! coverage stx #f))
|
|
(define (test-covered stx)
|
|
(thunk (hash-set! coverage stx #t)))
|
|
|
|
(define profile-key (gensym))
|
|
|
|
(define profiling-enabled (make-parameter #f))
|
|
(define initialize-profile-point void)
|
|
(define (register-profile-start . a) #f)
|
|
(define register-profile-done void)
|
|
|
|
(define-values/invoke-unit/infer stacktrace@)
|