Line Coverage for Module :
prim_alert_sender
| Line No. | Total | Covered | Percent |
TOTAL | | 53 | 53 | 100.00 |
CONT_ASSIGN | 141 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
CONT_ASSIGN | 163 | 1 | 1 | 100.00 |
CONT_ASSIGN | 167 | 1 | 1 | 100.00 |
CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
CONT_ASSIGN | 172 | 1 | 1 | 100.00 |
CONT_ASSIGN | 175 | 1 | 1 | 100.00 |
CONT_ASSIGN | 177 | 1 | 1 | 100.00 |
CONT_ASSIGN | 178 | 1 | 1 | 100.00 |
CONT_ASSIGN | 182 | 1 | 1 | 100.00 |
CONT_ASSIGN | 183 | 1 | 1 | 100.00 |
ALWAYS | 193 | 32 | 32 | 100.00 |
ALWAYS | 276 | 9 | 9 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_alert_0/rtl/prim_alert_sender.sv' or '../src/lowrisc_prim_alert_0/rtl/prim_alert_sender.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
141 |
1 |
1 |
145 |
1 |
1 |
146 |
1 |
1 |
163 |
1 |
1 |
167 |
1 |
1 |
171 |
1 |
1 |
172 |
1 |
1 |
175 |
1 |
1 |
177 |
1 |
1 |
178 |
1 |
1 |
182 |
1 |
1 |
183 |
1 |
1 |
193 |
1 |
1 |
194 |
1 |
1 |
195 |
1 |
1 |
196 |
1 |
1 |
197 |
1 |
1 |
199 |
1 |
1 |
202 |
1 |
1 |
203 |
1 |
1 |
204 |
1 |
1 |
205 |
1 |
1 |
|
|
|
MISSING_ELSE |
210 |
1 |
1 |
211 |
1 |
1 |
213 |
1 |
1 |
214 |
1 |
1 |
219 |
1 |
1 |
220 |
1 |
1 |
221 |
1 |
1 |
|
|
|
MISSING_ELSE |
226 |
1 |
1 |
227 |
1 |
1 |
229 |
1 |
1 |
230 |
1 |
1 |
235 |
1 |
1 |
236 |
1 |
1 |
237 |
1 |
1 |
|
|
|
MISSING_ELSE |
242 |
1 |
1 |
246 |
1 |
1 |
255 |
1 |
1 |
256 |
1 |
1 |
257 |
1 |
1 |
258 |
1 |
1 |
259 |
1 |
1 |
260 |
1 |
1 |
|
|
|
MISSING_ELSE |
276 |
1 |
1 |
277 |
1 |
1 |
278 |
1 |
1 |
279 |
1 |
1 |
280 |
1 |
1 |
282 |
1 |
1 |
283 |
1 |
1 |
284 |
1 |
1 |
285 |
1 |
1 |
Cond Coverage for Module :
prim_alert_sender
| Total | Covered | Percent |
Conditions | 29 | 29 | 100.00 |
Logical | 29 | 29 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 141
EXPRESSION (ack_sigint | ping_sigint)
-----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 163
EXPRESSION (alert_req | alert_set_q)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 167
EXPRESSION (alert_clr ? 1'b0 : alert_req_trigger)
----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 171
EXPRESSION (alert_test_i | alert_test_set_q)
------1----- --------2-------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 172
EXPRESSION (alert_clr ? 1'b0 : alert_test_trigger)
----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 175
EXPRESSION (alert_req_trigger | alert_test_trigger)
--------1-------- ---------2--------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 177
EXPRESSION (ping_set_q | ping_event)
-----1---- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 178
EXPRESSION (ping_clr ? 1'b0 : ping_trigger)
----1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 182
EXPRESSION (alert_clr & alert_set_q)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 202
EXPRESSION (alert_trigger || ping_trigger)
------1------ ------2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 203
EXPRESSION (alert_trigger ? AlertHsPhase1 : PingHsPhase1)
------1------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
Toggle Coverage for Module :
prim_alert_sender
| Total | Covered | Percent |
Totals |
12 |
12 |
100.00 |
Total Bits |
24 |
24 |
100.00 |
Total Bits 0->1 |
12 |
12 |
100.00 |
Total Bits 1->0 |
12 |
12 |
100.00 |
| | | |
Ports |
12 |
12 |
100.00 |
Port Bits |
24 |
24 |
100.00 |
Port Bits 0->1 |
12 |
12 |
100.00 |
Port Bits 1->0 |
12 |
12 |
100.00 |
Port Details
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
rst_ni |
Yes |
Yes |
T1,T2,T8 |
Yes |
T1,T2,T3 |
INPUT |
alert_test_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
alert_req_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
alert_ack_o |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
alert_state_o |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
alert_rx_i.ack_n |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
alert_rx_i.ack_p |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
alert_rx_i.ping_n |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
alert_rx_i.ping_p |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
alert_tx_o.alert_n |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
alert_tx_o.alert_p |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
FSM Coverage for Module :
prim_alert_sender
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
7 |
7 |
100.00 |
(Not included in score) |
Transitions |
13 |
13 |
100.00 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
AlertHsPhase1 |
203 |
Covered |
T1,T2,T3 |
AlertHsPhase2 |
211 |
Covered |
T1,T2,T3 |
Idle |
246 |
Covered |
T1,T2,T3 |
Pause0 |
220 |
Covered |
T1,T2,T3 |
Pause1 |
242 |
Covered |
T1,T2,T3 |
PingHsPhase1 |
203 |
Covered |
T1,T2,T3 |
PingHsPhase2 |
227 |
Covered |
T1,T2,T3 |
transitions | Line No. | Covered | Tests |
AlertHsPhase1->AlertHsPhase2 |
211 |
Covered |
T1,T2,T3 |
AlertHsPhase1->Idle |
256 |
Covered |
T1,T2,T3 |
AlertHsPhase2->Idle |
256 |
Covered |
T1,T2,T8 |
AlertHsPhase2->Pause0 |
220 |
Covered |
T1,T2,T3 |
Idle->AlertHsPhase1 |
203 |
Covered |
T1,T2,T3 |
Idle->PingHsPhase1 |
203 |
Covered |
T1,T2,T3 |
Pause0->Idle |
256 |
Covered |
T22,T23,T24 |
Pause0->Pause1 |
242 |
Covered |
T1,T2,T3 |
Pause1->Idle |
246 |
Covered |
T1,T2,T3 |
PingHsPhase1->Idle |
256 |
Covered |
T1,T2,T8 |
PingHsPhase1->PingHsPhase2 |
227 |
Covered |
T1,T2,T3 |
PingHsPhase2->Idle |
256 |
Covered |
T1,T2,T3 |
PingHsPhase2->Pause0 |
237 |
Covered |
T1,T2,T3 |
Branch Coverage for Module :
prim_alert_sender
| Line No. | Total | Covered | Percent |
Branches |
|
24 |
23 |
95.83 |
TERNARY |
172 |
2 |
2 |
100.00 |
TERNARY |
178 |
2 |
2 |
100.00 |
TERNARY |
167 |
2 |
2 |
100.00 |
CASE |
199 |
14 |
13 |
92.86 |
IF |
255 |
2 |
2 |
100.00 |
IF |
276 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_alert_0/rtl/prim_alert_sender.sv' or '../src/lowrisc_prim_alert_0/rtl/prim_alert_sender.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 172 (alert_clr) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 178 (ping_clr) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 167 (alert_clr) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 199 case (state_q)
-2-: 202 if ((alert_trigger || ping_trigger))
-3-: 203 (alert_trigger) ?
-4-: 210 if (ack_level)
-5-: 219 if ((!ack_level))
-6-: 226 if (ack_level)
-7-: 235 if ((!ack_level))
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | -7- | Status | Tests |
Idle |
1 |
1 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
1 |
0 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
0 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
AlertHsPhase1 |
- |
- |
1 |
- |
- |
- |
Covered |
T1,T2,T3 |
AlertHsPhase1 |
- |
- |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
AlertHsPhase2 |
- |
- |
- |
1 |
- |
- |
Covered |
T1,T2,T3 |
AlertHsPhase2 |
- |
- |
- |
0 |
- |
- |
Covered |
T1,T2,T3 |
PingHsPhase1 |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T3 |
PingHsPhase1 |
- |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T3 |
PingHsPhase2 |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T3 |
PingHsPhase2 |
- |
- |
- |
- |
- |
0 |
Covered |
T1,T2,T3 |
Pause0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Pause1 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
default |
- |
- |
- |
- |
- |
- |
Not Covered |
|
LineNo. Expression
-1-: 255 if (sigint_detected)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 276 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
prim_alert_sender
Assertion Details
AlertHs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
115412 |
833 |
0 |
0 |
T1 |
1191 |
13 |
0 |
0 |
T2 |
1214 |
16 |
0 |
0 |
T3 |
1072 |
12 |
0 |
0 |
T5 |
1118 |
15 |
0 |
0 |
T8 |
1268 |
19 |
0 |
0 |
T9 |
1209 |
17 |
0 |
0 |
T15 |
1071 |
15 |
0 |
0 |
T18 |
1095 |
15 |
0 |
0 |
T19 |
1094 |
16 |
0 |
0 |
T20 |
1116 |
16 |
0 |
0 |
AlertPKnownO_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
115412 |
88435 |
0 |
0 |
T1 |
1191 |
1026 |
0 |
0 |
T2 |
1214 |
1038 |
0 |
0 |
T3 |
1072 |
986 |
0 |
0 |
T5 |
1118 |
1060 |
0 |
0 |
T8 |
1268 |
1116 |
0 |
0 |
T9 |
1209 |
1073 |
0 |
0 |
T15 |
1071 |
1003 |
0 |
0 |
T18 |
1095 |
1024 |
0 |
0 |
T19 |
1094 |
1034 |
0 |
0 |
T20 |
1116 |
1041 |
0 |
0 |
AlertState0_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
115412 |
88435 |
0 |
0 |
T1 |
1191 |
1026 |
0 |
0 |
T2 |
1214 |
1038 |
0 |
0 |
T3 |
1072 |
986 |
0 |
0 |
T5 |
1118 |
1060 |
0 |
0 |
T8 |
1268 |
1116 |
0 |
0 |
T9 |
1209 |
1073 |
0 |
0 |
T15 |
1071 |
1003 |
0 |
0 |
T18 |
1095 |
1024 |
0 |
0 |
T19 |
1094 |
1034 |
0 |
0 |
T20 |
1116 |
1041 |
0 |
0 |
AlertTest1_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
115412 |
60 |
0 |
0 |
T1 |
1191 |
1 |
0 |
0 |
T2 |
1214 |
1 |
0 |
0 |
T3 |
1072 |
1 |
0 |
0 |
T5 |
1118 |
1 |
0 |
0 |
T8 |
1268 |
1 |
0 |
0 |
T9 |
1209 |
1 |
0 |
0 |
T15 |
1071 |
1 |
0 |
0 |
T18 |
1095 |
1 |
0 |
0 |
T19 |
1094 |
1 |
0 |
0 |
T20 |
1116 |
1 |
0 |
0 |
AlertTestHs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
115412 |
60 |
0 |
0 |
T1 |
1191 |
1 |
0 |
0 |
T2 |
1214 |
1 |
0 |
0 |
T3 |
1072 |
1 |
0 |
0 |
T5 |
1118 |
1 |
0 |
0 |
T8 |
1268 |
1 |
0 |
0 |
T9 |
1209 |
1 |
0 |
0 |
T15 |
1071 |
1 |
0 |
0 |
T18 |
1095 |
1 |
0 |
0 |
T19 |
1094 |
1 |
0 |
0 |
T20 |
1116 |
1 |
0 |
0 |
gen_async_assert.DiffEncoding_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63912 |
44064 |
0 |
0 |
T1 |
1191 |
919 |
0 |
0 |
T2 |
1214 |
899 |
0 |
0 |
T3 |
1072 |
901 |
0 |
0 |
T5 |
1118 |
924 |
0 |
0 |
T8 |
1268 |
945 |
0 |
0 |
T9 |
1209 |
909 |
0 |
0 |
T15 |
1071 |
888 |
0 |
0 |
T18 |
1095 |
914 |
0 |
0 |
T19 |
1094 |
915 |
0 |
0 |
T20 |
1116 |
915 |
0 |
0 |
gen_async_assert.InBandInitFsm_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63912 |
101 |
0 |
128 |
T1 |
1191 |
3 |
0 |
4 |
T2 |
1214 |
3 |
0 |
4 |
T3 |
1072 |
2 |
0 |
4 |
T5 |
1118 |
4 |
0 |
4 |
T8 |
1268 |
4 |
0 |
4 |
T9 |
1209 |
4 |
0 |
4 |
T15 |
1071 |
4 |
0 |
4 |
T18 |
1095 |
4 |
0 |
4 |
T19 |
1094 |
2 |
0 |
4 |
T20 |
1116 |
2 |
0 |
4 |
gen_async_assert.InBandInitPing_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63912 |
101 |
0 |
128 |
T1 |
1191 |
3 |
0 |
4 |
T2 |
1214 |
3 |
0 |
4 |
T3 |
1072 |
2 |
0 |
4 |
T5 |
1118 |
4 |
0 |
4 |
T8 |
1268 |
4 |
0 |
4 |
T9 |
1209 |
4 |
0 |
4 |
T15 |
1071 |
4 |
0 |
4 |
T18 |
1095 |
4 |
0 |
4 |
T19 |
1094 |
2 |
0 |
4 |
T20 |
1116 |
2 |
0 |
4 |
gen_async_assert.PingHs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63912 |
305 |
0 |
0 |
T1 |
1191 |
11 |
0 |
0 |
T2 |
1214 |
10 |
0 |
0 |
T3 |
1072 |
9 |
0 |
0 |
T5 |
1118 |
10 |
0 |
0 |
T8 |
1268 |
10 |
0 |
0 |
T9 |
1209 |
10 |
0 |
0 |
T15 |
1071 |
9 |
0 |
0 |
T18 |
1095 |
10 |
0 |
0 |
T19 |
1094 |
10 |
0 |
0 |
T20 |
1116 |
10 |
0 |
0 |
gen_async_assert.SigIntAck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63912 |
101 |
0 |
160 |
T1 |
1191 |
3 |
0 |
5 |
T2 |
1214 |
3 |
0 |
5 |
T3 |
1072 |
2 |
0 |
5 |
T5 |
1118 |
4 |
0 |
5 |
T8 |
1268 |
4 |
0 |
5 |
T9 |
1209 |
4 |
0 |
5 |
T15 |
1071 |
4 |
0 |
5 |
T18 |
1095 |
4 |
0 |
5 |
T19 |
1094 |
2 |
0 |
5 |
T20 |
1116 |
2 |
0 |
5 |
gen_async_assert.SigIntPing_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
63912 |
101 |
0 |
160 |
T1 |
1191 |
3 |
0 |
5 |
T2 |
1214 |
3 |
0 |
5 |
T3 |
1072 |
2 |
0 |
5 |
T5 |
1118 |
4 |
0 |
5 |
T8 |
1268 |
4 |
0 |
5 |
T9 |
1209 |
4 |
0 |
5 |
T15 |
1071 |
4 |
0 |
5 |
T18 |
1095 |
4 |
0 |
5 |
T19 |
1094 |
2 |
0 |
5 |
T20 |
1116 |
2 |
0 |
5 |
gen_fatal_assert.AlertState1_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
82986 |
4657 |
0 |
0 |
T11 |
3068 |
246 |
0 |
0 |
T12 |
2929 |
270 |
0 |
0 |
T14 |
2825 |
197 |
0 |
0 |
T36 |
3037 |
232 |
0 |
0 |
T37 |
3151 |
279 |
0 |
0 |
T38 |
2951 |
222 |
0 |
0 |
T39 |
2940 |
254 |
0 |
0 |
T40 |
2825 |
187 |
0 |
0 |
T41 |
2913 |
256 |
0 |
0 |
T42 |
3004 |
235 |
0 |
0 |
gen_fatal_assert.AlertState2_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
82986 |
33746 |
0 |
0 |
T11 |
3068 |
1256 |
0 |
0 |
T12 |
2929 |
1197 |
0 |
0 |
T14 |
2825 |
1144 |
0 |
0 |
T36 |
3037 |
1319 |
0 |
0 |
T37 |
3151 |
1355 |
0 |
0 |
T38 |
2951 |
1292 |
0 |
0 |
T39 |
2940 |
1312 |
0 |
0 |
T40 |
2825 |
1070 |
0 |
0 |
T41 |
2913 |
1255 |
0 |
0 |
T42 |
3004 |
1222 |
0 |
0 |
gen_fatal_assert.AlertState3_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
82986 |
3079 |
0 |
0 |
T11 |
3068 |
63 |
0 |
0 |
T12 |
2929 |
59 |
0 |
0 |
T14 |
2825 |
60 |
0 |
0 |
T36 |
3037 |
68 |
0 |
0 |
T37 |
3151 |
67 |
0 |
0 |
T38 |
2951 |
67 |
0 |
0 |
T39 |
2940 |
66 |
0 |
0 |
T40 |
2825 |
56 |
0 |
0 |
T41 |
2913 |
64 |
0 |
0 |
T42 |
3004 |
62 |
0 |
0 |
gen_recov_assert.AlertState1_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32426 |
5418 |
0 |
0 |
T1 |
1191 |
192 |
0 |
0 |
T2 |
1214 |
268 |
0 |
0 |
T3 |
1072 |
180 |
0 |
0 |
T5 |
1118 |
240 |
0 |
0 |
T8 |
1268 |
292 |
0 |
0 |
T9 |
1209 |
264 |
0 |
0 |
T15 |
1071 |
227 |
0 |
0 |
T18 |
1095 |
255 |
0 |
0 |
T19 |
1094 |
261 |
0 |
0 |
T20 |
1116 |
245 |
0 |
0 |
gen_recov_assert.AlertState2_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32426 |
0 |
0 |
0 |
gen_sync_assert.DiffEncoding_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
51500 |
35925 |
0 |
0 |
T22 |
1015 |
785 |
0 |
0 |
T23 |
1060 |
807 |
0 |
0 |
T24 |
902 |
753 |
0 |
0 |
T25 |
1003 |
787 |
0 |
0 |
T26 |
931 |
782 |
0 |
0 |
T27 |
825 |
725 |
0 |
0 |
T32 |
944 |
761 |
0 |
0 |
T33 |
878 |
737 |
0 |
0 |
T34 |
818 |
709 |
0 |
0 |
T35 |
892 |
749 |
0 |
0 |
gen_sync_assert.InBandInitFsm_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
51500 |
0 |
0 |
0 |
gen_sync_assert.InBandInitPing_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
51500 |
0 |
0 |
0 |
gen_sync_assert.PingHs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
51500 |
257 |
0 |
0 |
T22 |
1015 |
8 |
0 |
0 |
T23 |
1060 |
9 |
0 |
0 |
T24 |
902 |
8 |
0 |
0 |
T25 |
1003 |
9 |
0 |
0 |
T26 |
931 |
7 |
0 |
0 |
T27 |
825 |
8 |
0 |
0 |
T32 |
944 |
10 |
0 |
0 |
T33 |
878 |
10 |
0 |
0 |
T34 |
818 |
10 |
0 |
0 |
T35 |
892 |
10 |
0 |
0 |
gen_sync_assert.SigIntAck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
51500 |
0 |
0 |
0 |
gen_sync_assert.SigIntPing_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
51500 |
0 |
0 |
0 |