FSM traverse history: mmu_test

fsm-mmu_test-0: Start
State: start

Transition 1:
Scenario method: initialize( Object* value = NULL )
State: int(0)

Transition 2:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(0)

Transition 3:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(2)

Transition 4:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(2)

Transition 5:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(4)

Transition 6:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(4)

Transition 7:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(6)

Transition 8:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(6)

Transition 9:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(8)

Transition 10:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(8)

Transition 11:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(10)

Transition 12:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )
State: int(10)

Transition 13:
Scenario method: TluMmuScenario::scen_read_mmu_register( Object* value = I(0) )

Summary
States = 6/6 (local/total)
Transitions = 12/12 (local/total)
Nondeterminism = 0/12 (transitions)
Traversal = 12 (transitions), 0 (seconds)

Browser message: Test scenario has been successfully completed (severity: INFO)
State: int(0)

Transition 14:
Scenario method: finalize( Object* value = NULL )
State: end