scenario msg_sapic

execution
trace: testbench.utt
start: Wed Sep 15 18:59:24 MSD 2010
end: Wed Sep 15 18:59:24 MSD 2010
Product Name: CTESK
Product Build: 20100728
Host: kajir
Product Version: 2.8.307
Operating System: Linux 2.6.31-gentoo-r10-ws1
scenarios states/trans
msg_sapic 3/12
start states transitions end states hits
• start initialize( ) The only state 1
The only state scen_A( int x = -1 ) The only state 1
scen_A( int x = -2 ) 1
scen_A( int x = -3 ) 1
scen_A( int x = -4 ) 1
scen_A( int x = -5 ) 1
scen_A( int x = 0 ) 1
scen_A( int x = 1 ) 1
scen_A( int x = 2 ) 1
scen_A( int x = 3 ) 1
scen_A( int x = 4 ) 1
The only state finalize( ) ◊ end 1