Feedback.reset

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 Trindemossen-1