traceCmd.c
Trace Commands
traceEval.c
This module contains defines evaluation code
traceTest.c
Automated tests suite for the trace package
traceUtils.c
This module contains support functions to the trace class.

traceCmd.c

Trace Commands

By: Ashutosh Trivedi, Marco Pensallorto

This file contains commands related to traces.

CommandShowTraces()
Shows the traces generated in a NuSMV session
UsageShowTraces()
UsageShowTraces
CommandShowPlugins()
Lists out all the available plugins inside the system.
UsageShowPlugins()
UsageShowPlugins
CommandReadTrace()
read_trace
UsageReadTrace()
UsageReadTrace
CommandExecuteTraces()
CommandExecuteTraces
UsageExecuteTraces()
UsageExecuteTraces
CommandExecutePartialTraces()
CommandExecutePartialTraces
()
UsageExecutePartialTrace
trace_cmd_parse_slice()
Private service of top level trace execution functions

traceEval.c

This module contains defines evaluation code

By: Marco Pensallorto

trace_step_evaluate_defines()
Evaluates defines for a trace
trace_make_failure()
Private service of trace_evaluate_expr_recur
trace_eval_make_environment()
Private service of trace_step_evaluate_defines and trace_step_check_defines

traceTest.c

Automated tests suite for the trace package

By: Marco Pensallorto

This module contains self-testing code for the trace package


traceUtils.c

This module contains support functions to the trace class.

By: Marco Pensallorto

optional

See Alsooptional

TraceUtils_fetch_as_bdd()
Extracts assignments in (trace, step) to a set of symbols
TraceUtils_fetch_as_be()
Extracts assignments in (trace, step) to a set of symbols
TraceUtils_fetch_as_sexp()
Extracts assignments in (trace, step) to a set of symbols

Last updated on 2011/04/06 21h:13