svn: r7050
This commit is contained in:
Eli Barzilay 2007-08-08 02:13:43 +00:00
parent deab220e63
commit 2698be4edd

View File

@ -82,7 +82,7 @@ Profiling
Errortrace's profiling instrumentation is off by default. Enable
profiling instrumentation with the `profiling-enabled' boolean
parameter (but setting `instrumentation-enabled' to #f also disables
parameter (but setting `instrumenting-enabled' to #f also disables
profiling):
> (profiling-enabled) - returns #t if profiling instrumentation is
@ -184,7 +184,7 @@ profiling (when the expected counts are large).
> (execute-counts-enabled [on?])
parameters that determine if the first (exact coverage) or second
(profiler-based coverage) are enabled. (Remember that setting
`instrumentation-enabled' to #f also disables both)
`instrumenting-enabled' to #f also disables both)
> (get-coverage-counts)
> (get-execute-counts)