-
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 22h:26