Trace.h
Other header file
traceCmd.c
Trace Commands

Trace.h

Other header file

By: Ashutosh Trivedi


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 2005/05/05 18h:05