scenario msg_sapic
execution |
trace: testbench.utt
start: Wed Sep 15 19:02:33 MSD 2010
end: Wed Sep 15 19:02:33 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
|
|