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 13h:34