reset_traces : unit -> unit
STRUCTURE
Feedback
SYNOPSIS
Resets all registered tracing variables to their default values.
FAILURE
Fails if a
set
function associated with a "functional" trace (see
register_ftrace
) fails.
SEEALSO
Feedback
,
set_trace
,
register_trace
,
reset_trace
,
trace
,
traces
HOL
Kananaskis-10