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_big_and()
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 2012/11/18 14h:16