-
CommandExecutePartialTraces()
- CommandExecutePartialTraces
-
CommandExecuteTraces()
- CommandExecuteTraces
-
CommandReadTrace()
- read_trace
-
CommandShowPlugins()
- Lists out all the available plugins inside the system.
-
CommandShowTraces()
- Shows the traces generated in a NuSMV session
-
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
-
UsageExecuteTraces()
- UsageExecuteTraces
-
UsageReadTrace()
- UsageReadTrace
-
UsageShowPlugins()
- UsageShowPlugins
-
UsageShowTraces()
- UsageShowTraces
-
trace_cmd_parse_slice()
- Private service of top level trace execution functions
-
trace_eval_make_environment()
- Private service of trace_step_evaluate_defines and
trace_step_check_defines
-
trace_make_failure()
- Private service of trace_evaluate_expr_recur
-
trace_step_evaluate_defines()
- Evaluates defines for a trace
-
()
- UsageExecutePartialTrace
Last updated on 2011/04/06 21h:13