-
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:12