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