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 2007/04/06 14h:44