| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 77.06 | 65.98 | 100.00 | 40.00 | 79.31 | 100.00 | u_keccak![]()  | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 92.06 | 93.58 | 82.46 | 94.12 | 90.14 | 100.00 | u_app_intf![]()  | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 92.06 | 93.58 | 82.46 | 94.12 | 90.14 | 100.00 | u_app_intf![]()  | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 92.06 | 93.58 | 82.46 | 94.12 | 90.14 | 100.00 | u_app_intf![]()  | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 92.06 | 93.58 | 82.46 | 94.12 | 90.14 | 100.00 | u_app_intf![]()  | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| 100.00 | 100.00 | 
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME | 
| 100.00 | 100.00 | 100.00 | u_prim_lc_sync | 
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | 
| u_secure_anchor_buf | 100.00 | 100.00 | 
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |