


event_start_init-50
event_init_ack_tmo-100
event_init_ack_tmo-116 init time out count=1  threshold=3 
event_init_ack_tmo-100
event_init_ack_tmo-116 init time out count=2  threshold=3 
event_init_ack_rcvd-82
event_start_term-138
event_term_ack_rcvd-171

FSM: Demo State Machine History 
Current State  /   Event   /  New State  /  rc  
------------------------------------------------
 0-Idle State  /  0-Start Session Init  /  1-Wait for Init Ack State  /  0
 1-Wait for Init Ack State  /  2-Session Init ACK TMO  /  1-Wait for Init Ack State  /  0
 1-Wait for Init Ack State  /  2-Session Init ACK TMO  /  1-Wait for Init Ack State  /  0
 1-Wait for Init Ack State  /  3-Session Init ACK  /  2-Established State  /  0
 2-Established State  /  4-Start Session Termination  /  3-Wait for Terminate Ack State  /  0
 3-Wait for Terminate Ack State  /  6-Session Terminate ACK  /  0-Idle State  /  0


FSM: Demo State Machine Counters 
       Invalid events = 0
       Invalid states = 0
 Exception states set = 0
         Quiet states = 0
        Handler error = 0
       Ignored events = 0


FSM: Demo State Machine 
    number_states = 4
    number_events = 7
    curr_state = Idle State

 State: Idle State 
 Event   /   Next State     
----------------------------
  0-Start Session Init / Wait for Init Ack State 
  1-Session Init / Established State 
  2-Session Init ACK TMO / Idle State 
  3-Session Init ACK / Idle State 
  4-Start Session Termination / Idle State 
  5-Session Terminate / Idle State 
  6-Session Terminate ACK / Idle State 

 State: Wait for Init Ack State 
 Event   /   Next State     
----------------------------
  0-Start Session Init / Wait for Init Ack State 
  1-Session Init / Wait for Init Ack State 
  2-Session Init ACK TMO / Wait for Init Ack State 
  3-Session Init ACK / Established State 
  4-Start Session Termination / Wait for Init Ack State 
  5-Session Terminate / Idle State 
  6-Session Terminate ACK / Wait for Init Ack State 

 State: Established State 
 Event   /   Next State     
----------------------------
  0-Start Session Init / Established State 
  1-Session Init / Established State 
  2-Session Init ACK TMO / Established State 
  3-Session Init ACK / Established State 
  4-Start Session Termination / Wait for Terminate Ack State 
  5-Session Terminate / Idle State 
  6-Session Terminate ACK / Established State 

 State: Wait for Terminate Ack State 
 Event   /   Next State     
----------------------------
  0-Start Session Init / Wait for Terminate Ack State 
  1-Session Init / Wait for Terminate Ack State 
  2-Session Init ACK TMO / Wait for Terminate Ack State 
  3-Session Init ACK / Wait for Terminate Ack State 
  4-Start Session Termination / Wait for Terminate Ack State 
  5-Session Terminate / Idle State 
  6-Session Terminate ACK / Idle State 


