-
traceCmd.c
- Trace Commands
traceCmd.c
Trace Commands
By: Ashutosh Trivedi
This file contains commands related to traces.
-
CommandShowTraces()
- Shows the traces generated in a NuSMV session
-
UsageShowTraces()
- UsageShowTraces
-
TracePkg_set_default_trace_plugin()
- Called when the user selects a trace plugin to be used as
default
-
TracePkg_get_default_trace_plugin()
- Returns the trace plugin currently selected as default
-
CommandShowPlugins()
- Lists out all the available plugins inside the system.
-
UsageShowPlugins()
- UsageShowPlugins
-
CommandReadTrace()
- read_trace
-
UsageReadTrace()
- UsageReadTrace
Last updated on 2009/01/30 15h:04