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

traceEval.c

This module contains defines evaluation code

By: Marco Pensallorto

trace_step_evaluate_defines()
Evaluates defines for a trace
trace_evaluate_define()
Evaluates a define in a given environment
trace_evaluate_expr_recur()
Evaluates a define in a given environment
trace_make_failure()
Private service of trace_evaluate_expr_recur
trace_simplify_expr()
Simplifies an expression using core simplifier and MathSAT

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 2010/05/19 15h:56