Changeset 100 for vis_dev/vis-2.3/src/mc/mcCmd.c

Timestamp:

Jul 18, 2012, 4:46:43 PM (12 years ago)

Author:

cecile

Message:

exemple transition with cex

File:

• vis_dev/vis-2.3/src/mc/mcCmd.c (modified) (1 diff)

vis_dev/vis-2.3/src/mc/mcCmd.c

@@ -945 +945 @@
     mddMgr = Fsm_FsmReadMddManager(modelFsm);
 
+        mdd_FunctionPrintMain(mddMgr,modelInitialStates,"INIT_MC",vis_stdout);
+        
     /* compute don't cares. */
     if (modelCareStatesArray == NIL(array_t)) {