Changeset 100 for vis_dev/vis-2.3/src/mc


Ignore:
Timestamp:
Jul 18, 2012, 4:46:43 PM (12 years ago)
Author:
cecile
Message:

exemple transition with cex

File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r14 r100  
    945945    mddMgr = Fsm_FsmReadMddManager(modelFsm);
    946946
     947        mdd_FunctionPrintMain(mddMgr,modelInitialStates,"INIT_MC",vis_stdout);
     948       
    947949    /* compute don't cares. */
    948950    if (modelCareStatesArray == NIL(array_t)) {
Note: See TracChangeset for help on using the changeset viewer.