-
CommandReadTrace()
- read_trace
-
CommandShowPlugins()
- Lists out all the available plugins inside the system.
-
CommandShowTraces()
- Shows the traces generated in a NuSMV session
-
TracePkg_get_default_trace_plugin()
- Returns the trace plugin currently selected as default
-
TracePkg_set_default_trace_plugin()
- Called when the user selects a trace plugin to be used as
default
-
UsageReadTrace()
- UsageReadTrace
-
UsageShowPlugins()
- UsageShowPlugins
-
UsageShowTraces()
- UsageShowTraces
Last updated on 2009/03/04 12h:51