protected void setUp()
    {
        // Create the FSM and call the entry action manually
        fsm = new DefaultTransitionStateMachineImpl();

        // reset state history
        for (int i = 0; i < 255; i++)
        {
            fsm.TFC.StateHistory[i] = (byte)255;
        }
        fsm.TFC.LastState = 0;

        // Manually tickle the entry function
        fsm.EnteredReadyStateAction();

        // Run through the desired transition sequence
        try
        {
            fsm.context.InputMessage1Transition();
        }
        catch (statemap.TransitionUndefinedException e)
        {
            fsm.TFC.StateHistory[fsm.TFC.LastState++] = 12;
        }
        try
        {
            fsm.context.InputMessage2Transition();
        }
        catch (statemap.TransitionUndefinedException e)
        {
            fsm.TFC.StateHistory[fsm.TFC.LastState++] = 12;
        }
    }
    protected void setUp()
    {
        // Create the FSM and call the entry action manually
        fsm = new DefaultTransitionStateMachineImpl();

        // reset state history
        for (int i = 0; i < 255; i++)
            fsm.TFC.StateHistory[i] = (byte)255;
        fsm.TFC.LastState = 0;

        // Manually tickle the entry function
        fsm.EnteredReadyStateAction();

        // Run through the desired transition sequence
        try
        {
            fsm.context.InputMessage1Transition();
        }
        catch (statemap.TransitionUndefinedException e)
        {
            fsm.TFC.StateHistory[fsm.TFC.LastState++] = 12;
        }
        try
        {
            fsm.context.InputMessage2Transition();
        }
        catch (statemap.TransitionUndefinedException e)
        {
            fsm.TFC.StateHistory[fsm.TFC.LastState++] = 12;
        }
    }