Tests
dashboard | hierarchy | modlist | groups | tests | asserts
Total Coverage Summary 
SCORELINECONDTOGGLEFSMBRANCHASSERTGROUP
94.45 97.91 92.68 99.89 78.17 95.59 99.04 97.88


Total tests in report: 1240
Tests are in graded order

Scores are accumulated (Total) and incremental (Incr) for each test.

SCORE LINE COND TOGGLE FSM BRANCH ASSERT GROUP  
TOTAL INCRTOTALINCRTOTALINCRTOTALINCRTOTALINCRTOTALINCRTOTALINCRTOTALINCRNAME
79.36 79.36 94.77 94.77 78.16 78.16 95.30 95.30 45.86 45.86 89.43 89.43 92.34 92.34 59.63 59.63 /workspace/coverage/default/34.kmac_stress_all.1683754240
82.18 2.82 94.77 0.00 79.16 1.00 95.38 0.08 45.86 0.00 89.43 0.00 94.42 2.07 76.20 16.57 /workspace/coverage/cover_reg_top/17.kmac_shadow_reg_errors_with_csr_rw.150805686
84.92 2.74 95.63 0.86 87.07 7.91 97.53 2.14 46.62 0.75 90.63 1.21 95.22 0.80 81.73 5.52 /workspace/coverage/default/35.kmac_stress_all_with_rand_reset.735407183
87.21 2.29 96.44 0.82 89.44 2.37 97.99 0.46 53.38 6.77 92.99 2.36 97.77 2.55 82.44 0.71 /workspace/coverage/default/4.kmac_sec_cm.3132355758
88.12 0.92 96.69 0.25 89.99 0.55 99.05 1.06 53.38 0.00 93.72 0.73 97.77 0.00 86.26 3.82 /workspace/coverage/default/9.kmac_error.2782968367
89.00 0.87 96.69 0.00 89.99 0.00 99.16 0.11 59.40 6.02 93.72 0.00 97.77 0.00 86.26 0.00 /workspace/coverage/default/10.kmac_lc_escalation.357961159
89.85 0.86 97.26 0.56 90.41 0.42 99.16 0.00 63.16 3.76 94.50 0.79 98.09 0.32 86.40 0.14 /workspace/coverage/default/12.kmac_key_error.1775130293
90.50 0.64 97.26 0.00 90.41 0.00 99.16 0.00 67.67 4.51 94.50 0.00 98.09 0.00 86.40 0.00 /workspace/coverage/default/28.kmac_lc_escalation.2570527709
90.95 0.45 97.43 0.17 90.47 0.06 99.16 0.00 69.92 2.26 94.74 0.24 98.09 0.00 86.83 0.42 /workspace/coverage/default/7.kmac_entropy_ready_error.1286839149
91.40 0.45 97.45 0.02 90.57 0.10 99.16 0.00 69.92 0.00 94.80 0.06 98.09 0.00 89.80 2.97 /workspace/coverage/cover_reg_top/1.kmac_tl_intg_err.2372911255
91.83 0.43 97.45 0.00 90.60 0.03 99.16 0.00 69.92 0.00 94.80 0.00 98.09 0.00 92.78 2.97 /workspace/coverage/cover_reg_top/17.kmac_intr_test.2234265508
92.26 0.43 97.66 0.21 90.83 0.23 99.16 0.00 72.18 2.26 95.11 0.30 98.09 0.00 92.78 0.00 /workspace/coverage/default/12.kmac_edn_timeout_error.3809424833
92.58 0.32 97.66 0.00 90.83 0.00 99.16 0.00 74.44 2.26 95.11 0.00 98.09 0.00 92.78 0.00 /workspace/coverage/default/11.kmac_lc_escalation.1249821084
92.90 0.32 97.66 0.00 90.83 0.00 99.16 0.00 76.69 2.26 95.11 0.00 98.09 0.00 92.78 0.00 /workspace/coverage/default/15.kmac_lc_escalation.3103572222
93.17 0.26 97.76 0.10 90.86 0.03 99.29 0.14 77.44 0.75 95.23 0.12 98.09 0.00 93.48 0.71 /workspace/coverage/default/46.kmac_stress_all.628906995
93.41 0.25 97.80 0.04 90.93 0.06 99.29 0.00 78.95 1.50 95.35 0.12 98.09 0.00 93.48 0.00 /workspace/coverage/default/0.kmac_entropy_mode_error.2804226227
93.63 0.21 97.80 0.00 90.93 0.00 99.29 0.00 80.45 1.50 95.35 0.00 98.09 0.00 93.48 0.00 /workspace/coverage/default/39.kmac_lc_escalation.1385628604
93.82 0.19 97.80 0.00 91.41 0.49 99.29 0.00 80.45 0.00 95.35 0.00 98.09 0.00 94.33 0.85 /workspace/coverage/cover_reg_top/12.kmac_shadow_reg_errors_with_csr_rw.2449780474
93.97 0.16 97.80 0.00 91.51 0.10 99.29 0.00 80.45 0.00 95.35 0.00 98.09 0.00 95.33 0.99 /workspace/coverage/default/19.kmac_test_vectors_shake_256.3697543076
94.11 0.14 97.80 0.00 91.51 0.00 99.29 0.00 80.45 0.00 95.35 0.00 99.04 0.96 95.33 0.00 /workspace/coverage/cover_reg_top/0.kmac_mem_partial_access.590004451
94.24 0.13 97.80 0.00 91.74 0.23 99.46 0.16 80.45 0.00 95.41 0.06 99.04 0.00 95.75 0.42 /workspace/coverage/default/8.kmac_alert_test.17102350
94.34 0.11 97.80 0.00 91.74 0.00 99.46 0.00 81.20 0.75 95.41 0.00 99.04 0.00 95.75 0.00 /workspace/coverage/default/1.kmac_lc_escalation.1176535565
94.45 0.11 97.80 0.00 91.74 0.00 99.46 0.00 81.95 0.75 95.41 0.00 99.04 0.00 95.75 0.00 /workspace/coverage/default/25.kmac_lc_escalation.3898331484
94.56 0.11 97.80 0.00 91.74 0.00 99.46 0.00 82.71 0.75 95.41 0.00 99.04 0.00 95.75 0.00 /workspace/coverage/default/33.kmac_lc_escalation.3708812678
94.64 0.08 97.80 0.00 91.74 0.00 99.46 0.00 82.71 0.00 95.41 0.00 99.04 0.00 96.32 0.57 /workspace/coverage/cover_reg_top/13.kmac_tl_intg_err.4142434054
94.72 0.08 97.80 0.00 91.74 0.00 99.46 0.00 82.71 0.00 95.41 0.00 99.04 0.00 96.88 0.57 /workspace/coverage/cover_reg_top/18.kmac_intr_test.473144321
94.79 0.07 97.80 0.00 92.03 0.29 99.46 0.00 82.71 0.00 95.47 0.06 99.04 0.00 97.03 0.14 /workspace/coverage/default/40.kmac_entropy_refresh.2426216850
94.85 0.06 97.91 0.10 92.22 0.19 99.46 0.00 82.71 0.00 95.59 0.12 99.04 0.00 97.03 0.00 /workspace/coverage/default/37.kmac_entropy_refresh.3591697567
94.91 0.06 97.91 0.00 92.26 0.03 99.84 0.38 82.71 0.00 95.59 0.00 99.04 0.00 97.03 0.00 /workspace/coverage/default/0.kmac_sec_cm.3373010231
94.95 0.04 97.91 0.00 92.38 0.13 99.84 0.00 82.71 0.00 95.59 0.00 99.04 0.00 97.17 0.14 /workspace/coverage/cover_reg_top/19.kmac_shadow_reg_errors_with_csr_rw.1417422124
94.98 0.03 97.91 0.00 92.45 0.06 99.84 0.00 82.71 0.00 95.59 0.00 99.04 0.00 97.31 0.14 /workspace/coverage/cover_reg_top/3.kmac_shadow_reg_errors_with_csr_rw.113924739
95.01 0.03 97.91 0.00 92.48 0.03 99.86 0.03 82.71 0.00 95.59 0.00 99.04 0.00 97.45 0.14 /workspace/coverage/default/27.kmac_stress_all_with_rand_reset.598465955
95.03 0.02 97.91 0.00 92.48 0.00 99.86 0.00 82.71 0.00 95.59 0.00 99.04 0.00 97.59 0.14 /workspace/coverage/cover_reg_top/0.kmac_tl_intg_err.2691127685
95.05 0.02 97.91 0.00 92.48 0.00 99.86 0.00 82.71 0.00 95.59 0.00 99.04 0.00 97.73 0.14 /workspace/coverage/cover_reg_top/12.kmac_tl_intg_err.1036367485
95.07 0.02 97.91 0.00 92.48 0.00 99.86 0.00 82.71 0.00 95.59 0.00 99.04 0.00 97.88 0.14 /workspace/coverage/default/12.kmac_stress_all.4052475179
95.09 0.02 97.91 0.00 92.61 0.13 99.86 0.00 82.71 0.00 95.59 0.00 99.04 0.00 97.88 0.00 /workspace/coverage/default/27.kmac_entropy_refresh.2710568758
95.09 0.01 97.91 0.00 92.64 0.03 99.86 0.00 82.71 0.00 95.59 0.00 99.04 0.00 97.88 0.00 /workspace/coverage/cover_reg_top/14.kmac_tl_intg_err.1461023432
95.09 0.01 97.91 0.00 92.68 0.03 99.86 0.00 82.71 0.00 95.59 0.00 99.04 0.00 97.88 0.00 /workspace/coverage/default/12.kmac_stress_all_with_rand_reset.1380862101
95.10 0.01 97.91 0.00 92.68 0.00 99.89 0.03 82.71 0.00 95.59 0.00 99.04 0.00 97.88 0.00 /workspace/coverage/default/15.kmac_smoke.4051300888

Tests that do not contribute to grading

Name
/workspace/coverage/cover_reg_top/0.kmac_csr_aliasing.2644114528
/workspace/coverage/cover_reg_top/0.kmac_csr_bit_bash.3312884962
/workspace/coverage/cover_reg_top/0.kmac_csr_hw_reset.1649202225
/workspace/coverage/cover_reg_top/0.kmac_csr_mem_rw_with_rand_reset.1325291230
/workspace/coverage/cover_reg_top/0.kmac_csr_rw.3885937532
/workspace/coverage/cover_reg_top/0.kmac_intr_test.4087184365
/workspace/coverage/cover_reg_top/0.kmac_mem_walk.661596933
/workspace/coverage/cover_reg_top/0.kmac_same_csr_outstanding.389547656
/workspace/coverage/cover_reg_top/0.kmac_shadow_reg_errors.1111832866
/workspace/coverage/cover_reg_top/0.kmac_tl_errors.2629859484
/workspace/coverage/cover_reg_top/1.kmac_csr_aliasing.3300706793
/workspace/coverage/cover_reg_top/1.kmac_csr_bit_bash.2038872087
/workspace/coverage/cover_reg_top/1.kmac_csr_hw_reset.2586799235
/workspace/coverage/cover_reg_top/1.kmac_csr_mem_rw_with_rand_reset.1199551043
/workspace/coverage/cover_reg_top/1.kmac_csr_rw.3951278933
/workspace/coverage/cover_reg_top/1.kmac_intr_test.940469041
/workspace/coverage/cover_reg_top/1.kmac_mem_partial_access.1483070791
/workspace/coverage/cover_reg_top/1.kmac_mem_walk.747110934
/workspace/coverage/cover_reg_top/1.kmac_same_csr_outstanding.2889878192
/workspace/coverage/cover_reg_top/1.kmac_shadow_reg_errors.1314798573
/workspace/coverage/cover_reg_top/1.kmac_shadow_reg_errors_with_csr_rw.1171653111
/workspace/coverage/cover_reg_top/1.kmac_tl_errors.1137126379
/workspace/coverage/cover_reg_top/10.kmac_csr_mem_rw_with_rand_reset.603221479
/workspace/coverage/cover_reg_top/10.kmac_csr_rw.2821942948
/workspace/coverage/cover_reg_top/10.kmac_intr_test.1033147745
/workspace/coverage/cover_reg_top/10.kmac_same_csr_outstanding.3814122120
/workspace/coverage/cover_reg_top/10.kmac_shadow_reg_errors.4008102549
/workspace/coverage/cover_reg_top/10.kmac_shadow_reg_errors_with_csr_rw.1548830107
/workspace/coverage/cover_reg_top/10.kmac_tl_errors.775357940
/workspace/coverage/cover_reg_top/10.kmac_tl_intg_err.799830741
/workspace/coverage/cover_reg_top/11.kmac_csr_mem_rw_with_rand_reset.685096258
/workspace/coverage/cover_reg_top/11.kmac_csr_rw.516812520
/workspace/coverage/cover_reg_top/11.kmac_intr_test.3648617429
/workspace/coverage/cover_reg_top/11.kmac_same_csr_outstanding.3349924241
/workspace/coverage/cover_reg_top/11.kmac_shadow_reg_errors.3756205089
/workspace/coverage/cover_reg_top/11.kmac_shadow_reg_errors_with_csr_rw.4150119252
/workspace/coverage/cover_reg_top/11.kmac_tl_errors.2423270397
/workspace/coverage/cover_reg_top/11.kmac_tl_intg_err.2136787403
/workspace/coverage/cover_reg_top/12.kmac_csr_mem_rw_with_rand_reset.446446149
/workspace/coverage/cover_reg_top/12.kmac_csr_rw.2743994856
/workspace/coverage/cover_reg_top/12.kmac_intr_test.657680341
/workspace/coverage/cover_reg_top/12.kmac_same_csr_outstanding.3915602818
/workspace/coverage/cover_reg_top/12.kmac_shadow_reg_errors.2864712422
/workspace/coverage/cover_reg_top/12.kmac_tl_errors.314888408
/workspace/coverage/cover_reg_top/13.kmac_csr_mem_rw_with_rand_reset.2678869240
/workspace/coverage/cover_reg_top/13.kmac_csr_rw.1998844910
/workspace/coverage/cover_reg_top/13.kmac_intr_test.3392500854
/workspace/coverage/cover_reg_top/13.kmac_same_csr_outstanding.3272486194
/workspace/coverage/cover_reg_top/13.kmac_shadow_reg_errors.132785290
/workspace/coverage/cover_reg_top/13.kmac_shadow_reg_errors_with_csr_rw.2170441137
/workspace/coverage/cover_reg_top/13.kmac_tl_errors.1513778462
/workspace/coverage/cover_reg_top/14.kmac_csr_mem_rw_with_rand_reset.1684363620
/workspace/coverage/cover_reg_top/14.kmac_csr_rw.1499062731
/workspace/coverage/cover_reg_top/14.kmac_intr_test.1491248499
/workspace/coverage/cover_reg_top/14.kmac_same_csr_outstanding.1851508459
/workspace/coverage/cover_reg_top/14.kmac_shadow_reg_errors.3164598843
/workspace/coverage/cover_reg_top/14.kmac_shadow_reg_errors_with_csr_rw.4163874743
/workspace/coverage/cover_reg_top/14.kmac_tl_errors.3867974866
/workspace/coverage/cover_reg_top/15.kmac_csr_mem_rw_with_rand_reset.3574711878
/workspace/coverage/cover_reg_top/15.kmac_csr_rw.217181669
/workspace/coverage/cover_reg_top/15.kmac_intr_test.1190469731
/workspace/coverage/cover_reg_top/15.kmac_same_csr_outstanding.1975681585
/workspace/coverage/cover_reg_top/15.kmac_shadow_reg_errors.2781788093
/workspace/coverage/cover_reg_top/15.kmac_shadow_reg_errors_with_csr_rw.3901630030
/workspace/coverage/cover_reg_top/15.kmac_tl_errors.1416982180
/workspace/coverage/cover_reg_top/15.kmac_tl_intg_err.3786521807
/workspace/coverage/cover_reg_top/16.kmac_csr_mem_rw_with_rand_reset.82280778
/workspace/coverage/cover_reg_top/16.kmac_csr_rw.335453530
/workspace/coverage/cover_reg_top/16.kmac_intr_test.949391573
/workspace/coverage/cover_reg_top/16.kmac_same_csr_outstanding.633340178
/workspace/coverage/cover_reg_top/16.kmac_shadow_reg_errors.3996834129
/workspace/coverage/cover_reg_top/16.kmac_shadow_reg_errors_with_csr_rw.510894315
/workspace/coverage/cover_reg_top/16.kmac_tl_errors.4137482764
/workspace/coverage/cover_reg_top/16.kmac_tl_intg_err.3155199822
/workspace/coverage/cover_reg_top/17.kmac_csr_mem_rw_with_rand_reset.452235699
/workspace/coverage/cover_reg_top/17.kmac_csr_rw.104206924
/workspace/coverage/cover_reg_top/17.kmac_same_csr_outstanding.3516263619
/workspace/coverage/cover_reg_top/17.kmac_shadow_reg_errors.3366962715
/workspace/coverage/cover_reg_top/17.kmac_tl_errors.3769360687
/workspace/coverage/cover_reg_top/17.kmac_tl_intg_err.3325008980
/workspace/coverage/cover_reg_top/18.kmac_csr_mem_rw_with_rand_reset.4103442612
/workspace/coverage/cover_reg_top/18.kmac_csr_rw.1638599429
/workspace/coverage/cover_reg_top/18.kmac_same_csr_outstanding.1030411520
/workspace/coverage/cover_reg_top/18.kmac_shadow_reg_errors.2811182382
/workspace/coverage/cover_reg_top/18.kmac_shadow_reg_errors_with_csr_rw.271942893
/workspace/coverage/cover_reg_top/18.kmac_tl_errors.3598611126
/workspace/coverage/cover_reg_top/18.kmac_tl_intg_err.2721279635
/workspace/coverage/cover_reg_top/19.kmac_csr_mem_rw_with_rand_reset.4241135610
/workspace/coverage/cover_reg_top/19.kmac_csr_rw.905081324
/workspace/coverage/cover_reg_top/19.kmac_intr_test.691524064
/workspace/coverage/cover_reg_top/19.kmac_same_csr_outstanding.2781814721
/workspace/coverage/cover_reg_top/19.kmac_shadow_reg_errors.3564655058
/workspace/coverage/cover_reg_top/19.kmac_tl_errors.2099022593
/workspace/coverage/cover_reg_top/19.kmac_tl_intg_err.2562094005
/workspace/coverage/cover_reg_top/2.kmac_csr_aliasing.217796018
/workspace/coverage/cover_reg_top/2.kmac_csr_bit_bash.2704471150
/workspace/coverage/cover_reg_top/2.kmac_csr_hw_reset.2017554385
/workspace/coverage/cover_reg_top/2.kmac_csr_mem_rw_with_rand_reset.2040854749
/workspace/coverage/cover_reg_top/2.kmac_csr_rw.991409188
/workspace/coverage/cover_reg_top/2.kmac_intr_test.3414662850
/workspace/coverage/cover_reg_top/2.kmac_mem_partial_access.2590996752
/workspace/coverage/cover_reg_top/2.kmac_mem_walk.889447569
/workspace/coverage/cover_reg_top/2.kmac_same_csr_outstanding.1710219479
/workspace/coverage/cover_reg_top/2.kmac_shadow_reg_errors.3110818876
/workspace/coverage/cover_reg_top/2.kmac_tl_errors.2781049054
/workspace/coverage/cover_reg_top/2.kmac_tl_intg_err.404002971
/workspace/coverage/cover_reg_top/20.kmac_intr_test.2371433732
/workspace/coverage/cover_reg_top/21.kmac_intr_test.460447160
/workspace/coverage/cover_reg_top/22.kmac_intr_test.2977915871
/workspace/coverage/cover_reg_top/23.kmac_intr_test.4127298029
/workspace/coverage/cover_reg_top/24.kmac_intr_test.4257605356
/workspace/coverage/cover_reg_top/25.kmac_intr_test.2429658984
/workspace/coverage/cover_reg_top/26.kmac_intr_test.2103207049
/workspace/coverage/cover_reg_top/27.kmac_intr_test.446842841
/workspace/coverage/cover_reg_top/28.kmac_intr_test.321781158
/workspace/coverage/cover_reg_top/29.kmac_intr_test.1273906247
/workspace/coverage/cover_reg_top/3.kmac_csr_aliasing.1792984434
/workspace/coverage/cover_reg_top/3.kmac_csr_bit_bash.1425290747
/workspace/coverage/cover_reg_top/3.kmac_csr_hw_reset.3675756639
/workspace/coverage/cover_reg_top/3.kmac_csr_mem_rw_with_rand_reset.2687830683
/workspace/coverage/cover_reg_top/3.kmac_csr_rw.4010747468
/workspace/coverage/cover_reg_top/3.kmac_intr_test.298196179
/workspace/coverage/cover_reg_top/3.kmac_mem_partial_access.2699165048
/workspace/coverage/cover_reg_top/3.kmac_mem_walk.910700206
/workspace/coverage/cover_reg_top/3.kmac_same_csr_outstanding.2371482726
/workspace/coverage/cover_reg_top/3.kmac_shadow_reg_errors.3411468963
/workspace/coverage/cover_reg_top/3.kmac_tl_errors.2546120614
/workspace/coverage/cover_reg_top/3.kmac_tl_intg_err.68380742
/workspace/coverage/cover_reg_top/30.kmac_intr_test.3476573596
/workspace/coverage/cover_reg_top/31.kmac_intr_test.2516926503
/workspace/coverage/cover_reg_top/32.kmac_intr_test.3136902736
/workspace/coverage/cover_reg_top/33.kmac_intr_test.3399530294
/workspace/coverage/cover_reg_top/34.kmac_intr_test.4250692991
/workspace/coverage/cover_reg_top/35.kmac_intr_test.805119715
/workspace/coverage/cover_reg_top/36.kmac_intr_test.1468689051
/workspace/coverage/cover_reg_top/37.kmac_intr_test.1842442399
/workspace/coverage/cover_reg_top/38.kmac_intr_test.2893022586
/workspace/coverage/cover_reg_top/39.kmac_intr_test.427905682
/workspace/coverage/cover_reg_top/4.kmac_csr_aliasing.2586744867
/workspace/coverage/cover_reg_top/4.kmac_csr_bit_bash.3984619933
/workspace/coverage/cover_reg_top/4.kmac_csr_hw_reset.2579703259
/workspace/coverage/cover_reg_top/4.kmac_csr_mem_rw_with_rand_reset.3741318168
/workspace/coverage/cover_reg_top/4.kmac_csr_rw.2351221168
/workspace/coverage/cover_reg_top/4.kmac_intr_test.4251061386
/workspace/coverage/cover_reg_top/4.kmac_mem_partial_access.1922369916
/workspace/coverage/cover_reg_top/4.kmac_mem_walk.4105520665
/workspace/coverage/cover_reg_top/4.kmac_same_csr_outstanding.3390519599
/workspace/coverage/cover_reg_top/4.kmac_shadow_reg_errors.2936144973
/workspace/coverage/cover_reg_top/4.kmac_tl_errors.3163473031
/workspace/coverage/cover_reg_top/4.kmac_tl_intg_err.292167982
/workspace/coverage/cover_reg_top/40.kmac_intr_test.398195037
/workspace/coverage/cover_reg_top/41.kmac_intr_test.3560212018
/workspace/coverage/cover_reg_top/42.kmac_intr_test.1489782867
/workspace/coverage/cover_reg_top/43.kmac_intr_test.2938828677
/workspace/coverage/cover_reg_top/44.kmac_intr_test.2402991741
/workspace/coverage/cover_reg_top/45.kmac_intr_test.1616098798
/workspace/coverage/cover_reg_top/46.kmac_intr_test.1820401084
/workspace/coverage/cover_reg_top/47.kmac_intr_test.1670516343
/workspace/coverage/cover_reg_top/48.kmac_intr_test.1341741390
/workspace/coverage/cover_reg_top/49.kmac_intr_test.4072644533
/workspace/coverage/cover_reg_top/5.kmac_csr_mem_rw_with_rand_reset.1626311436
/workspace/coverage/cover_reg_top/5.kmac_csr_rw.2392629696
/workspace/coverage/cover_reg_top/5.kmac_intr_test.3558785552
/workspace/coverage/cover_reg_top/5.kmac_same_csr_outstanding.3053638727
/workspace/coverage/cover_reg_top/5.kmac_shadow_reg_errors.3068198636
/workspace/coverage/cover_reg_top/5.kmac_shadow_reg_errors_with_csr_rw.4216547807
/workspace/coverage/cover_reg_top/5.kmac_tl_errors.3299411332
/workspace/coverage/cover_reg_top/5.kmac_tl_intg_err.281923108
/workspace/coverage/cover_reg_top/6.kmac_csr_mem_rw_with_rand_reset.1031060617
/workspace/coverage/cover_reg_top/6.kmac_csr_rw.3680201231
/workspace/coverage/cover_reg_top/6.kmac_intr_test.3320482379
/workspace/coverage/cover_reg_top/6.kmac_same_csr_outstanding.2512402391
/workspace/coverage/cover_reg_top/6.kmac_shadow_reg_errors.2759273756
/workspace/coverage/cover_reg_top/6.kmac_shadow_reg_errors_with_csr_rw.1927902076
/workspace/coverage/cover_reg_top/6.kmac_tl_errors.2239667992
/workspace/coverage/cover_reg_top/6.kmac_tl_intg_err.2497536268
/workspace/coverage/cover_reg_top/7.kmac_csr_mem_rw_with_rand_reset.2924128363
/workspace/coverage/cover_reg_top/7.kmac_csr_rw.2895462387
/workspace/coverage/cover_reg_top/7.kmac_intr_test.3738771876
/workspace/coverage/cover_reg_top/7.kmac_same_csr_outstanding.1590854347
/workspace/coverage/cover_reg_top/7.kmac_shadow_reg_errors.1064805467
/workspace/coverage/cover_reg_top/7.kmac_shadow_reg_errors_with_csr_rw.4138946347
/workspace/coverage/cover_reg_top/7.kmac_tl_errors.806761553
/workspace/coverage/cover_reg_top/7.kmac_tl_intg_err.3987540881
/workspace/coverage/cover_reg_top/8.kmac_csr_mem_rw_with_rand_reset.3471639374
/workspace/coverage/cover_reg_top/8.kmac_csr_rw.3038197103
/workspace/coverage/cover_reg_top/8.kmac_intr_test.3145052296
/workspace/coverage/cover_reg_top/8.kmac_same_csr_outstanding.3416149777
/workspace/coverage/cover_reg_top/8.kmac_shadow_reg_errors.75793233
/workspace/coverage/cover_reg_top/8.kmac_tl_errors.2747210360
/workspace/coverage/cover_reg_top/8.kmac_tl_intg_err.4206709939
/workspace/coverage/cover_reg_top/9.kmac_csr_mem_rw_with_rand_reset.3408789725
/workspace/coverage/cover_reg_top/9.kmac_csr_rw.394779311
/workspace/coverage/cover_reg_top/9.kmac_intr_test.3760005707
/workspace/coverage/cover_reg_top/9.kmac_same_csr_outstanding.3364967518
/workspace/coverage/cover_reg_top/9.kmac_shadow_reg_errors.3303165403
/workspace/coverage/cover_reg_top/9.kmac_shadow_reg_errors_with_csr_rw.2317979049
/workspace/coverage/cover_reg_top/9.kmac_tl_errors.274114115
/workspace/coverage/cover_reg_top/9.kmac_tl_intg_err.2668783456
/workspace/coverage/default/0.kmac_alert_test.2508554386
/workspace/coverage/default/0.kmac_app.3533645582
/workspace/coverage/default/0.kmac_app_with_partial_data.3587405712
/workspace/coverage/default/0.kmac_burst_write.2597734140
/workspace/coverage/default/0.kmac_edn_timeout_error.3018550882
/workspace/coverage/default/0.kmac_entropy_ready_error.2813228272
/workspace/coverage/default/0.kmac_entropy_refresh.1166422143
/workspace/coverage/default/0.kmac_lc_escalation.3619956030
/workspace/coverage/default/0.kmac_long_msg_and_output.2931106826
/workspace/coverage/default/0.kmac_mubi.3570863603
/workspace/coverage/default/0.kmac_sideload.3751734740
/workspace/coverage/default/0.kmac_smoke.1894674728
/workspace/coverage/default/0.kmac_stress_all.489608452
/workspace/coverage/default/0.kmac_test_vectors_kmac.1584932128
/workspace/coverage/default/0.kmac_test_vectors_kmac_xof.1791296324
/workspace/coverage/default/0.kmac_test_vectors_sha3_224.2180277741
/workspace/coverage/default/0.kmac_test_vectors_sha3_256.2801503806
/workspace/coverage/default/0.kmac_test_vectors_sha3_384.2925121371
/workspace/coverage/default/0.kmac_test_vectors_sha3_512.1658617275
/workspace/coverage/default/0.kmac_test_vectors_shake_128.2858407283
/workspace/coverage/default/0.kmac_test_vectors_shake_256.1203903479
/workspace/coverage/default/1.kmac_alert_test.821620064
/workspace/coverage/default/1.kmac_app.3177032849
/workspace/coverage/default/1.kmac_app_with_partial_data.3957552197
/workspace/coverage/default/1.kmac_burst_write.434396080
/workspace/coverage/default/1.kmac_edn_timeout_error.470791518
/workspace/coverage/default/1.kmac_entropy_mode_error.4162667590
/workspace/coverage/default/1.kmac_entropy_ready_error.3228939754
/workspace/coverage/default/1.kmac_entropy_refresh.3785099131
/workspace/coverage/default/1.kmac_error.2233604089
/workspace/coverage/default/1.kmac_key_error.1826038422
/workspace/coverage/default/1.kmac_long_msg_and_output.2394354767
/workspace/coverage/default/1.kmac_mubi.1003349240
/workspace/coverage/default/1.kmac_sec_cm.137783709
/workspace/coverage/default/1.kmac_sideload.3141462863
/workspace/coverage/default/1.kmac_smoke.3369012274
/workspace/coverage/default/1.kmac_stress_all.1675038403
/workspace/coverage/default/1.kmac_test_vectors_kmac.315234500
/workspace/coverage/default/1.kmac_test_vectors_kmac_xof.4293510274
/workspace/coverage/default/1.kmac_test_vectors_sha3_224.2039871993
/workspace/coverage/default/1.kmac_test_vectors_sha3_256.1778729913
/workspace/coverage/default/1.kmac_test_vectors_sha3_384.3073505812
/workspace/coverage/default/1.kmac_test_vectors_sha3_512.2918036913
/workspace/coverage/default/1.kmac_test_vectors_shake_128.3858270254
/workspace/coverage/default/1.kmac_test_vectors_shake_256.2457944356
/workspace/coverage/default/10.kmac_alert_test.1531578238
/workspace/coverage/default/10.kmac_app.889243836
/workspace/coverage/default/10.kmac_burst_write.310382675
/workspace/coverage/default/10.kmac_edn_timeout_error.2596703580
/workspace/coverage/default/10.kmac_entropy_mode_error.744173653
/workspace/coverage/default/10.kmac_entropy_refresh.2150959927
/workspace/coverage/default/10.kmac_key_error.506785458
/workspace/coverage/default/10.kmac_long_msg_and_output.2110211415
/workspace/coverage/default/10.kmac_sideload.4257853702
/workspace/coverage/default/10.kmac_smoke.3062138443
/workspace/coverage/default/10.kmac_stress_all.3772454653
/workspace/coverage/default/10.kmac_test_vectors_kmac.921674528
/workspace/coverage/default/10.kmac_test_vectors_kmac_xof.2544367678
/workspace/coverage/default/10.kmac_test_vectors_sha3_224.2083604650
/workspace/coverage/default/10.kmac_test_vectors_sha3_256.1553809093
/workspace/coverage/default/10.kmac_test_vectors_sha3_384.3373551375
/workspace/coverage/default/10.kmac_test_vectors_sha3_512.372540906
/workspace/coverage/default/10.kmac_test_vectors_shake_128.244956159
/workspace/coverage/default/10.kmac_test_vectors_shake_256.3226515814
/workspace/coverage/default/11.kmac_alert_test.1996576377
/workspace/coverage/default/11.kmac_app.3064519616
/workspace/coverage/default/11.kmac_burst_write.3147489481
/workspace/coverage/default/11.kmac_edn_timeout_error.90262404
/workspace/coverage/default/11.kmac_entropy_mode_error.2510383101
/workspace/coverage/default/11.kmac_entropy_refresh.2236827795
/workspace/coverage/default/11.kmac_error.1218227888
/workspace/coverage/default/11.kmac_key_error.1374359797
/workspace/coverage/default/11.kmac_long_msg_and_output.2078667585
/workspace/coverage/default/11.kmac_sideload.1421469089
/workspace/coverage/default/11.kmac_smoke.2437145432
/workspace/coverage/default/11.kmac_stress_all.2923067727
/workspace/coverage/default/11.kmac_test_vectors_kmac.435039022
/workspace/coverage/default/11.kmac_test_vectors_kmac_xof.1655206455
/workspace/coverage/default/11.kmac_test_vectors_sha3_224.3903113071
/workspace/coverage/default/11.kmac_test_vectors_sha3_256.3086002611
/workspace/coverage/default/11.kmac_test_vectors_sha3_384.2430210795
/workspace/coverage/default/11.kmac_test_vectors_sha3_512.493226068
/workspace/coverage/default/11.kmac_test_vectors_shake_128.350327306
/workspace/coverage/default/11.kmac_test_vectors_shake_256.962146955
/workspace/coverage/default/12.kmac_alert_test.4000644684
/workspace/coverage/default/12.kmac_app.3183576953
/workspace/coverage/default/12.kmac_burst_write.1715292998
/workspace/coverage/default/12.kmac_entropy_mode_error.4020052664
/workspace/coverage/default/12.kmac_entropy_refresh.3721808120
/workspace/coverage/default/12.kmac_error.3607090688
/workspace/coverage/default/12.kmac_lc_escalation.824095854
/workspace/coverage/default/12.kmac_long_msg_and_output.3989086313
/workspace/coverage/default/12.kmac_sideload.2875264630
/workspace/coverage/default/12.kmac_smoke.111619942
/workspace/coverage/default/12.kmac_test_vectors_kmac.1034402391
/workspace/coverage/default/12.kmac_test_vectors_kmac_xof.284541538
/workspace/coverage/default/12.kmac_test_vectors_sha3_224.2443992729
/workspace/coverage/default/12.kmac_test_vectors_sha3_256.1507042615
/workspace/coverage/default/12.kmac_test_vectors_sha3_384.3788581859
/workspace/coverage/default/12.kmac_test_vectors_sha3_512.3316529516
/workspace/coverage/default/12.kmac_test_vectors_shake_128.2450158031
/workspace/coverage/default/12.kmac_test_vectors_shake_256.3034379739
/workspace/coverage/default/13.kmac_alert_test.3743472027
/workspace/coverage/default/13.kmac_app.1787427539
/workspace/coverage/default/13.kmac_burst_write.3682221374
/workspace/coverage/default/13.kmac_edn_timeout_error.14734495
/workspace/coverage/default/13.kmac_entropy_mode_error.1125037127
/workspace/coverage/default/13.kmac_entropy_refresh.3690069129
/workspace/coverage/default/13.kmac_error.3902324614
/workspace/coverage/default/13.kmac_key_error.959685755
/workspace/coverage/default/13.kmac_lc_escalation.3959704037
/workspace/coverage/default/13.kmac_long_msg_and_output.3309233950
/workspace/coverage/default/13.kmac_sideload.582737962
/workspace/coverage/default/13.kmac_smoke.3536113434
/workspace/coverage/default/13.kmac_stress_all.1422268521
/workspace/coverage/default/13.kmac_stress_all_with_rand_reset.3535451322
/workspace/coverage/default/13.kmac_test_vectors_kmac.2951830038
/workspace/coverage/default/13.kmac_test_vectors_kmac_xof.189352378
/workspace/coverage/default/13.kmac_test_vectors_sha3_224.1860868700
/workspace/coverage/default/13.kmac_test_vectors_sha3_256.226657020
/workspace/coverage/default/13.kmac_test_vectors_sha3_384.3597422523
/workspace/coverage/default/13.kmac_test_vectors_sha3_512.383522628
/workspace/coverage/default/13.kmac_test_vectors_shake_128.1043011541
/workspace/coverage/default/13.kmac_test_vectors_shake_256.126010053
/workspace/coverage/default/14.kmac_alert_test.2809053585
/workspace/coverage/default/14.kmac_app.3310713124
/workspace/coverage/default/14.kmac_burst_write.31548098
/workspace/coverage/default/14.kmac_edn_timeout_error.869217308
/workspace/coverage/default/14.kmac_entropy_mode_error.2902836352
/workspace/coverage/default/14.kmac_entropy_refresh.476288388
/workspace/coverage/default/14.kmac_error.1702277907
/workspace/coverage/default/14.kmac_key_error.1154704351
/workspace/coverage/default/14.kmac_lc_escalation.2247082783
/workspace/coverage/default/14.kmac_long_msg_and_output.3790938906
/workspace/coverage/default/14.kmac_sideload.4033741422
/workspace/coverage/default/14.kmac_smoke.3549192253
/workspace/coverage/default/14.kmac_stress_all.1388673165
/workspace/coverage/default/14.kmac_stress_all_with_rand_reset.1067831611
/workspace/coverage/default/14.kmac_test_vectors_kmac.2253113804
/workspace/coverage/default/14.kmac_test_vectors_kmac_xof.4079655222
/workspace/coverage/default/14.kmac_test_vectors_sha3_224.3289352849
/workspace/coverage/default/14.kmac_test_vectors_sha3_256.1255031491
/workspace/coverage/default/14.kmac_test_vectors_sha3_384.1929948503
/workspace/coverage/default/14.kmac_test_vectors_sha3_512.2204939891
/workspace/coverage/default/14.kmac_test_vectors_shake_128.170973144
/workspace/coverage/default/14.kmac_test_vectors_shake_256.2800090170
/workspace/coverage/default/15.kmac_alert_test.3859450709
/workspace/coverage/default/15.kmac_app.4033525742
/workspace/coverage/default/15.kmac_burst_write.2633460488
/workspace/coverage/default/15.kmac_edn_timeout_error.2693747164
/workspace/coverage/default/15.kmac_entropy_mode_error.397073176
/workspace/coverage/default/15.kmac_entropy_refresh.257818991
/workspace/coverage/default/15.kmac_error.133880538
/workspace/coverage/default/15.kmac_key_error.4235065340
/workspace/coverage/default/15.kmac_sideload.4202792661
/workspace/coverage/default/15.kmac_stress_all.1140094138
/workspace/coverage/default/15.kmac_stress_all_with_rand_reset.373743142
/workspace/coverage/default/15.kmac_test_vectors_kmac.1172044918
/workspace/coverage/default/15.kmac_test_vectors_kmac_xof.2669865194
/workspace/coverage/default/15.kmac_test_vectors_sha3_224.992118712
/workspace/coverage/default/15.kmac_test_vectors_sha3_256.1258764302
/workspace/coverage/default/15.kmac_test_vectors_sha3_384.278011970
/workspace/coverage/default/15.kmac_test_vectors_sha3_512.3987898791
/workspace/coverage/default/15.kmac_test_vectors_shake_128.3249561315
/workspace/coverage/default/15.kmac_test_vectors_shake_256.1126906947
/workspace/coverage/default/16.kmac_alert_test.1411206776
/workspace/coverage/default/16.kmac_app.1191685051
/workspace/coverage/default/16.kmac_burst_write.1789169104
/workspace/coverage/default/16.kmac_edn_timeout_error.880059971
/workspace/coverage/default/16.kmac_entropy_mode_error.284194647
/workspace/coverage/default/16.kmac_entropy_refresh.737725505
/workspace/coverage/default/16.kmac_error.1138439051
/workspace/coverage/default/16.kmac_key_error.1901793739
/workspace/coverage/default/16.kmac_lc_escalation.2468916617
/workspace/coverage/default/16.kmac_long_msg_and_output.2243942296
/workspace/coverage/default/16.kmac_sideload.3605110435
/workspace/coverage/default/16.kmac_smoke.2098077788
/workspace/coverage/default/16.kmac_stress_all.2949116708
/workspace/coverage/default/16.kmac_test_vectors_kmac.3062533826
/workspace/coverage/default/16.kmac_test_vectors_kmac_xof.2138601365
/workspace/coverage/default/16.kmac_test_vectors_sha3_224.1418772745
/workspace/coverage/default/16.kmac_test_vectors_sha3_256.922687100
/workspace/coverage/default/16.kmac_test_vectors_sha3_384.17699408
/workspace/coverage/default/16.kmac_test_vectors_sha3_512.1442736410
/workspace/coverage/default/16.kmac_test_vectors_shake_128.1020576477
/workspace/coverage/default/16.kmac_test_vectors_shake_256.1703443017
/workspace/coverage/default/17.kmac_alert_test.18128116
/workspace/coverage/default/17.kmac_app.778716572
/workspace/coverage/default/17.kmac_burst_write.4226379187
/workspace/coverage/default/17.kmac_edn_timeout_error.183818820
/workspace/coverage/default/17.kmac_entropy_mode_error.2960680428
/workspace/coverage/default/17.kmac_entropy_refresh.4127131836
/workspace/coverage/default/17.kmac_error.2377491779
/workspace/coverage/default/17.kmac_key_error.120067832
/workspace/coverage/default/17.kmac_lc_escalation.4162774896
/workspace/coverage/default/17.kmac_long_msg_and_output.3658477709
/workspace/coverage/default/17.kmac_sideload.4031959977
/workspace/coverage/default/17.kmac_smoke.1881261174
/workspace/coverage/default/17.kmac_stress_all.237280006
/workspace/coverage/default/17.kmac_stress_all_with_rand_reset.1290305363
/workspace/coverage/default/17.kmac_test_vectors_kmac.3444408752
/workspace/coverage/default/17.kmac_test_vectors_kmac_xof.3323602718
/workspace/coverage/default/17.kmac_test_vectors_sha3_224.3179906617
/workspace/coverage/default/17.kmac_test_vectors_sha3_256.3053702358
/workspace/coverage/default/17.kmac_test_vectors_sha3_384.154148833
/workspace/coverage/default/17.kmac_test_vectors_sha3_512.1955279553
/workspace/coverage/default/17.kmac_test_vectors_shake_128.3062081415
/workspace/coverage/default/17.kmac_test_vectors_shake_256.2724327171
/workspace/coverage/default/18.kmac_alert_test.3934930996
/workspace/coverage/default/18.kmac_app.3291530041
/workspace/coverage/default/18.kmac_burst_write.1634161326
/workspace/coverage/default/18.kmac_edn_timeout_error.1468998069
/workspace/coverage/default/18.kmac_entropy_mode_error.2685639121
/workspace/coverage/default/18.kmac_entropy_refresh.3402916654
/workspace/coverage/default/18.kmac_error.2738227042
/workspace/coverage/default/18.kmac_key_error.936875457
/workspace/coverage/default/18.kmac_lc_escalation.3468645680
/workspace/coverage/default/18.kmac_long_msg_and_output.2456554830
/workspace/coverage/default/18.kmac_sideload.4068328228
/workspace/coverage/default/18.kmac_smoke.243594778
/workspace/coverage/default/18.kmac_stress_all.3617308085
/workspace/coverage/default/18.kmac_test_vectors_kmac.1391496566
/workspace/coverage/default/18.kmac_test_vectors_kmac_xof.1111394546
/workspace/coverage/default/18.kmac_test_vectors_sha3_224.177863029
/workspace/coverage/default/18.kmac_test_vectors_sha3_256.3289397027
/workspace/coverage/default/18.kmac_test_vectors_sha3_384.452627010
/workspace/coverage/default/18.kmac_test_vectors_sha3_512.1757475273
/workspace/coverage/default/18.kmac_test_vectors_shake_128.2377575043
/workspace/coverage/default/18.kmac_test_vectors_shake_256.1742088369
/workspace/coverage/default/19.kmac_alert_test.1772014923
/workspace/coverage/default/19.kmac_app.4201861246
/workspace/coverage/default/19.kmac_burst_write.810004854
/workspace/coverage/default/19.kmac_edn_timeout_error.3297457910
/workspace/coverage/default/19.kmac_entropy_mode_error.2506936727
/workspace/coverage/default/19.kmac_entropy_refresh.2080467662
/workspace/coverage/default/19.kmac_error.3581995110
/workspace/coverage/default/19.kmac_key_error.3867531924
/workspace/coverage/default/19.kmac_lc_escalation.4263041225
/workspace/coverage/default/19.kmac_long_msg_and_output.1745506042
/workspace/coverage/default/19.kmac_sideload.1873273720
/workspace/coverage/default/19.kmac_smoke.2503931330
/workspace/coverage/default/19.kmac_stress_all.4124604597
/workspace/coverage/default/19.kmac_test_vectors_kmac.1273796547
/workspace/coverage/default/19.kmac_test_vectors_kmac_xof.2934266220
/workspace/coverage/default/19.kmac_test_vectors_sha3_224.3386258949
/workspace/coverage/default/19.kmac_test_vectors_sha3_256.3308949861
/workspace/coverage/default/19.kmac_test_vectors_sha3_384.1947083773
/workspace/coverage/default/19.kmac_test_vectors_sha3_512.2627189390
/workspace/coverage/default/19.kmac_test_vectors_shake_128.1328470315
/workspace/coverage/default/2.kmac_alert_test.163720674
/workspace/coverage/default/2.kmac_app.464584218
/workspace/coverage/default/2.kmac_app_with_partial_data.4129636018
/workspace/coverage/default/2.kmac_burst_write.4254469351
/workspace/coverage/default/2.kmac_edn_timeout_error.1790682535
/workspace/coverage/default/2.kmac_entropy_mode_error.1601479623
/workspace/coverage/default/2.kmac_entropy_ready_error.2886704523
/workspace/coverage/default/2.kmac_entropy_refresh.3769768578
/workspace/coverage/default/2.kmac_error.695977062
/workspace/coverage/default/2.kmac_key_error.3189483777
/workspace/coverage/default/2.kmac_lc_escalation.3128428341
/workspace/coverage/default/2.kmac_long_msg_and_output.1902152769
/workspace/coverage/default/2.kmac_mubi.3006430903
/workspace/coverage/default/2.kmac_sec_cm.2948992401
/workspace/coverage/default/2.kmac_sideload.3110933321
/workspace/coverage/default/2.kmac_smoke.2474628410
/workspace/coverage/default/2.kmac_stress_all.1206686615
/workspace/coverage/default/2.kmac_test_vectors_kmac_xof.4291322565
/workspace/coverage/default/2.kmac_test_vectors_sha3_224.2518159468
/workspace/coverage/default/2.kmac_test_vectors_sha3_256.592042835
/workspace/coverage/default/2.kmac_test_vectors_sha3_384.3963451077
/workspace/coverage/default/2.kmac_test_vectors_shake_128.126068641
/workspace/coverage/default/2.kmac_test_vectors_shake_256.1365320710
/workspace/coverage/default/20.kmac_alert_test.1484805477
/workspace/coverage/default/20.kmac_app.401587293
/workspace/coverage/default/20.kmac_burst_write.1889319537
/workspace/coverage/default/20.kmac_entropy_refresh.3866770775
/workspace/coverage/default/20.kmac_error.465418059
/workspace/coverage/default/20.kmac_key_error.2494544879
/workspace/coverage/default/20.kmac_lc_escalation.600183868
/workspace/coverage/default/20.kmac_long_msg_and_output.864244478
/workspace/coverage/default/20.kmac_sideload.1230984687
/workspace/coverage/default/20.kmac_smoke.1410990114
/workspace/coverage/default/20.kmac_stress_all.3323833268
/workspace/coverage/default/20.kmac_test_vectors_kmac.3146916509
/workspace/coverage/default/20.kmac_test_vectors_kmac_xof.275866214
/workspace/coverage/default/20.kmac_test_vectors_sha3_224.2415430053
/workspace/coverage/default/20.kmac_test_vectors_sha3_256.818377344
/workspace/coverage/default/20.kmac_test_vectors_sha3_384.1402418453
/workspace/coverage/default/20.kmac_test_vectors_sha3_512.2465605555
/workspace/coverage/default/20.kmac_test_vectors_shake_128.521792220
/workspace/coverage/default/20.kmac_test_vectors_shake_256.2600094850
/workspace/coverage/default/21.kmac_alert_test.2479397573
/workspace/coverage/default/21.kmac_app.4274529049
/workspace/coverage/default/21.kmac_burst_write.3702044671
/workspace/coverage/default/21.kmac_entropy_refresh.1839543506
/workspace/coverage/default/21.kmac_error.403860949
/workspace/coverage/default/21.kmac_key_error.2681744899
/workspace/coverage/default/21.kmac_lc_escalation.3213048595
/workspace/coverage/default/21.kmac_long_msg_and_output.3365285055
/workspace/coverage/default/21.kmac_sideload.1673114522
/workspace/coverage/default/21.kmac_smoke.375877807
/workspace/coverage/default/21.kmac_stress_all_with_rand_reset.588103991
/workspace/coverage/default/21.kmac_test_vectors_kmac.2303550663
/workspace/coverage/default/21.kmac_test_vectors_kmac_xof.513975941
/workspace/coverage/default/21.kmac_test_vectors_sha3_224.677597696
/workspace/coverage/default/21.kmac_test_vectors_sha3_256.1788093062
/workspace/coverage/default/21.kmac_test_vectors_sha3_384.3297918692
/workspace/coverage/default/21.kmac_test_vectors_sha3_512.2055807107
/workspace/coverage/default/21.kmac_test_vectors_shake_128.1430712511
/workspace/coverage/default/21.kmac_test_vectors_shake_256.2692812599
/workspace/coverage/default/22.kmac_alert_test.4069900620
/workspace/coverage/default/22.kmac_app.576379825
/workspace/coverage/default/22.kmac_burst_write.3070667431
/workspace/coverage/default/22.kmac_entropy_refresh.3208782934
/workspace/coverage/default/22.kmac_error.593612226
/workspace/coverage/default/22.kmac_key_error.2678378271
/workspace/coverage/default/22.kmac_lc_escalation.3222407821
/workspace/coverage/default/22.kmac_long_msg_and_output.3950653747
/workspace/coverage/default/22.kmac_sideload.826599530
/workspace/coverage/default/22.kmac_smoke.4166633424
/workspace/coverage/default/22.kmac_stress_all.3186347256
/workspace/coverage/default/22.kmac_test_vectors_kmac.3431833581
/workspace/coverage/default/22.kmac_test_vectors_kmac_xof.2032420455
/workspace/coverage/default/22.kmac_test_vectors_sha3_224.3724056663
/workspace/coverage/default/22.kmac_test_vectors_sha3_256.2817303026
/workspace/coverage/default/22.kmac_test_vectors_sha3_384.2515839957
/workspace/coverage/default/22.kmac_test_vectors_sha3_512.346662210
/workspace/coverage/default/22.kmac_test_vectors_shake_128.864421738
/workspace/coverage/default/22.kmac_test_vectors_shake_256.71925924
/workspace/coverage/default/23.kmac_alert_test.2768117953
/workspace/coverage/default/23.kmac_app.717764987
/workspace/coverage/default/23.kmac_burst_write.1341432704
/workspace/coverage/default/23.kmac_entropy_refresh.2551695038
/workspace/coverage/default/23.kmac_key_error.1940435536
/workspace/coverage/default/23.kmac_lc_escalation.1285262540
/workspace/coverage/default/23.kmac_long_msg_and_output.1937819195
/workspace/coverage/default/23.kmac_sideload.3889444449
/workspace/coverage/default/23.kmac_smoke.3769046184
/workspace/coverage/default/23.kmac_stress_all.3147621545
/workspace/coverage/default/23.kmac_test_vectors_kmac.2340676634
/workspace/coverage/default/23.kmac_test_vectors_kmac_xof.2314353722
/workspace/coverage/default/23.kmac_test_vectors_sha3_224.1519045858
/workspace/coverage/default/23.kmac_test_vectors_sha3_256.3676684938
/workspace/coverage/default/23.kmac_test_vectors_sha3_384.2241922896
/workspace/coverage/default/23.kmac_test_vectors_sha3_512.1921980015
/workspace/coverage/default/23.kmac_test_vectors_shake_128.328230313
/workspace/coverage/default/23.kmac_test_vectors_shake_256.2806496295
/workspace/coverage/default/24.kmac_alert_test.4259151522
/workspace/coverage/default/24.kmac_app.2921583859
/workspace/coverage/default/24.kmac_burst_write.4256762980
/workspace/coverage/default/24.kmac_entropy_refresh.4006157780
/workspace/coverage/default/24.kmac_error.2725213190
/workspace/coverage/default/24.kmac_key_error.893611228
/workspace/coverage/default/24.kmac_lc_escalation.964974254
/workspace/coverage/default/24.kmac_long_msg_and_output.2675061685
/workspace/coverage/default/24.kmac_sideload.675120541
/workspace/coverage/default/24.kmac_smoke.3349114358
/workspace/coverage/default/24.kmac_test_vectors_kmac.3091376192
/workspace/coverage/default/24.kmac_test_vectors_kmac_xof.1320325787
/workspace/coverage/default/24.kmac_test_vectors_sha3_224.2770367791
/workspace/coverage/default/24.kmac_test_vectors_sha3_256.3586867802
/workspace/coverage/default/24.kmac_test_vectors_sha3_384.1085040177
/workspace/coverage/default/24.kmac_test_vectors_sha3_512.1390978308
/workspace/coverage/default/24.kmac_test_vectors_shake_128.70454081
/workspace/coverage/default/24.kmac_test_vectors_shake_256.2411373992
/workspace/coverage/default/25.kmac_alert_test.3141419423
/workspace/coverage/default/25.kmac_app.4251641768
/workspace/coverage/default/25.kmac_burst_write.3240117294
/workspace/coverage/default/25.kmac_entropy_refresh.3577607742
/workspace/coverage/default/25.kmac_key_error.1791555093
/workspace/coverage/default/25.kmac_long_msg_and_output.2942710092
/workspace/coverage/default/25.kmac_sideload.351890187
/workspace/coverage/default/25.kmac_smoke.3426818241
/workspace/coverage/default/25.kmac_stress_all.3942364634
/workspace/coverage/default/25.kmac_test_vectors_kmac.306577504
/workspace/coverage/default/25.kmac_test_vectors_kmac_xof.3756236584
/workspace/coverage/default/25.kmac_test_vectors_sha3_224.2865241387
/workspace/coverage/default/25.kmac_test_vectors_sha3_256.4171408472
/workspace/coverage/default/25.kmac_test_vectors_sha3_384.4280545666
/workspace/coverage/default/25.kmac_test_vectors_sha3_512.685475442
/workspace/coverage/default/25.kmac_test_vectors_shake_128.3412935286
/workspace/coverage/default/25.kmac_test_vectors_shake_256.1294081210
/workspace/coverage/default/26.kmac_alert_test.840480869
/workspace/coverage/default/26.kmac_app.3219784650
/workspace/coverage/default/26.kmac_burst_write.338436570
/workspace/coverage/default/26.kmac_entropy_refresh.1456019817
/workspace/coverage/default/26.kmac_error.4212955978
/workspace/coverage/default/26.kmac_key_error.2967065378
/workspace/coverage/default/26.kmac_lc_escalation.3914488606
/workspace/coverage/default/26.kmac_long_msg_and_output.3317524844
/workspace/coverage/default/26.kmac_sideload.324064096
/workspace/coverage/default/26.kmac_smoke.955010385
/workspace/coverage/default/26.kmac_stress_all.867264990
/workspace/coverage/default/26.kmac_test_vectors_kmac.1524806299
/workspace/coverage/default/26.kmac_test_vectors_kmac_xof.1035379509
/workspace/coverage/default/26.kmac_test_vectors_sha3_224.3631729187
/workspace/coverage/default/26.kmac_test_vectors_sha3_256.4058064337
/workspace/coverage/default/26.kmac_test_vectors_sha3_384.2353139082
/workspace/coverage/default/26.kmac_test_vectors_sha3_512.1291200739
/workspace/coverage/default/26.kmac_test_vectors_shake_128.4109924549
/workspace/coverage/default/26.kmac_test_vectors_shake_256.3822133116
/workspace/coverage/default/27.kmac_alert_test.4027082260
/workspace/coverage/default/27.kmac_app.3734970651
/workspace/coverage/default/27.kmac_burst_write.1647225482
/workspace/coverage/default/27.kmac_error.3555327176
/workspace/coverage/default/27.kmac_key_error.2646440030
/workspace/coverage/default/27.kmac_lc_escalation.2124841582
/workspace/coverage/default/27.kmac_long_msg_and_output.2427097139
/workspace/coverage/default/27.kmac_sideload.2785963947
/workspace/coverage/default/27.kmac_smoke.3096203247
/workspace/coverage/default/27.kmac_stress_all.3570314988
/workspace/coverage/default/27.kmac_test_vectors_kmac.3433251550
/workspace/coverage/default/27.kmac_test_vectors_kmac_xof.376659439
/workspace/coverage/default/27.kmac_test_vectors_sha3_224.1526949903
/workspace/coverage/default/27.kmac_test_vectors_sha3_256.2444046449
/workspace/coverage/default/27.kmac_test_vectors_sha3_384.1703684607
/workspace/coverage/default/27.kmac_test_vectors_sha3_512.2317965835
/workspace/coverage/default/27.kmac_test_vectors_shake_128.4212031459
/workspace/coverage/default/27.kmac_test_vectors_shake_256.3179030476
/workspace/coverage/default/28.kmac_alert_test.3378586
/workspace/coverage/default/28.kmac_app.3601471861
/workspace/coverage/default/28.kmac_burst_write.2923826325
/workspace/coverage/default/28.kmac_entropy_refresh.469821923
/workspace/coverage/default/28.kmac_error.3009447404
/workspace/coverage/default/28.kmac_key_error.768380017
/workspace/coverage/default/28.kmac_long_msg_and_output.3413027626
/workspace/coverage/default/28.kmac_sideload.3940262653
/workspace/coverage/default/28.kmac_smoke.542618612
/workspace/coverage/default/28.kmac_stress_all.4155754211
/workspace/coverage/default/28.kmac_test_vectors_kmac.619156702
/workspace/coverage/default/28.kmac_test_vectors_kmac_xof.996114041
/workspace/coverage/default/28.kmac_test_vectors_sha3_224.1032714073
/workspace/coverage/default/28.kmac_test_vectors_sha3_256.2886922423
/workspace/coverage/default/28.kmac_test_vectors_sha3_384.88994059
/workspace/coverage/default/28.kmac_test_vectors_sha3_512.1584280257
/workspace/coverage/default/28.kmac_test_vectors_shake_128.3761543952
/workspace/coverage/default/28.kmac_test_vectors_shake_256.783277788
/workspace/coverage/default/29.kmac_alert_test.2741030817
/workspace/coverage/default/29.kmac_app.3693787142
/workspace/coverage/default/29.kmac_burst_write.3627997536
/workspace/coverage/default/29.kmac_entropy_refresh.318889061
/workspace/coverage/default/29.kmac_error.4167630663
/workspace/coverage/default/29.kmac_key_error.3489867282
/workspace/coverage/default/29.kmac_lc_escalation.153980776
/workspace/coverage/default/29.kmac_long_msg_and_output.3074308568
/workspace/coverage/default/29.kmac_sideload.1667975753
/workspace/coverage/default/29.kmac_smoke.1000327008
/workspace/coverage/default/29.kmac_stress_all.345656023
/workspace/coverage/default/29.kmac_test_vectors_kmac.354936659
/workspace/coverage/default/29.kmac_test_vectors_kmac_xof.3952526729
/workspace/coverage/default/29.kmac_test_vectors_sha3_224.1452464328
/workspace/coverage/default/29.kmac_test_vectors_sha3_256.3356543495
/workspace/coverage/default/29.kmac_test_vectors_sha3_384.2358615682
/workspace/coverage/default/29.kmac_test_vectors_sha3_512.1437279393
/workspace/coverage/default/29.kmac_test_vectors_shake_128.3019669523
/workspace/coverage/default/29.kmac_test_vectors_shake_256.1401388290
/workspace/coverage/default/3.kmac_alert_test.1716068624
/workspace/coverage/default/3.kmac_app.1588821432
/workspace/coverage/default/3.kmac_app_with_partial_data.1358031623
/workspace/coverage/default/3.kmac_burst_write.1726498416
/workspace/coverage/default/3.kmac_edn_timeout_error.1681478192
/workspace/coverage/default/3.kmac_entropy_mode_error.490489411
/workspace/coverage/default/3.kmac_entropy_ready_error.4148217870
/workspace/coverage/default/3.kmac_entropy_refresh.224062728
/workspace/coverage/default/3.kmac_error.1734978397
/workspace/coverage/default/3.kmac_key_error.655366412
/workspace/coverage/default/3.kmac_lc_escalation.1833864856
/workspace/coverage/default/3.kmac_long_msg_and_output.3904320503
/workspace/coverage/default/3.kmac_mubi.400403606
/workspace/coverage/default/3.kmac_sec_cm.675720067
/workspace/coverage/default/3.kmac_sideload.563290959
/workspace/coverage/default/3.kmac_smoke.3540774118
/workspace/coverage/default/3.kmac_stress_all.2029668106
/workspace/coverage/default/3.kmac_test_vectors_kmac.3913934628
/workspace/coverage/default/3.kmac_test_vectors_kmac_xof.2700413227
/workspace/coverage/default/3.kmac_test_vectors_sha3_256.3470300306
/workspace/coverage/default/3.kmac_test_vectors_sha3_384.4154002849
/workspace/coverage/default/3.kmac_test_vectors_sha3_512.891510537
/workspace/coverage/default/3.kmac_test_vectors_shake_128.1503234954
/workspace/coverage/default/3.kmac_test_vectors_shake_256.2188610775
/workspace/coverage/default/30.kmac_alert_test.2039828818
/workspace/coverage/default/30.kmac_app.3799165364
/workspace/coverage/default/30.kmac_burst_write.1038263972
/workspace/coverage/default/30.kmac_entropy_refresh.3588569557
/workspace/coverage/default/30.kmac_error.1588063324
/workspace/coverage/default/30.kmac_key_error.3018237414
/workspace/coverage/default/30.kmac_lc_escalation.2985861954
/workspace/coverage/default/30.kmac_long_msg_and_output.3996827787
/workspace/coverage/default/30.kmac_sideload.1488046267
/workspace/coverage/default/30.kmac_smoke.1322564892
/workspace/coverage/default/30.kmac_stress_all.2015482863
/workspace/coverage/default/30.kmac_test_vectors_kmac.3392928777
/workspace/coverage/default/30.kmac_test_vectors_kmac_xof.2215837252
/workspace/coverage/default/30.kmac_test_vectors_sha3_224.3450298406
/workspace/coverage/default/30.kmac_test_vectors_sha3_256.903503229
/workspace/coverage/default/30.kmac_test_vectors_sha3_384.3259255404
/workspace/coverage/default/30.kmac_test_vectors_sha3_512.2453637623
/workspace/coverage/default/30.kmac_test_vectors_shake_128.68743892
/workspace/coverage/default/30.kmac_test_vectors_shake_256.2653063110
/workspace/coverage/default/31.kmac_alert_test.65721369
/workspace/coverage/default/31.kmac_app.1214928513
/workspace/coverage/default/31.kmac_burst_write.1110970792
/workspace/coverage/default/31.kmac_entropy_refresh.996083715
/workspace/coverage/default/31.kmac_error.2592322614
/workspace/coverage/default/31.kmac_key_error.2691302599
/workspace/coverage/default/31.kmac_lc_escalation.1053147658
/workspace/coverage/default/31.kmac_long_msg_and_output.4263743207
/workspace/coverage/default/31.kmac_sideload.2373659007
/workspace/coverage/default/31.kmac_smoke.2190551691
/workspace/coverage/default/31.kmac_stress_all.704924896
/workspace/coverage/default/31.kmac_test_vectors_kmac.1764443004
/workspace/coverage/default/31.kmac_test_vectors_kmac_xof.3141890090
/workspace/coverage/default/31.kmac_test_vectors_sha3_224.1259467756
/workspace/coverage/default/31.kmac_test_vectors_sha3_256.2228049320
/workspace/coverage/default/31.kmac_test_vectors_sha3_384.751920148
/workspace/coverage/default/31.kmac_test_vectors_sha3_512.1193104166
/workspace/coverage/default/31.kmac_test_vectors_shake_128.1895400884
/workspace/coverage/default/31.kmac_test_vectors_shake_256.1147478165
/workspace/coverage/default/32.kmac_alert_test.988459944
/workspace/coverage/default/32.kmac_app.1994001053
/workspace/coverage/default/32.kmac_burst_write.2069834270
/workspace/coverage/default/32.kmac_entropy_refresh.2537590237
/workspace/coverage/default/32.kmac_error.467236897
/workspace/coverage/default/32.kmac_key_error.1604722144
/workspace/coverage/default/32.kmac_lc_escalation.3341834058
/workspace/coverage/default/32.kmac_long_msg_and_output.4268227015
/workspace/coverage/default/32.kmac_sideload.4045218243
/workspace/coverage/default/32.kmac_smoke.717938429
/workspace/coverage/default/32.kmac_stress_all.1678208200
/workspace/coverage/default/32.kmac_test_vectors_kmac.416888842
/workspace/coverage/default/32.kmac_test_vectors_kmac_xof.878293557
/workspace/coverage/default/32.kmac_test_vectors_sha3_224.1299666228
/workspace/coverage/default/32.kmac_test_vectors_sha3_256.613531702
/workspace/coverage/default/32.kmac_test_vectors_sha3_384.2646903161
/workspace/coverage/default/32.kmac_test_vectors_sha3_512.3868688395
/workspace/coverage/default/32.kmac_test_vectors_shake_128.683814335
/workspace/coverage/default/32.kmac_test_vectors_shake_256.3224176068
/workspace/coverage/default/33.kmac_alert_test.2712053153
/workspace/coverage/default/33.kmac_app.4253873690
/workspace/coverage/default/33.kmac_burst_write.3126000536
/workspace/coverage/default/33.kmac_entropy_refresh.943687077
/workspace/coverage/default/33.kmac_error.3414624268
/workspace/coverage/default/33.kmac_key_error.2043252417
/workspace/coverage/default/33.kmac_long_msg_and_output.168934564
/workspace/coverage/default/33.kmac_sideload.397636830
/workspace/coverage/default/33.kmac_smoke.3330683601
/workspace/coverage/default/33.kmac_stress_all.181088047
/workspace/coverage/default/33.kmac_test_vectors_kmac.2272851644
/workspace/coverage/default/33.kmac_test_vectors_kmac_xof.3348587775
/workspace/coverage/default/33.kmac_test_vectors_sha3_224.153194541
/workspace/coverage/default/33.kmac_test_vectors_sha3_256.1333969715
/workspace/coverage/default/33.kmac_test_vectors_sha3_384.2421634751
/workspace/coverage/default/33.kmac_test_vectors_sha3_512.2224100593
/workspace/coverage/default/33.kmac_test_vectors_shake_128.2570909956
/workspace/coverage/default/33.kmac_test_vectors_shake_256.1706924702
/workspace/coverage/default/34.kmac_alert_test.271697714
/workspace/coverage/default/34.kmac_app.2674972537
/workspace/coverage/default/34.kmac_burst_write.4117629466
/workspace/coverage/default/34.kmac_entropy_refresh.392150766
/workspace/coverage/default/34.kmac_error.1865799803
/workspace/coverage/default/34.kmac_key_error.4256124718
/workspace/coverage/default/34.kmac_lc_escalation.23572665
/workspace/coverage/default/34.kmac_long_msg_and_output.4161101730
/workspace/coverage/default/34.kmac_sideload.2579934199
/workspace/coverage/default/34.kmac_smoke.558846024
/workspace/coverage/default/34.kmac_stress_all_with_rand_reset.247136746
/workspace/coverage/default/34.kmac_test_vectors_kmac.776880943
/workspace/coverage/default/34.kmac_test_vectors_kmac_xof.179710430
/workspace/coverage/default/34.kmac_test_vectors_sha3_224.1862322425
/workspace/coverage/default/34.kmac_test_vectors_sha3_256.2272843927
/workspace/coverage/default/34.kmac_test_vectors_sha3_384.3543927211
/workspace/coverage/default/34.kmac_test_vectors_sha3_512.3447583573
/workspace/coverage/default/34.kmac_test_vectors_shake_128.81272036
/workspace/coverage/default/34.kmac_test_vectors_shake_256.1143381762
/workspace/coverage/default/35.kmac_alert_test.2557533188
/workspace/coverage/default/35.kmac_app.198482433
/workspace/coverage/default/35.kmac_burst_write.3482817073
/workspace/coverage/default/35.kmac_entropy_refresh.3111073028
/workspace/coverage/default/35.kmac_error.3425381712
/workspace/coverage/default/35.kmac_key_error.2945317934
/workspace/coverage/default/35.kmac_lc_escalation.1589171901
/workspace/coverage/default/35.kmac_long_msg_and_output.2633646666
/workspace/coverage/default/35.kmac_sideload.1059102493
/workspace/coverage/default/35.kmac_smoke.3356164582
/workspace/coverage/default/35.kmac_stress_all.250570674
/workspace/coverage/default/35.kmac_test_vectors_kmac.4213668097
/workspace/coverage/default/35.kmac_test_vectors_kmac_xof.4218201602
/workspace/coverage/default/35.kmac_test_vectors_sha3_224.2058479490
/workspace/coverage/default/35.kmac_test_vectors_sha3_256.2279832899
/workspace/coverage/default/35.kmac_test_vectors_sha3_384.3253761561
/workspace/coverage/default/35.kmac_test_vectors_sha3_512.3524961947
/workspace/coverage/default/35.kmac_test_vectors_shake_128.346947798
/workspace/coverage/default/35.kmac_test_vectors_shake_256.1067414351
/workspace/coverage/default/36.kmac_alert_test.936287260
/workspace/coverage/default/36.kmac_app.1112072317
/workspace/coverage/default/36.kmac_burst_write.3893232085
/workspace/coverage/default/36.kmac_entropy_refresh.2820689525
/workspace/coverage/default/36.kmac_error.1684433721
/workspace/coverage/default/36.kmac_key_error.4184031914
/workspace/coverage/default/36.kmac_lc_escalation.2743823896
/workspace/coverage/default/36.kmac_long_msg_and_output.2519151306
/workspace/coverage/default/36.kmac_sideload.3674502641
/workspace/coverage/default/36.kmac_smoke.155162138
/workspace/coverage/default/36.kmac_stress_all.1477795312
/workspace/coverage/default/36.kmac_stress_all_with_rand_reset.1680493590
/workspace/coverage/default/36.kmac_test_vectors_kmac.922669481
/workspace/coverage/default/36.kmac_test_vectors_kmac_xof.3306940097
/workspace/coverage/default/36.kmac_test_vectors_sha3_224.520562020
/workspace/coverage/default/36.kmac_test_vectors_sha3_256.1805051789
/workspace/coverage/default/36.kmac_test_vectors_sha3_384.2213584017
/workspace/coverage/default/36.kmac_test_vectors_sha3_512.2262924307
/workspace/coverage/default/36.kmac_test_vectors_shake_128.2886639756
/workspace/coverage/default/36.kmac_test_vectors_shake_256.429562219
/workspace/coverage/default/37.kmac_alert_test.1169726739
/workspace/coverage/default/37.kmac_app.1834015832
/workspace/coverage/default/37.kmac_burst_write.4193581445
/workspace/coverage/default/37.kmac_error.1187242023
/workspace/coverage/default/37.kmac_key_error.3765089556
/workspace/coverage/default/37.kmac_lc_escalation.3390272315
/workspace/coverage/default/37.kmac_long_msg_and_output.3904195798
/workspace/coverage/default/37.kmac_sideload.3454808602
/workspace/coverage/default/37.kmac_smoke.2613008882
/workspace/coverage/default/37.kmac_stress_all.1987464223
/workspace/coverage/default/37.kmac_stress_all_with_rand_reset.16239808
/workspace/coverage/default/37.kmac_test_vectors_kmac.1038600491
/workspace/coverage/default/37.kmac_test_vectors_kmac_xof.3323217158
/workspace/coverage/default/37.kmac_test_vectors_sha3_224.1303351131
/workspace/coverage/default/37.kmac_test_vectors_sha3_256.683243469
/workspace/coverage/default/37.kmac_test_vectors_sha3_384.1964788693
/workspace/coverage/default/37.kmac_test_vectors_sha3_512.502681434
/workspace/coverage/default/37.kmac_test_vectors_shake_128.885251232
/workspace/coverage/default/37.kmac_test_vectors_shake_256.2558934610
/workspace/coverage/default/38.kmac_alert_test.1962918443
/workspace/coverage/default/38.kmac_app.3269657961
/workspace/coverage/default/38.kmac_burst_write.2785909028
/workspace/coverage/default/38.kmac_entropy_refresh.514505078
/workspace/coverage/default/38.kmac_error.1665466635
/workspace/coverage/default/38.kmac_key_error.2798815843
/workspace/coverage/default/38.kmac_lc_escalation.4006176248
/workspace/coverage/default/38.kmac_long_msg_and_output.2968746899
/workspace/coverage/default/38.kmac_sideload.2365550922
/workspace/coverage/default/38.kmac_smoke.611271931
/workspace/coverage/default/38.kmac_stress_all.3663865560
/workspace/coverage/default/38.kmac_stress_all_with_rand_reset.2599559106
/workspace/coverage/default/38.kmac_test_vectors_kmac.8025550
/workspace/coverage/default/38.kmac_test_vectors_kmac_xof.4002981501
/workspace/coverage/default/38.kmac_test_vectors_sha3_224.1327691245
/workspace/coverage/default/38.kmac_test_vectors_sha3_256.3638200099
/workspace/coverage/default/38.kmac_test_vectors_sha3_384.2297722820
/workspace/coverage/default/38.kmac_test_vectors_sha3_512.138449263
/workspace/coverage/default/38.kmac_test_vectors_shake_128.1113186085
/workspace/coverage/default/38.kmac_test_vectors_shake_256.3361139507
/workspace/coverage/default/39.kmac_alert_test.1342515240
/workspace/coverage/default/39.kmac_app.821130415
/workspace/coverage/default/39.kmac_burst_write.3029693801
/workspace/coverage/default/39.kmac_entropy_refresh.4173413687
/workspace/coverage/default/39.kmac_error.1073491216
/workspace/coverage/default/39.kmac_key_error.112948547
/workspace/coverage/default/39.kmac_long_msg_and_output.3139614241
/workspace/coverage/default/39.kmac_sideload.687087643
/workspace/coverage/default/39.kmac_smoke.4083500267
/workspace/coverage/default/39.kmac_stress_all.2540308944
/workspace/coverage/default/39.kmac_test_vectors_kmac.2385548213
/workspace/coverage/default/39.kmac_test_vectors_kmac_xof.3471826898
/workspace/coverage/default/39.kmac_test_vectors_sha3_224.2158778694
/workspace/coverage/default/39.kmac_test_vectors_sha3_256.781189431
/workspace/coverage/default/39.kmac_test_vectors_sha3_384.2787400120
/workspace/coverage/default/39.kmac_test_vectors_sha3_512.1966668297
/workspace/coverage/default/39.kmac_test_vectors_shake_128.3952855041
/workspace/coverage/default/39.kmac_test_vectors_shake_256.405477298
/workspace/coverage/default/4.kmac_alert_test.379372437
/workspace/coverage/default/4.kmac_app.3313001761
/workspace/coverage/default/4.kmac_app_with_partial_data.2153388162
/workspace/coverage/default/4.kmac_burst_write.2125176775
/workspace/coverage/default/4.kmac_edn_timeout_error.2837038686
/workspace/coverage/default/4.kmac_entropy_mode_error.3644051572
/workspace/coverage/default/4.kmac_entropy_ready_error.3543108993
/workspace/coverage/default/4.kmac_entropy_refresh.2766804166
/workspace/coverage/default/4.kmac_error.2745735293
/workspace/coverage/default/4.kmac_key_error.1951571571
/workspace/coverage/default/4.kmac_lc_escalation.1065719323
/workspace/coverage/default/4.kmac_long_msg_and_output.608909954
/workspace/coverage/default/4.kmac_mubi.211109809
/workspace/coverage/default/4.kmac_sideload.1356394328
/workspace/coverage/default/4.kmac_smoke.4175975724
/workspace/coverage/default/4.kmac_test_vectors_kmac.3809107055
/workspace/coverage/default/4.kmac_test_vectors_kmac_xof.105472938
/workspace/coverage/default/4.kmac_test_vectors_sha3_224.2415429243
/workspace/coverage/default/4.kmac_test_vectors_sha3_256.2487507581
/workspace/coverage/default/4.kmac_test_vectors_sha3_384.3552330930
/workspace/coverage/default/4.kmac_test_vectors_sha3_512.3005501912
/workspace/coverage/default/4.kmac_test_vectors_shake_128.4066394407
/workspace/coverage/default/4.kmac_test_vectors_shake_256.344795818
/workspace/coverage/default/40.kmac_alert_test.3725437551
/workspace/coverage/default/40.kmac_app.489118632
/workspace/coverage/default/40.kmac_burst_write.2381065279
/workspace/coverage/default/40.kmac_error.3831249141
/workspace/coverage/default/40.kmac_key_error.1733071203
/workspace/coverage/default/40.kmac_lc_escalation.1107724471
/workspace/coverage/default/40.kmac_long_msg_and_output.1905531248
/workspace/coverage/default/40.kmac_sideload.1037918366
/workspace/coverage/default/40.kmac_smoke.1774598566
/workspace/coverage/default/40.kmac_stress_all.2876894944
/workspace/coverage/default/40.kmac_stress_all_with_rand_reset.1679262197
/workspace/coverage/default/40.kmac_test_vectors_kmac.2557965072
/workspace/coverage/default/40.kmac_test_vectors_kmac_xof.3619759845
/workspace/coverage/default/40.kmac_test_vectors_sha3_224.2879473749
/workspace/coverage/default/40.kmac_test_vectors_sha3_256.3454627666
/workspace/coverage/default/40.kmac_test_vectors_sha3_384.2786342265
/workspace/coverage/default/40.kmac_test_vectors_sha3_512.2440766261
/workspace/coverage/default/40.kmac_test_vectors_shake_128.2857133807
/workspace/coverage/default/40.kmac_test_vectors_shake_256.2945998702
/workspace/coverage/default/41.kmac_alert_test.1244296678
/workspace/coverage/default/41.kmac_app.4196699031
/workspace/coverage/default/41.kmac_burst_write.2666426424
/workspace/coverage/default/41.kmac_entropy_refresh.1581233246
/workspace/coverage/default/41.kmac_error.3891680853
/workspace/coverage/default/41.kmac_key_error.2803237331
/workspace/coverage/default/41.kmac_lc_escalation.2654576865
/workspace/coverage/default/41.kmac_long_msg_and_output.1674063214
/workspace/coverage/default/41.kmac_sideload.2078453130
/workspace/coverage/default/41.kmac_smoke.3076593577
/workspace/coverage/default/41.kmac_stress_all.3306392513
/workspace/coverage/default/41.kmac_test_vectors_kmac.694691824
/workspace/coverage/default/41.kmac_test_vectors_kmac_xof.316749757
/workspace/coverage/default/41.kmac_test_vectors_sha3_224.2797957689
/workspace/coverage/default/41.kmac_test_vectors_sha3_256.3384353310
/workspace/coverage/default/41.kmac_test_vectors_sha3_384.3592484792
/workspace/coverage/default/41.kmac_test_vectors_sha3_512.1130048594
/workspace/coverage/default/41.kmac_test_vectors_shake_128.2957022029
/workspace/coverage/default/41.kmac_test_vectors_shake_256.2933071907
/workspace/coverage/default/42.kmac_alert_test.2348977819
/workspace/coverage/default/42.kmac_app.376651809
/workspace/coverage/default/42.kmac_burst_write.1283107586
/workspace/coverage/default/42.kmac_entropy_refresh.4162348387
/workspace/coverage/default/42.kmac_error.666224834
/workspace/coverage/default/42.kmac_key_error.4259386987
/workspace/coverage/default/42.kmac_lc_escalation.2548439550
/workspace/coverage/default/42.kmac_long_msg_and_output.627851105
/workspace/coverage/default/42.kmac_sideload.2037480897
/workspace/coverage/default/42.kmac_smoke.946222938
/workspace/coverage/default/42.kmac_stress_all_with_rand_reset.2861399746
/workspace/coverage/default/42.kmac_test_vectors_kmac.4260398383
/workspace/coverage/default/42.kmac_test_vectors_kmac_xof.313557596
/workspace/coverage/default/42.kmac_test_vectors_sha3_224.3759718664
/workspace/coverage/default/42.kmac_test_vectors_sha3_256.2184678448
/workspace/coverage/default/42.kmac_test_vectors_sha3_384.1012891763
/workspace/coverage/default/42.kmac_test_vectors_sha3_512.129932306
/workspace/coverage/default/42.kmac_test_vectors_shake_128.673783643
/workspace/coverage/default/42.kmac_test_vectors_shake_256.778773288
/workspace/coverage/default/43.kmac_alert_test.1815355468
/workspace/coverage/default/43.kmac_app.1843532315
/workspace/coverage/default/43.kmac_burst_write.2610591961
/workspace/coverage/default/43.kmac_entropy_refresh.2784002314
/workspace/coverage/default/43.kmac_error.2014090813
/workspace/coverage/default/43.kmac_key_error.862907780
/workspace/coverage/default/43.kmac_lc_escalation.784347798
/workspace/coverage/default/43.kmac_long_msg_and_output.460221419
/workspace/coverage/default/43.kmac_sideload.1742916210
/workspace/coverage/default/43.kmac_smoke.3570574707
/workspace/coverage/default/43.kmac_stress_all.2516623886
/workspace/coverage/default/43.kmac_stress_all_with_rand_reset.982301409
/workspace/coverage/default/43.kmac_test_vectors_kmac.1057304661
/workspace/coverage/default/43.kmac_test_vectors_kmac_xof.2996031520
/workspace/coverage/default/43.kmac_test_vectors_sha3_224.2843608934
/workspace/coverage/default/43.kmac_test_vectors_sha3_256.2449363014
/workspace/coverage/default/43.kmac_test_vectors_sha3_384.2211428865
/workspace/coverage/default/43.kmac_test_vectors_sha3_512.2761697565
/workspace/coverage/default/43.kmac_test_vectors_shake_128.2022216839
/workspace/coverage/default/43.kmac_test_vectors_shake_256.3856313840
/workspace/coverage/default/44.kmac_alert_test.1520418367
/workspace/coverage/default/44.kmac_app.1363910796
/workspace/coverage/default/44.kmac_burst_write.619962803
/workspace/coverage/default/44.kmac_error.1537909345
/workspace/coverage/default/44.kmac_key_error.2416017082
/workspace/coverage/default/44.kmac_lc_escalation.4166920262
/workspace/coverage/default/44.kmac_long_msg_and_output.2792902478
/workspace/coverage/default/44.kmac_sideload.2856132506
/workspace/coverage/default/44.kmac_smoke.3795040082
/workspace/coverage/default/44.kmac_stress_all.251682780
/workspace/coverage/default/44.kmac_test_vectors_kmac.2453142633
/workspace/coverage/default/44.kmac_test_vectors_kmac_xof.1522656190
/workspace/coverage/default/44.kmac_test_vectors_sha3_224.2102332272
/workspace/coverage/default/44.kmac_test_vectors_sha3_256.547462887
/workspace/coverage/default/44.kmac_test_vectors_sha3_384.1362807471
/workspace/coverage/default/44.kmac_test_vectors_sha3_512.1543886421
/workspace/coverage/default/44.kmac_test_vectors_shake_256.2479734571
/workspace/coverage/default/45.kmac_alert_test.4109536888
/workspace/coverage/default/45.kmac_app.4225957010
/workspace/coverage/default/45.kmac_burst_write.2116614286
/workspace/coverage/default/45.kmac_entropy_refresh.3237438657
/workspace/coverage/default/45.kmac_error.1926169216
/workspace/coverage/default/45.kmac_key_error.1853250406
/workspace/coverage/default/45.kmac_lc_escalation.2433379404
/workspace/coverage/default/45.kmac_long_msg_and_output.2102188918
/workspace/coverage/default/45.kmac_sideload.865945706
/workspace/coverage/default/45.kmac_smoke.443276304
/workspace/coverage/default/45.kmac_stress_all.3355546773
/workspace/coverage/default/45.kmac_test_vectors_kmac.2507965156
/workspace/coverage/default/45.kmac_test_vectors_kmac_xof.3544060333
/workspace/coverage/default/45.kmac_test_vectors_sha3_224.1624420562
/workspace/coverage/default/45.kmac_test_vectors_sha3_256.2920535603
/workspace/coverage/default/45.kmac_test_vectors_sha3_384.227645965
/workspace/coverage/default/45.kmac_test_vectors_sha3_512.2789803358
/workspace/coverage/default/45.kmac_test_vectors_shake_128.3603876010
/workspace/coverage/default/45.kmac_test_vectors_shake_256.1412255621
/workspace/coverage/default/46.kmac_alert_test.1995554112
/workspace/coverage/default/46.kmac_app.1362241969
/workspace/coverage/default/46.kmac_burst_write.1293033920
/workspace/coverage/default/46.kmac_entropy_refresh.2376864633
/workspace/coverage/default/46.kmac_error.2478481679
/workspace/coverage/default/46.kmac_key_error.1556907523
/workspace/coverage/default/46.kmac_lc_escalation.2021137202
/workspace/coverage/default/46.kmac_long_msg_and_output.296446264
/workspace/coverage/default/46.kmac_sideload.3508665772
/workspace/coverage/default/46.kmac_smoke.114159398
/workspace/coverage/default/46.kmac_stress_all_with_rand_reset.3061392211
/workspace/coverage/default/46.kmac_test_vectors_kmac.63933618
/workspace/coverage/default/46.kmac_test_vectors_kmac_xof.267175118
/workspace/coverage/default/46.kmac_test_vectors_sha3_224.4101613843
/workspace/coverage/default/46.kmac_test_vectors_sha3_256.1413935094
/workspace/coverage/default/46.kmac_test_vectors_sha3_384.3433342116
/workspace/coverage/default/46.kmac_test_vectors_sha3_512.746502001
/workspace/coverage/default/46.kmac_test_vectors_shake_128.2962421852
/workspace/coverage/default/46.kmac_test_vectors_shake_256.3646563495
/workspace/coverage/default/47.kmac_alert_test.3678122712
/workspace/coverage/default/47.kmac_app.2432831414
/workspace/coverage/default/47.kmac_burst_write.401890934
/workspace/coverage/default/47.kmac_entropy_refresh.1187400237
/workspace/coverage/default/47.kmac_error.2264962210
/workspace/coverage/default/47.kmac_key_error.2850614346
/workspace/coverage/default/47.kmac_lc_escalation.397189096
/workspace/coverage/default/47.kmac_long_msg_and_output.2577463409
/workspace/coverage/default/47.kmac_sideload.3286628354
/workspace/coverage/default/47.kmac_smoke.637892122
/workspace/coverage/default/47.kmac_stress_all.4171219119
/workspace/coverage/default/47.kmac_test_vectors_kmac.3883355476
/workspace/coverage/default/47.kmac_test_vectors_kmac_xof.2920819570
/workspace/coverage/default/47.kmac_test_vectors_sha3_224.770891285
/workspace/coverage/default/47.kmac_test_vectors_sha3_256.4043749531
/workspace/coverage/default/47.kmac_test_vectors_sha3_384.1225948002
/workspace/coverage/default/47.kmac_test_vectors_sha3_512.1271223794
/workspace/coverage/default/47.kmac_test_vectors_shake_128.2824840424
/workspace/coverage/default/47.kmac_test_vectors_shake_256.3147009883
/workspace/coverage/default/48.kmac_alert_test.1885549843
/workspace/coverage/default/48.kmac_app.440035812
/workspace/coverage/default/48.kmac_burst_write.3221561332
/workspace/coverage/default/48.kmac_entropy_refresh.2577726541
/workspace/coverage/default/48.kmac_error.1385937338
/workspace/coverage/default/48.kmac_key_error.1396037973
/workspace/coverage/default/48.kmac_lc_escalation.270568932
/workspace/coverage/default/48.kmac_long_msg_and_output.3403827320
/workspace/coverage/default/48.kmac_sideload.3647720707
/workspace/coverage/default/48.kmac_smoke.480310515
/workspace/coverage/default/48.kmac_stress_all.2439345219
/workspace/coverage/default/48.kmac_stress_all_with_rand_reset.431986450
/workspace/coverage/default/48.kmac_test_vectors_kmac.2385743619
/workspace/coverage/default/48.kmac_test_vectors_kmac_xof.2816883496
/workspace/coverage/default/48.kmac_test_vectors_sha3_224.1492626197
/workspace/coverage/default/48.kmac_test_vectors_sha3_256.3731956847
/workspace/coverage/default/48.kmac_test_vectors_sha3_384.2384147628
/workspace/coverage/default/48.kmac_test_vectors_sha3_512.3794315785
/workspace/coverage/default/48.kmac_test_vectors_shake_128.2848388662
/workspace/coverage/default/48.kmac_test_vectors_shake_256.384765661
/workspace/coverage/default/49.kmac_alert_test.3071284162
/workspace/coverage/default/49.kmac_app.4176634738
/workspace/coverage/default/49.kmac_burst_write.926449769
/workspace/coverage/default/49.kmac_entropy_refresh.712853007
/workspace/coverage/default/49.kmac_error.2431903588
/workspace/coverage/default/49.kmac_key_error.1542711083
/workspace/coverage/default/49.kmac_lc_escalation.45099857
/workspace/coverage/default/49.kmac_long_msg_and_output.1681134705
/workspace/coverage/default/49.kmac_sideload.2518379781
/workspace/coverage/default/49.kmac_smoke.817833849
/workspace/coverage/default/49.kmac_stress_all.3875369709
/workspace/coverage/default/49.kmac_stress_all_with_rand_reset.2952945500
/workspace/coverage/default/49.kmac_test_vectors_kmac.970840429
/workspace/coverage/default/49.kmac_test_vectors_kmac_xof.539872266
/workspace/coverage/default/49.kmac_test_vectors_sha3_224.2747325827
/workspace/coverage/default/49.kmac_test_vectors_sha3_256.3721588067
/workspace/coverage/default/49.kmac_test_vectors_sha3_384.3259133954
/workspace/coverage/default/49.kmac_test_vectors_sha3_512.1721180546
/workspace/coverage/default/49.kmac_test_vectors_shake_128.3094119460
/workspace/coverage/default/49.kmac_test_vectors_shake_256.2901046186
/workspace/coverage/default/5.kmac_alert_test.1701065899
/workspace/coverage/default/5.kmac_app.3926318654
/workspace/coverage/default/5.kmac_app_with_partial_data.43550072
/workspace/coverage/default/5.kmac_burst_write.728388923
/workspace/coverage/default/5.kmac_edn_timeout_error.2069181900
/workspace/coverage/default/5.kmac_entropy_mode_error.252484995
/workspace/coverage/default/5.kmac_entropy_ready_error.2791943974
/workspace/coverage/default/5.kmac_entropy_refresh.2508673187
/workspace/coverage/default/5.kmac_error.3336154135
/workspace/coverage/default/5.kmac_key_error.255090150
/workspace/coverage/default/5.kmac_lc_escalation.612817918
/workspace/coverage/default/5.kmac_long_msg_and_output.1263439445
/workspace/coverage/default/5.kmac_mubi.1914593982
/workspace/coverage/default/5.kmac_sideload.1414779063
/workspace/coverage/default/5.kmac_smoke.1602937558
/workspace/coverage/default/5.kmac_stress_all.3978031182
/workspace/coverage/default/5.kmac_stress_all_with_rand_reset.2926539984
/workspace/coverage/default/5.kmac_test_vectors_kmac.2201126015
/workspace/coverage/default/5.kmac_test_vectors_kmac_xof.2946801212
/workspace/coverage/default/5.kmac_test_vectors_sha3_224.2467333106
/workspace/coverage/default/5.kmac_test_vectors_sha3_256.3440932607
/workspace/coverage/default/5.kmac_test_vectors_sha3_384.1747671973
/workspace/coverage/default/5.kmac_test_vectors_sha3_512.1603829434
/workspace/coverage/default/5.kmac_test_vectors_shake_128.2672756037
/workspace/coverage/default/5.kmac_test_vectors_shake_256.3489256891
/workspace/coverage/default/6.kmac_alert_test.3358509479
/workspace/coverage/default/6.kmac_app.2213936849
/workspace/coverage/default/6.kmac_app_with_partial_data.3257033030
/workspace/coverage/default/6.kmac_burst_write.831789820
/workspace/coverage/default/6.kmac_edn_timeout_error.561556686
/workspace/coverage/default/6.kmac_entropy_mode_error.3691367097
/workspace/coverage/default/6.kmac_entropy_ready_error.1655069446
/workspace/coverage/default/6.kmac_entropy_refresh.3083354335
/workspace/coverage/default/6.kmac_error.1603283997
/workspace/coverage/default/6.kmac_key_error.805779944
/workspace/coverage/default/6.kmac_lc_escalation.310880865
/workspace/coverage/default/6.kmac_long_msg_and_output.2205642705
/workspace/coverage/default/6.kmac_mubi.169971379
/workspace/coverage/default/6.kmac_sideload.1655154732
/workspace/coverage/default/6.kmac_smoke.2402969370
/workspace/coverage/default/6.kmac_stress_all.1840133571
/workspace/coverage/default/6.kmac_test_vectors_kmac.233664473
/workspace/coverage/default/6.kmac_test_vectors_kmac_xof.1286068689
/workspace/coverage/default/6.kmac_test_vectors_sha3_224.2173156761
/workspace/coverage/default/6.kmac_test_vectors_sha3_256.1763627457
/workspace/coverage/default/6.kmac_test_vectors_sha3_384.1454274723
/workspace/coverage/default/6.kmac_test_vectors_sha3_512.1588774929
/workspace/coverage/default/6.kmac_test_vectors_shake_128.3933721676
/workspace/coverage/default/6.kmac_test_vectors_shake_256.1488170984
/workspace/coverage/default/7.kmac_alert_test.1800376
/workspace/coverage/default/7.kmac_app.1481454682
/workspace/coverage/default/7.kmac_app_with_partial_data.2770476046
/workspace/coverage/default/7.kmac_burst_write.3573948494
/workspace/coverage/default/7.kmac_edn_timeout_error.3699347418
/workspace/coverage/default/7.kmac_entropy_mode_error.2187147685
/workspace/coverage/default/7.kmac_entropy_refresh.1093719071
/workspace/coverage/default/7.kmac_error.2650678200
/workspace/coverage/default/7.kmac_key_error.3338447348
/workspace/coverage/default/7.kmac_lc_escalation.3505745557
/workspace/coverage/default/7.kmac_long_msg_and_output.57082579
/workspace/coverage/default/7.kmac_mubi.580624156
/workspace/coverage/default/7.kmac_sideload.2888203245
/workspace/coverage/default/7.kmac_smoke.543251285
/workspace/coverage/default/7.kmac_stress_all.753376753
/workspace/coverage/default/7.kmac_test_vectors_kmac.3207231606
/workspace/coverage/default/7.kmac_test_vectors_kmac_xof.3746687714
/workspace/coverage/default/7.kmac_test_vectors_sha3_224.2319216650
/workspace/coverage/default/7.kmac_test_vectors_sha3_256.4220182272
/workspace/coverage/default/7.kmac_test_vectors_sha3_384.3040058784
/workspace/coverage/default/7.kmac_test_vectors_sha3_512.550201531
/workspace/coverage/default/7.kmac_test_vectors_shake_128.2349140384
/workspace/coverage/default/7.kmac_test_vectors_shake_256.2316363880
/workspace/coverage/default/8.kmac_app.594003448
/workspace/coverage/default/8.kmac_app_with_partial_data.2327751665
/workspace/coverage/default/8.kmac_burst_write.166102975
/workspace/coverage/default/8.kmac_edn_timeout_error.1093664737
/workspace/coverage/default/8.kmac_entropy_mode_error.2505983137
/workspace/coverage/default/8.kmac_entropy_ready_error.1402602917
/workspace/coverage/default/8.kmac_entropy_refresh.422042673
/workspace/coverage/default/8.kmac_error.2713017573
/workspace/coverage/default/8.kmac_key_error.692514062
/workspace/coverage/default/8.kmac_lc_escalation.3972643922
/workspace/coverage/default/8.kmac_long_msg_and_output.4273469943
/workspace/coverage/default/8.kmac_mubi.3220369354
/workspace/coverage/default/8.kmac_sideload.1850754522
/workspace/coverage/default/8.kmac_smoke.2597725476
/workspace/coverage/default/8.kmac_stress_all.2284620608
/workspace/coverage/default/8.kmac_test_vectors_kmac.2536785698
/workspace/coverage/default/8.kmac_test_vectors_kmac_xof.486858807
/workspace/coverage/default/8.kmac_test_vectors_sha3_224.147873791
/workspace/coverage/default/8.kmac_test_vectors_sha3_256.2515018067
/workspace/coverage/default/8.kmac_test_vectors_sha3_384.1701218862
/workspace/coverage/default/8.kmac_test_vectors_sha3_512.390209380
/workspace/coverage/default/8.kmac_test_vectors_shake_128.587974518
/workspace/coverage/default/8.kmac_test_vectors_shake_256.2969546047
/workspace/coverage/default/9.kmac_alert_test.1233629296
/workspace/coverage/default/9.kmac_app.3164540437
/workspace/coverage/default/9.kmac_app_with_partial_data.1807288218
/workspace/coverage/default/9.kmac_burst_write.1038715490
/workspace/coverage/default/9.kmac_edn_timeout_error.4049730994
/workspace/coverage/default/9.kmac_entropy_mode_error.4287689852
/workspace/coverage/default/9.kmac_entropy_ready_error.74641929
/workspace/coverage/default/9.kmac_entropy_refresh.2957260573
/workspace/coverage/default/9.kmac_key_error.3677554957
/workspace/coverage/default/9.kmac_lc_escalation.1821103616
/workspace/coverage/default/9.kmac_long_msg_and_output.2056173633
/workspace/coverage/default/9.kmac_mubi.2373064417
/workspace/coverage/default/9.kmac_sideload.2180097835
/workspace/coverage/default/9.kmac_smoke.1031820511
/workspace/coverage/default/9.kmac_stress_all.1192428291
/workspace/coverage/default/9.kmac_test_vectors_kmac.1333120713
/workspace/coverage/default/9.kmac_test_vectors_kmac_xof.1151318403
/workspace/coverage/default/9.kmac_test_vectors_sha3_224.3992602272
/workspace/coverage/default/9.kmac_test_vectors_sha3_256.3777463086
/workspace/coverage/default/9.kmac_test_vectors_sha3_384.3592547508
/workspace/coverage/default/9.kmac_test_vectors_sha3_512.1083642888
/workspace/coverage/default/9.kmac_test_vectors_shake_128.1779253926
/workspace/coverage/default/9.kmac_test_vectors_shake_256.3845904283



Total test records in report: 1240
tests.html | tests1.html | tests2.html | tests3.html | tests4.html | tests5.html | tests6.html | tests7.html | tests8.html | tests9.html | tests10.html | tests11.html | tests12.html | tests13.html | tests14.html | tests15.html | tests16.html | tests17.html | tests18.html | tests19.html | tests20.html | tests21.html | tests22.html | tests23.html | tests24.html | tests25.html
TEST NOTEST LOCATIONTEST NAMESTATUSSTARTEDFINISHEDSIMULATION TIME
T1 /workspace/coverage/default/8.kmac_app_with_partial_data.2327751665 May 07 01:29:50 PM PDT 24 May 07 01:34:54 PM PDT 24 63449430560 ps
T2 /workspace/coverage/default/11.kmac_test_vectors_kmac_xof.1655206455 May 07 01:30:05 PM PDT 24 May 07 01:30:11 PM PDT 24 252825759 ps
T3 /workspace/coverage/default/26.kmac_test_vectors_kmac.1524806299 May 07 01:33:49 PM PDT 24 May 07 01:33:55 PM PDT 24 258482814 ps
T29 /workspace/coverage/default/18.kmac_burst_write.1634161326 May 07 01:31:12 PM PDT 24 May 07 01:34:51 PM PDT 24 2292138608 ps
T30 /workspace/coverage/default/34.kmac_test_vectors_sha3_512.3447583573 May 07 01:36:39 PM PDT 24 May 07 01:58:36 PM PDT 24 103135112653 ps
T7 /workspace/coverage/default/49.kmac_entropy_refresh.712853007 May 07 01:46:16 PM PDT 24 May 07 01:47:10 PM PDT 24 1981264623 ps
T31 /workspace/coverage/default/46.kmac_burst_write.1293033920 May 07 01:43:16 PM PDT 24 May 07 01:55:26 PM PDT 24 14818200812 ps
T8 /workspace/coverage/default/34.kmac_stress_all.1683754240 May 07 01:36:55 PM PDT 24 May 07 01:54:29 PM PDT 24 38776697219 ps
T32 /workspace/coverage/default/8.kmac_alert_test.17102350 May 07 01:29:52 PM PDT 24 May 07 01:29:54 PM PDT 24 21590413 ps
T33 /workspace/coverage/default/9.kmac_test_vectors_kmac_xof.1151318403 May 07 01:29:58 PM PDT 24 May 07 01:30:05 PM PDT 24 453870780 ps
T47 /workspace/coverage/default/24.kmac_test_vectors_sha3_512.1390978308 May 07 01:33:02 PM PDT 24 May 07 01:51:40 PM PDT 24 42269786414 ps
T78 /workspace/coverage/default/24.kmac_test_vectors_sha3_384.1085040177 May 07 01:32:59 PM PDT 24 May 07 01:59:23 PM PDT 24 48337061750 ps
T28 /workspace/coverage/default/40.kmac_entropy_refresh.2426216850 May 07 01:39:41 PM PDT 24 May 07 01:41:53 PM PDT 24 27005170132 ps
T34 /workspace/coverage/default/34.kmac_app.2674972537 May 07 01:36:38 PM PDT 24 May 07 01:39:14 PM PDT 24 11082302493 ps
T79 /workspace/coverage/default/21.kmac_test_vectors_kmac_xof.513975941 May 07 01:32:04 PM PDT 24 May 07 01:32:11 PM PDT 24 933174897 ps
T36 /workspace/coverage/default/13.kmac_edn_timeout_error.14734495 May 07 01:30:25 PM PDT 24 May 07 01:30:28 PM PDT 24 106035417 ps
T4 /workspace/coverage/default/12.kmac_key_error.1775130293 May 07 01:30:18 PM PDT 24 May 07 01:30:28 PM PDT 24 4956447927 ps
T17 /workspace/coverage/default/48.kmac_error.1385937338 May 07 01:45:07 PM PDT 24 May 07 01:46:49 PM PDT 24 5825403152 ps
T37 /workspace/coverage/default/37.kmac_test_vectors_sha3_256.683243469 May 07 01:38:01 PM PDT 24 May 07 02:14:27 PM PDT 24 91854713965 ps
T38 /workspace/coverage/default/19.kmac_test_vectors_shake_256.3697543076 May 07 01:31:23 PM PDT 24 May 07 02:46:56 PM PDT 24 158610256507 ps
T54 /workspace/coverage/default/9.kmac_long_msg_and_output.2056173633 May 07 01:29:50 PM PDT 24 May 07 02:07:15 PM PDT 24 136365987408 ps
T96 /workspace/coverage/default/43.kmac_burst_write.2610591961 May 07 01:41:28 PM PDT 24 May 07 01:43:30 PM PDT 24 5277683809 ps
T97 /workspace/coverage/default/44.kmac_alert_test.1520418367 May 07 01:42:46 PM PDT 24 May 07 01:42:47 PM PDT 24 54575175 ps
T98 /workspace/coverage/default/44.kmac_test_vectors_sha3_384.1362807471 May 07 01:42:29 PM PDT 24 May 07 02:10:43 PM PDT 24 202776351570 ps
T99 /workspace/coverage/default/1.kmac_edn_timeout_error.470791518 May 07 01:29:20 PM PDT 24 May 07 01:29:53 PM PDT 24 1386204582 ps
T35 /workspace/coverage/default/48.kmac_stress_all.2439345219 May 07 01:45:20 PM PDT 24 May 07 01:54:41 PM PDT 24 21511239455 ps
T186 /workspace/coverage/default/3.kmac_sideload.563290959 May 07 01:29:29 PM PDT 24 May 07 01:31:22 PM PDT 24 3864323513 ps
T15 /workspace/coverage/default/9.kmac_stress_all.1192428291 May 07 01:30:00 PM PDT 24 May 07 01:48:56 PM PDT 24 53729693192 ps
T16 /workspace/coverage/default/35.kmac_stress_all_with_rand_reset.735407183 May 07 01:37:25 PM PDT 24 May 07 01:47:53 PM PDT 24 34605979697 ps
T12 /workspace/coverage/default/42.kmac_lc_escalation.2548439550 May 07 01:41:22 PM PDT 24 May 07 01:41:24 PM PDT 24 162980430 ps
T130 /workspace/coverage/default/15.kmac_test_vectors_sha3_224.992118712 May 07 01:30:42 PM PDT 24 May 07 02:07:42 PM PDT 24 397659333870 ps
T18 /workspace/coverage/default/9.kmac_error.2782968367 May 07 01:29:57 PM PDT 24 May 07 01:37:08 PM PDT 24 14468125479 ps
T93 /workspace/coverage/default/42.kmac_entropy_refresh.4162348387 May 07 01:41:13 PM PDT 24 May 07 01:43:43 PM PDT 24 9836446031 ps
T131 /workspace/coverage/default/46.kmac_app.1362241969 May 07 01:43:32 PM PDT 24 May 07 01:43:36 PM PDT 24 435655306 ps
T94 /workspace/coverage/default/7.kmac_burst_write.3573948494 May 07 01:29:43 PM PDT 24 May 07 01:46:58 PM PDT 24 21244837369 ps
T20 /workspace/coverage/default/27.kmac_stress_all_with_rand_reset.598465955 May 07 01:34:17 PM PDT 24 May 07 02:30:30 PM PDT 24 108231766749 ps
T13 /workspace/coverage/default/29.kmac_lc_escalation.153980776 May 07 01:34:49 PM PDT 24 May 07 01:34:51 PM PDT 24 56280570 ps
T132 /workspace/coverage/default/37.kmac_app.1834015832 May 07 01:38:04 PM PDT 24 May 07 01:42:06 PM PDT 24 145411533551 ps
T52 /workspace/coverage/default/46.kmac_stress_all.628906995 May 07 01:43:48 PM PDT 24 May 07 01:50:36 PM PDT 24 22433644287 ps
T187 /workspace/coverage/default/18.kmac_test_vectors_kmac.1391496566 May 07 01:31:23 PM PDT 24 May 07 01:31:29 PM PDT 24 196818098 ps
T188 /workspace/coverage/default/45.kmac_test_vectors_sha3_256.2920535603 May 07 01:42:50 PM PDT 24 May 07 02:09:51 PM PDT 24 40717990888 ps
T189 /workspace/coverage/default/22.kmac_test_vectors_sha3_384.2515839957 May 07 01:32:19 PM PDT 24 May 07 01:56:05 PM PDT 24 121286048892 ps
T190 /workspace/coverage/default/16.kmac_test_vectors_kmac.3062533826 May 07 01:30:53 PM PDT 24 May 07 01:31:00 PM PDT 24 762365121 ps
T191 /workspace/coverage/default/12.kmac_test_vectors_kmac_xof.284541538 May 07 01:30:10 PM PDT 24 May 07 01:30:17 PM PDT 24 240047712 ps
T100 /workspace/coverage/default/34.kmac_alert_test.271697714 May 07 01:36:59 PM PDT 24 May 07 01:37:00 PM PDT 24 50700079 ps
T181 /workspace/coverage/default/0.kmac_test_vectors_shake_128.2858407283 May 07 01:29:17 PM PDT 24 May 07 03:05:44 PM PDT 24 283193574378 ps
T185 /workspace/coverage/default/7.kmac_smoke.543251285 May 07 01:29:45 PM PDT 24 May 07 01:31:13 PM PDT 24 11692196331 ps
T192 /workspace/coverage/default/26.kmac_test_vectors_sha3_512.1291200739 May 07 01:33:42 PM PDT 24 May 07 01:50:47 PM PDT 24 10709985421 ps
T48 /workspace/coverage/default/34.kmac_entropy_refresh.392150766 May 07 01:36:47 PM PDT 24 May 07 01:40:28 PM PDT 24 44775840760 ps
T193 /workspace/coverage/default/18.kmac_test_vectors_sha3_512.1757475273 May 07 01:31:23 PM PDT 24 May 07 01:51:30 PM PDT 24 32335179168 ps
T194 /workspace/coverage/default/37.kmac_test_vectors_sha3_512.502681434 May 07 01:37:59 PM PDT 24 May 07 01:53:46 PM PDT 24 10703722228 ps
T133 /workspace/coverage/default/17.kmac_entropy_refresh.4127131836 May 07 01:31:10 PM PDT 24 May 07 01:33:06 PM PDT 24 70394961756 ps
T195 /workspace/coverage/default/44.kmac_test_vectors_sha3_256.547462887 May 07 01:42:28 PM PDT 24 May 07 02:12:29 PM PDT 24 75638390472 ps
T182 /workspace/coverage/default/48.kmac_sideload.3647720707 May 07 01:44:27 PM PDT 24 May 07 01:50:56 PM PDT 24 49835280402 ps
T196 /workspace/coverage/default/43.kmac_error.2014090813 May 07 01:41:56 PM PDT 24 May 07 01:42:00 PM PDT 24 96767692 ps
T197 /workspace/coverage/default/0.kmac_test_vectors_sha3_384.2925121371 May 07 01:29:12 PM PDT 24 May 07 02:00:07 PM PDT 24 71139954893 ps
T198 /workspace/coverage/default/45.kmac_test_vectors_sha3_384.227645965 May 07 01:42:58 PM PDT 24 May 07 02:06:22 PM PDT 24 15566465794 ps
T68 /workspace/coverage/default/3.kmac_error.1734978397 May 07 01:29:30 PM PDT 24 May 07 01:32:21 PM PDT 24 6285092491 ps
T199 /workspace/coverage/default/46.kmac_test_vectors_sha3_384.3433342116 May 07 01:43:17 PM PDT 24 May 07 02:08:27 PM PDT 24 50603686886 ps
T200 /workspace/coverage/default/29.kmac_sideload.1667975753 May 07 01:34:37 PM PDT 24 May 07 01:36:32 PM PDT 24 4147730066 ps
T183 /workspace/coverage/default/4.kmac_test_vectors_shake_256.344795818 May 07 01:29:41 PM PDT 24 May 07 02:42:07 PM PDT 24 189021758936 ps
T19 /workspace/coverage/default/33.kmac_error.3414624268 May 07 01:36:26 PM PDT 24 May 07 01:39:22 PM PDT 24 7870518967 ps
T201 /workspace/coverage/default/16.kmac_sideload.3605110435 May 07 01:30:46 PM PDT 24 May 07 01:34:16 PM PDT 24 11294526521 ps
T202 /workspace/coverage/default/14.kmac_sideload.4033741422 May 07 01:30:29 PM PDT 24 May 07 01:38:05 PM PDT 24 71733955417 ps
T203 /workspace/coverage/default/12.kmac_app.3183576953 May 07 01:30:13 PM PDT 24 May 07 01:31:59 PM PDT 24 5451242489 ps
T204 /workspace/coverage/default/38.kmac_error.1665466635 May 07 01:38:32 PM PDT 24 May 07 01:42:06 PM PDT 24 39447351416 ps
T184 /workspace/coverage/default/20.kmac_test_vectors_shake_256.2600094850 May 07 01:31:44 PM PDT 24 May 07 02:41:51 PM PDT 24 105940996009 ps
T205 /workspace/coverage/default/27.kmac_test_vectors_kmac.3433251550 May 07 01:34:00 PM PDT 24 May 07 01:34:07 PM PDT 24 320633536 ps
T206 /workspace/coverage/default/37.kmac_sideload.3454808602 May 07 01:37:53 PM PDT 24 May 07 01:43:46 PM PDT 24 60263487439 ps
T65 /workspace/coverage/default/43.kmac_stress_all_with_rand_reset.982301409 May 07 01:41:56 PM PDT 24 May 07 02:00:10 PM PDT 24 53037760920 ps
T137 /workspace/coverage/default/8.kmac_stress_all.2284620608 May 07 01:29:51 PM PDT 24 May 07 01:34:08 PM PDT 24 41261785701 ps
T49 /workspace/coverage/default/12.kmac_stress_all.4052475179 May 07 01:30:18 PM PDT 24 May 07 01:55:31 PM PDT 24 115266811649 ps
T207 /workspace/coverage/default/16.kmac_test_vectors_sha3_512.1442736410 May 07 01:30:53 PM PDT 24 May 07 01:53:45 PM PDT 24 368008067524 ps
T208 /workspace/coverage/default/5.kmac_app.3926318654 May 07 01:29:38 PM PDT 24 May 07 01:34:31 PM PDT 24 13690868288 ps
T209 /workspace/coverage/default/18.kmac_test_vectors_sha3_224.177863029 May 07 01:31:10 PM PDT 24 May 07 02:01:24 PM PDT 24 88264797609 ps
T210 /workspace/coverage/default/49.kmac_test_vectors_shake_128.3094119460 May 07 01:46:08 PM PDT 24 May 07 03:12:16 PM PDT 24 99146927907 ps
T74 /workspace/coverage/default/7.kmac_stress_all.753376753 May 07 01:29:53 PM PDT 24 May 07 01:37:50 PM PDT 24 56107052229 ps
T138 /workspace/coverage/default/12.kmac_burst_write.1715292998 May 07 01:30:11 PM PDT 24 May 07 01:38:51 PM PDT 24 6072380510 ps
T211 /workspace/coverage/default/16.kmac_alert_test.1411206776 May 07 01:30:53 PM PDT 24 May 07 01:30:55 PM PDT 24 15560254 ps
T212 /workspace/coverage/default/24.kmac_test_vectors_sha3_224.2770367791 May 07 01:32:58 PM PDT 24 May 07 02:04:00 PM PDT 24 22844241770 ps
T14 /workspace/coverage/default/4.kmac_sec_cm.3132355758 May 07 01:29:37 PM PDT 24 May 07 01:31:12 PM PDT 24 6850793414 ps
T108 /workspace/coverage/default/22.kmac_long_msg_and_output.3950653747 May 07 01:32:13 PM PDT 24 May 07 01:38:49 PM PDT 24 7425376255 ps
T109 /workspace/coverage/default/8.kmac_smoke.2597725476 May 07 01:29:52 PM PDT 24 May 07 01:30:51 PM PDT 24 3098036145 ps
T110 /workspace/coverage/default/26.kmac_test_vectors_shake_128.4109924549 May 07 01:33:42 PM PDT 24 May 07 03:23:31 PM PDT 24 2159037866701 ps
T111 /workspace/coverage/default/43.kmac_smoke.3570574707 May 07 01:41:20 PM PDT 24 May 07 01:42:33 PM PDT 24 3594129611 ps
T112 /workspace/coverage/default/29.kmac_test_vectors_sha3_384.2358615682 May 07 01:34:43 PM PDT 24 May 07 02:05:55 PM PDT 24 70742401331 ps
T113 /workspace/coverage/default/48.kmac_test_vectors_kmac_xof.2816883496 May 07 01:44:51 PM PDT 24 May 07 01:44:57 PM PDT 24 411919698 ps
T114 /workspace/coverage/default/20.kmac_entropy_refresh.3866770775 May 07 01:31:43 PM PDT 24 May 07 01:37:28 PM PDT 24 54454543132 ps
T75 /workspace/coverage/default/8.kmac_mubi.3220369354 May 07 01:29:49 PM PDT 24 May 07 01:32:06 PM PDT 24 5135943693 ps
T115 /workspace/coverage/default/4.kmac_test_vectors_sha3_512.3005501912 May 07 01:29:37 PM PDT 24 May 07 01:47:38 PM PDT 24 10423100249 ps
T213 /workspace/coverage/default/34.kmac_long_msg_and_output.4161101730 May 07 01:36:33 PM PDT 24 May 07 02:22:25 PM PDT 24 317809992561 ps
T214 /workspace/coverage/default/33.kmac_alert_test.2712053153 May 07 01:36:36 PM PDT 24 May 07 01:36:37 PM PDT 24 42324654 ps
T22 /workspace/coverage/default/19.kmac_lc_escalation.4263041225 May 07 01:31:32 PM PDT 24 May 07 01:31:34 PM PDT 24 82457169 ps
T215 /workspace/coverage/default/22.kmac_smoke.4166633424 May 07 01:32:11 PM PDT 24 May 07 01:33:39 PM PDT 24 10309837698 ps
T5 /workspace/coverage/default/40.kmac_key_error.1733071203 May 07 01:39:43 PM PDT 24 May 07 01:39:50 PM PDT 24 2912612568 ps
T216 /workspace/coverage/default/35.kmac_alert_test.2557533188 May 07 01:37:25 PM PDT 24 May 07 01:37:27 PM PDT 24 45726608 ps
T217 /workspace/coverage/default/25.kmac_test_vectors_kmac_xof.3756236584 May 07 01:33:26 PM PDT 24 May 07 01:33:33 PM PDT 24 958206129 ps
T218 /workspace/coverage/default/10.kmac_test_vectors_shake_256.3226515814 May 07 01:29:57 PM PDT 24 May 07 02:36:27 PM PDT 24 66255382973 ps
T219 /workspace/coverage/default/30.kmac_entropy_refresh.3588569557 May 07 01:35:09 PM PDT 24 May 07 01:37:09 PM PDT 24 20268113028 ps
T53 /workspace/coverage/default/5.kmac_entropy_refresh.2508673187 May 07 01:29:36 PM PDT 24 May 07 01:33:02 PM PDT 24 7407397213 ps
T220 /workspace/coverage/default/16.kmac_test_vectors_sha3_256.922687100 May 07 01:30:47 PM PDT 24 May 07 02:06:19 PM PDT 24 684342005075 ps
T221 /workspace/coverage/default/45.kmac_burst_write.2116614286 May 07 01:42:45 PM PDT 24 May 07 01:52:21 PM PDT 24 10330231005 ps
T222 /workspace/coverage/default/24.kmac_smoke.3349114358 May 07 01:32:45 PM PDT 24 May 07 01:32:59 PM PDT 24 2699675706 ps
T223 /workspace/coverage/default/32.kmac_test_vectors_sha3_256.613531702 May 07 01:35:52 PM PDT 24 May 07 02:04:34 PM PDT 24 41247030815 ps
T224 /workspace/coverage/default/16.kmac_test_vectors_shake_128.1020576477 May 07 01:30:53 PM PDT 24 May 07 02:52:30 PM PDT 24 275083108887 ps
T225 /workspace/coverage/default/18.kmac_entropy_refresh.3402916654 May 07 01:31:17 PM PDT 24 May 07 01:33:17 PM PDT 24 10714221273 ps
T226 /workspace/coverage/default/27.kmac_burst_write.1647225482 May 07 01:33:54 PM PDT 24 May 07 01:53:29 PM PDT 24 139308576083 ps
T76 /workspace/coverage/default/43.kmac_stress_all.2516623886 May 07 01:41:57 PM PDT 24 May 07 02:08:33 PM PDT 24 253312903930 ps
T23 /workspace/coverage/default/28.kmac_lc_escalation.2570527709 May 07 01:34:32 PM PDT 24 May 07 01:34:34 PM PDT 24 37532231 ps
T227 /workspace/coverage/default/49.kmac_long_msg_and_output.1681134705 May 07 01:45:32 PM PDT 24 May 07 02:12:47 PM PDT 24 64790779295 ps
T228 /workspace/coverage/default/24.kmac_sideload.675120541 May 07 01:32:58 PM PDT 24 May 07 01:38:13 PM PDT 24 9019809923 ps
T229 /workspace/coverage/default/3.kmac_smoke.3540774118 May 07 01:29:28 PM PDT 24 May 07 01:30:42 PM PDT 24 4263556269 ps
T230 /workspace/coverage/default/20.kmac_test_vectors_sha3_512.2465605555 May 07 01:31:39 PM PDT 24 May 07 01:52:44 PM PDT 24 53640908379 ps
T231 /workspace/coverage/default/23.kmac_app.717764987 May 07 01:32:38 PM PDT 24 May 07 01:33:18 PM PDT 24 2832024232 ps
T232 /workspace/coverage/default/30.kmac_test_vectors_sha3_224.3450298406 May 07 01:35:02 PM PDT 24 May 07 02:12:14 PM PDT 24 194373083491 ps
T233 /workspace/coverage/default/31.kmac_app.1214928513 May 07 01:35:36 PM PDT 24 May 07 01:40:14 PM PDT 24 16561358374 ps
T234 /workspace/coverage/default/8.kmac_test_vectors_sha3_224.147873791 May 07 01:29:49 PM PDT 24 May 07 01:59:54 PM PDT 24 21181602324 ps
T235 /workspace/coverage/default/38.kmac_test_vectors_shake_256.3361139507 May 07 01:38:26 PM PDT 24 May 07 02:40:54 PM PDT 24 105380579940 ps
T236 /workspace/coverage/default/44.kmac_test_vectors_kmac.2453142633 May 07 01:42:38 PM PDT 24 May 07 01:42:45 PM PDT 24 221766588 ps
T237 /workspace/coverage/default/17.kmac_burst_write.4226379187 May 07 01:31:00 PM PDT 24 May 07 01:34:08 PM PDT 24 5269218802 ps
T238 /workspace/coverage/default/33.kmac_test_vectors_shake_256.1706924702 May 07 01:36:20 PM PDT 24 May 07 02:54:58 PM PDT 24 784473823529 ps
T24 /workspace/coverage/default/1.kmac_lc_escalation.1176535565 May 07 01:29:20 PM PDT 24 May 07 01:29:23 PM PDT 24 108738487 ps
T124 /workspace/coverage/default/36.kmac_stress_all_with_rand_reset.1680493590 May 07 01:37:54 PM PDT 24 May 07 01:59:23 PM PDT 24 55547019595 ps
T239 /workspace/coverage/default/42.kmac_test_vectors_shake_256.778773288 May 07 01:41:06 PM PDT 24 May 07 03:07:26 PM PDT 24 1827786874423 ps
T27 /workspace/coverage/default/20.kmac_lc_escalation.600183868 May 07 01:31:52 PM PDT 24 May 07 01:31:56 PM PDT 24 228476051 ps
T240 /workspace/coverage/default/28.kmac_test_vectors_kmac_xof.996114041 May 07 01:34:26 PM PDT 24 May 07 01:34:32 PM PDT 24 469485790 ps
T44 /workspace/coverage/default/13.kmac_lc_escalation.3959704037 May 07 01:30:25 PM PDT 24 May 07 01:30:28 PM PDT 24 83854231 ps
T241 /workspace/coverage/default/13.kmac_test_vectors_shake_128.1043011541 May 07 01:30:24 PM PDT 24 May 07 03:04:06 PM PDT 24 884256333139 ps
T242 /workspace/coverage/default/10.kmac_sideload.4257853702 May 07 01:29:58 PM PDT 24 May 07 01:32:24 PM PDT 24 13257367644 ps
T243 /workspace/coverage/default/14.kmac_test_vectors_sha3_256.1255031491 May 07 01:30:25 PM PDT 24 May 07 02:04:16 PM PDT 24 79668575607 ps
T244 /workspace/coverage/default/37.kmac_test_vectors_kmac.1038600491 May 07 01:38:02 PM PDT 24 May 07 01:38:08 PM PDT 24 442543333 ps
T6 /workspace/coverage/default/13.kmac_key_error.959685755 May 07 01:30:26 PM PDT 24 May 07 01:30:32 PM PDT 24 1642202387 ps
T245 /workspace/coverage/default/48.kmac_long_msg_and_output.3403827320 May 07 01:44:20 PM PDT 24 May 07 02:01:38 PM PDT 24 42695945184 ps
T246 /workspace/coverage/default/1.kmac_stress_all.1675038403 May 07 01:29:21 PM PDT 24 May 07 01:30:02 PM PDT 24 1973600778 ps
T247 /workspace/coverage/default/47.kmac_test_vectors_sha3_512.1271223794 May 07 01:44:00 PM PDT 24 May 07 02:05:18 PM PDT 24 179842895329 ps
T248 /workspace/coverage/default/45.kmac_sideload.865945706 May 07 01:42:45 PM PDT 24 May 07 01:43:04 PM PDT 24 236454733 ps
T249 /workspace/coverage/default/3.kmac_test_vectors_shake_256.2188610775 May 07 01:29:30 PM PDT 24 May 07 02:38:53 PM PDT 24 222007993431 ps
T250 /workspace/coverage/default/37.kmac_test_vectors_sha3_224.1303351131 May 07 01:37:59 PM PDT 24 May 07 02:11:59 PM PDT 24 346767506465 ps
T159 /workspace/coverage/default/46.kmac_error.2478481679 May 07 01:43:38 PM PDT 24 May 07 01:47:21 PM PDT 24 3052480872 ps
T158 /workspace/coverage/default/31.kmac_error.2592322614 May 07 01:35:36 PM PDT 24 May 07 01:42:30 PM PDT 24 15973762212 ps
T251 /workspace/coverage/default/31.kmac_test_vectors_sha3_512.1193104166 May 07 01:35:33 PM PDT 24 May 07 01:53:54 PM PDT 24 16597502598 ps
T252 /workspace/coverage/default/27.kmac_smoke.3096203247 May 07 01:33:55 PM PDT 24 May 07 01:34:42 PM PDT 24 1265173320 ps
T253 /workspace/coverage/default/44.kmac_long_msg_and_output.2792902478 May 07 01:41:55 PM PDT 24 May 07 02:36:47 PM PDT 24 556499518701 ps
T77 /workspace/coverage/default/38.kmac_stress_all.3663865560 May 07 01:38:36 PM PDT 24 May 07 01:58:27 PM PDT 24 90100922468 ps
T254 /workspace/coverage/default/27.kmac_test_vectors_sha3_384.1703684607 May 07 01:33:54 PM PDT 24 May 07 02:03:34 PM PDT 24 233552256399 ps
T255 /workspace/coverage/default/5.kmac_edn_timeout_error.2069181900 May 07 01:29:40 PM PDT 24 May 07 01:30:24 PM PDT 24 3508476281 ps
T256 /workspace/coverage/default/8.kmac_test_vectors_kmac_xof.486858807 May 07 01:29:49 PM PDT 24 May 07 01:29:56 PM PDT 24 210433388 ps
T257 /workspace/coverage/default/36.kmac_test_vectors_kmac_xof.3306940097 May 07 01:37:41 PM PDT 24 May 07 01:37:47 PM PDT 24 362977061 ps
T258 /workspace/coverage/default/0.kmac_mubi.3570863603 May 07 01:29:14 PM PDT 24 May 07 01:31:17 PM PDT 24 10324859117 ps
T102 /workspace/coverage/default/10.kmac_key_error.506785458 May 07 01:30:00 PM PDT 24 May 07 01:30:08 PM PDT 24 668050268 ps
T259 /workspace/coverage/default/11.kmac_sideload.1421469089 May 07 01:30:03 PM PDT 24 May 07 01:32:33 PM PDT 24 3691917763 ps
T260 /workspace/coverage/default/35.kmac_test_vectors_sha3_256.2279832899 May 07 01:37:06 PM PDT 24 May 07 02:05:35 PM PDT 24 19951070470 ps
T261 /workspace/coverage/default/28.kmac_long_msg_and_output.3413027626 May 07 01:34:15 PM PDT 24 May 07 01:38:22 PM PDT 24 5260026660 ps
T262 /workspace/coverage/default/47.kmac_long_msg_and_output.2577463409 May 07 01:43:55 PM PDT 24 May 07 02:18:07 PM PDT 24 86766986186 ps
T263 /workspace/coverage/default/7.kmac_app_with_partial_data.2770476046 May 07 01:29:42 PM PDT 24 May 07 01:30:29 PM PDT 24 802903413 ps
T39 /workspace/coverage/default/2.kmac_lc_escalation.3128428341 May 07 01:29:29 PM PDT 24 May 07 01:29:32 PM PDT 24 28766023 ps
T9 /workspace/coverage/default/4.kmac_entropy_ready_error.3543108993 May 07 01:29:37 PM PDT 24 May 07 01:29:40 PM PDT 24 564745985 ps
T264 /workspace/coverage/default/4.kmac_test_vectors_sha3_384.3552330930 May 07 01:29:36 PM PDT 24 May 07 01:57:42 PM PDT 24 71557975220 ps
T103 /workspace/coverage/default/16.kmac_key_error.1901793739 May 07 01:30:53 PM PDT 24 May 07 01:31:03 PM PDT 24 6086501841 ps
T69 /workspace/coverage/default/22.kmac_lc_escalation.3222407821 May 07 01:32:26 PM PDT 24 May 07 01:32:47 PM PDT 24 1045449331 ps
T265 /workspace/coverage/default/19.kmac_test_vectors_sha3_256.3308949861 May 07 01:31:24 PM PDT 24 May 07 01:58:55 PM PDT 24 82400158697 ps
T266 /workspace/coverage/default/26.kmac_stress_all.867264990 May 07 01:33:48 PM PDT 24 May 07 02:00:10 PM PDT 24 83909142517 ps
T40 /workspace/coverage/default/10.kmac_lc_escalation.357961159 May 07 01:29:59 PM PDT 24 May 07 01:30:01 PM PDT 24 70473014 ps
T267 /workspace/coverage/default/38.kmac_alert_test.1962918443 May 07 01:38:44 PM PDT 24 May 07 01:38:45 PM PDT 24 59987664 ps
T268 /workspace/coverage/default/1.kmac_test_vectors_kmac.315234500 May 07 01:29:20 PM PDT 24 May 07 01:29:27 PM PDT 24 863759325 ps
T269 /workspace/coverage/default/35.kmac_lc_escalation.1589171901 May 07 01:37:24 PM PDT 24 May 07 01:37:26 PM PDT 24 69803660 ps
T41 /workspace/coverage/default/39.kmac_lc_escalation.1385628604 May 07 01:39:03 PM PDT 24 May 07 01:39:14 PM PDT 24 409194586 ps
T270 /workspace/coverage/default/17.kmac_test_vectors_sha3_256.3053702358 May 07 01:31:00 PM PDT 24 May 07 02:01:49 PM PDT 24 83491072269 ps
T271 /workspace/coverage/default/32.kmac_test_vectors_kmac_xof.878293557 May 07 01:35:55 PM PDT 24 May 07 01:36:02 PM PDT 24 435239303 ps
T272 /workspace/coverage/default/15.kmac_burst_write.2633460488 May 07 01:30:43 PM PDT 24 May 07 01:42:53 PM PDT 24 28326992982 ps
T273 /workspace/coverage/default/28.kmac_app.3601471861 May 07 01:34:31 PM PDT 24 May 07 01:35:56 PM PDT 24 8431322850 ps
T274 /workspace/coverage/default/48.kmac_burst_write.3221561332 May 07 01:44:34 PM PDT 24 May 07 02:01:04 PM PDT 24 38966234898 ps
T275 /workspace/coverage/default/13.kmac_alert_test.3743472027 May 07 01:30:28 PM PDT 24 May 07 01:30:30 PM PDT 24 21304963 ps
T276 /workspace/coverage/default/38.kmac_entropy_refresh.514505078 May 07 01:38:33 PM PDT 24 May 07 01:42:17 PM PDT 24 7388237542 ps
T277 /workspace/coverage/default/12.kmac_test_vectors_sha3_224.2443992729 May 07 01:30:13 PM PDT 24 May 07 02:07:49 PM PDT 24 86280484127 ps
T278 /workspace/coverage/default/17.kmac_test_vectors_sha3_224.3179906617 May 07 01:31:01 PM PDT 24 May 07 01:59:43 PM PDT 24 40547349162 ps
T279 /workspace/coverage/default/26.kmac_long_msg_and_output.3317524844 May 07 01:33:35 PM PDT 24 May 07 01:41:45 PM PDT 24 46492744818 ps
T280 /workspace/coverage/default/5.kmac_sideload.1414779063 May 07 01:29:38 PM PDT 24 May 07 01:36:55 PM PDT 24 15054507475 ps
T281 /workspace/coverage/default/42.kmac_sideload.2037480897 May 07 01:40:59 PM PDT 24 May 07 01:43:24 PM PDT 24 9659744203 ps
T73 /workspace/coverage/default/33.kmac_lc_escalation.3708812678 May 07 01:36:37 PM PDT 24 May 07 01:36:39 PM PDT 24 53037615 ps
T282 /workspace/coverage/default/36.kmac_test_vectors_sha3_384.2213584017 May 07 01:37:35 PM PDT 24 May 07 02:02:44 PM PDT 24 53826800670 ps
T283 /workspace/coverage/default/21.kmac_test_vectors_shake_256.2692812599 May 07 01:32:03 PM PDT 24 May 07 02:51:10 PM PDT 24 703729090887 ps
T284 /workspace/coverage/default/28.kmac_stress_all.4155754211 May 07 01:34:34 PM PDT 24 May 07 01:47:57 PM PDT 24 36998458014 ps
T285 /workspace/coverage/default/23.kmac_stress_all.3147621545 May 07 01:32:46 PM PDT 24 May 07 01:40:32 PM PDT 24 20511956793 ps
T286 /workspace/coverage/default/46.kmac_sideload.3508665772 May 07 01:43:17 PM PDT 24 May 07 01:51:08 PM PDT 24 5498717368 ps
T287 /workspace/coverage/default/3.kmac_mubi.400403606 May 07 01:29:30 PM PDT 24 May 07 01:36:10 PM PDT 24 31059459013 ps
T104 /workspace/coverage/default/36.kmac_key_error.4184031914 May 07 01:37:47 PM PDT 24 May 07 01:37:51 PM PDT 24 1390615940 ps
T288 /workspace/coverage/default/35.kmac_test_vectors_sha3_384.3253761561 May 07 01:37:04 PM PDT 24 May 07 02:02:12 PM PDT 24 233951183944 ps
T289 /workspace/coverage/default/28.kmac_test_vectors_sha3_256.2886922423 May 07 01:34:16 PM PDT 24 May 07 02:05:12 PM PDT 24 18967252188 ps
T290 /workspace/coverage/default/30.kmac_long_msg_and_output.3996827787 May 07 01:34:56 PM PDT 24 May 07 01:52:16 PM PDT 24 43458413372 ps
T291 /workspace/coverage/default/30.kmac_alert_test.2039828818 May 07 01:35:16 PM PDT 24 May 07 01:35:17 PM PDT 24 138214851 ps
T292 /workspace/coverage/default/7.kmac_test_vectors_shake_256.2316363880 May 07 01:29:44 PM PDT 24 May 07 02:43:47 PM PDT 24 627130576606 ps
T293 /workspace/coverage/default/6.kmac_test_vectors_sha3_384.1454274723 May 07 01:29:35 PM PDT 24 May 07 01:56:42 PM PDT 24 198385003915 ps
T294 /workspace/coverage/default/12.kmac_smoke.111619942 May 07 01:30:10 PM PDT 24 May 07 01:30:46 PM PDT 24 2171814872 ps
T295 /workspace/coverage/default/10.kmac_test_vectors_sha3_224.2083604650 May 07 01:29:59 PM PDT 24 May 07 02:00:47 PM PDT 24 39211643678 ps
T296 /workspace/coverage/default/27.kmac_long_msg_and_output.2427097139 May 07 01:33:55 PM PDT 24 May 07 01:44:12 PM PDT 24 22538937614 ps
T297 /workspace/coverage/default/24.kmac_test_vectors_shake_256.2411373992 May 07 01:33:09 PM PDT 24 May 07 02:53:00 PM PDT 24 612682105705 ps
T298 /workspace/coverage/default/7.kmac_test_vectors_sha3_384.3040058784 May 07 01:29:46 PM PDT 24 May 07 01:53:50 PM PDT 24 61600240471 ps
T299 /workspace/coverage/default/17.kmac_edn_timeout_error.183818820 May 07 01:31:10 PM PDT 24 May 07 01:31:47 PM PDT 24 1509250554 ps
T300 /workspace/coverage/default/23.kmac_burst_write.1341432704 May 07 01:32:33 PM PDT 24 May 07 01:52:38 PM PDT 24 68766982464 ps
T301 /workspace/coverage/default/6.kmac_alert_test.3358509479 May 07 01:29:45 PM PDT 24 May 07 01:29:48 PM PDT 24 26340617 ps
T302 /workspace/coverage/default/16.kmac_stress_all.2949116708 May 07 01:30:53 PM PDT 24 May 07 01:34:37 PM PDT 24 4349863315 ps
T303 /workspace/coverage/default/43.kmac_test_vectors_kmac.1057304661 May 07 01:41:51 PM PDT 24 May 07 01:41:58 PM PDT 24 343605601 ps
T304 /workspace/coverage/default/15.kmac_test_vectors_sha3_512.3987898791 May 07 01:30:41 PM PDT 24 May 07 01:47:31 PM PDT 24 10454327724 ps
T305 /workspace/coverage/default/32.kmac_alert_test.988459944 May 07 01:36:12 PM PDT 24 May 07 01:36:13 PM PDT 24 25646941 ps
T70 /workspace/coverage/default/11.kmac_lc_escalation.1249821084 May 07 01:30:11 PM PDT 24 May 07 01:30:35 PM PDT 24 803594510 ps
T306 /workspace/coverage/default/46.kmac_alert_test.1995554112 May 07 01:43:53 PM PDT 24 May 07 01:43:55 PM PDT 24 26832715 ps
T307 /workspace/coverage/default/27.kmac_alert_test.4027082260 May 07 01:34:15 PM PDT 24 May 07 01:34:17 PM PDT 24 36065986 ps
T50 /workspace/coverage/default/14.kmac_lc_escalation.2247082783 May 07 01:30:38 PM PDT 24 May 07 01:30:40 PM PDT 24 82946848 ps
T308 /workspace/coverage/default/1.kmac_test_vectors_shake_256.2457944356 May 07 01:29:19 PM PDT 24 May 07 02:36:02 PM PDT 24 72365156027 ps
T309 /workspace/coverage/default/41.kmac_test_vectors_shake_128.2957022029 May 07 01:40:13 PM PDT 24 May 07 02:57:52 PM PDT 24 121235995221 ps
T310 /workspace/coverage/default/1.kmac_sideload.3141462863 May 07 01:29:30 PM PDT 24 May 07 01:31:43 PM PDT 24 1749372847 ps
T311 /workspace/coverage/default/7.kmac_test_vectors_sha3_224.2319216650 May 07 01:29:43 PM PDT 24 May 07 02:06:15 PM PDT 24 96656160148 ps
T312 /workspace/coverage/default/20.kmac_smoke.1410990114 May 07 01:31:42 PM PDT 24 May 07 01:32:33 PM PDT 24 5596328478 ps
T313 /workspace/coverage/default/29.kmac_test_vectors_kmac.354936659 May 07 01:34:50 PM PDT 24 May 07 01:34:56 PM PDT 24 105780965 ps
T314 /workspace/coverage/default/20.kmac_stress_all.3323833268 May 07 01:31:52 PM PDT 24 May 07 01:33:26 PM PDT 24 2206583023 ps
T315 /workspace/coverage/default/34.kmac_test_vectors_kmac.776880943 May 07 01:36:43 PM PDT 24 May 07 01:36:49 PM PDT 24 235945513 ps
T316 /workspace/coverage/default/1.kmac_burst_write.434396080 May 07 01:29:17 PM PDT 24 May 07 01:29:35 PM PDT 24 2669914711 ps
T317 /workspace/coverage/default/39.kmac_test_vectors_sha3_256.781189431 May 07 01:38:50 PM PDT 24 May 07 02:11:49 PM PDT 24 65972662724 ps
T318 /workspace/coverage/default/31.kmac_smoke.2190551691 May 07 01:35:23 PM PDT 24 May 07 01:36:51 PM PDT 24 8253939386 ps
T319 /workspace/coverage/default/1.kmac_test_vectors_sha3_512.2918036913 May 07 01:29:30 PM PDT 24 May 07 01:49:56 PM PDT 24 67042780818 ps
T320 /workspace/coverage/default/30.kmac_burst_write.1038263972 May 07 01:35:04 PM PDT 24 May 07 01:35:23 PM PDT 24 482074813 ps
T105 /workspace/coverage/default/37.kmac_key_error.3765089556 May 07 01:38:06 PM PDT 24 May 07 01:38:13 PM PDT 24 1399311366 ps
T106 /workspace/coverage/default/4.kmac_key_error.1951571571 May 07 01:29:34 PM PDT 24 May 07 01:29:37 PM PDT 24 254054039 ps
T61 /workspace/coverage/default/7.kmac_entropy_mode_error.2187147685 May 07 01:29:44 PM PDT 24 May 07 01:29:48 PM PDT 24 249075327 ps
T321 /workspace/coverage/default/1.kmac_alert_test.821620064 May 07 01:29:18 PM PDT 24 May 07 01:29:20 PM PDT 24 46496335 ps
T322 /workspace/coverage/default/39.kmac_key_error.112948547 May 07 01:39:02 PM PDT 24 May 07 01:39:06 PM PDT 24 225920955 ps
T101 /workspace/coverage/default/0.kmac_lc_escalation.3619956030 May 07 01:29:19 PM PDT 24 May 07 01:29:23 PM PDT 24 53326890 ps
T323 /workspace/coverage/default/38.kmac_test_vectors_sha3_512.138449263 May 07 01:38:28 PM PDT 24 May 07 01:59:46 PM PDT 24 15365021105 ps
T324 /workspace/coverage/default/1.kmac_test_vectors_shake_128.3858270254 May 07 01:29:18 PM PDT 24 May 07 02:50:49 PM PDT 24 685465355762 ps
T325 /workspace/coverage/default/32.kmac_test_vectors_sha3_384.2646903161 May 07 01:35:50 PM PDT 24 May 07 02:00:11 PM PDT 24 47882525668 ps
T326 /workspace/coverage/default/0.kmac_test_vectors_sha3_224.2180277741 May 07 01:29:17 PM PDT 24 May 07 01:59:37 PM PDT 24 96147830138 ps
T327 /workspace/coverage/default/8.kmac_test_vectors_sha3_384.1701218862 May 07 01:29:53 PM PDT 24 May 07 01:56:23 PM PDT 24 50389288045 ps
T328 /workspace/coverage/default/37.kmac_test_vectors_kmac_xof.3323217158 May 07 01:38:05 PM PDT 24 May 07 01:38:13 PM PDT 24 1589282908 ps
T329 /workspace/coverage/default/38.kmac_test_vectors_sha3_224.1327691245 May 07 01:38:24 PM PDT 24 May 07 02:09:43 PM PDT 24 400774406862 ps
T330 /workspace/coverage/default/24.kmac_alert_test.4259151522 May 07 01:33:14 PM PDT 24 May 07 01:33:15 PM PDT 24 61796656 ps
T21 /workspace/coverage/default/2.kmac_error.695977062 May 07 01:29:30 PM PDT 24 May 07 01:32:41 PM PDT 24 9704830406 ps
T331 /workspace/coverage/default/32.kmac_app.1994001053 May 07 01:35:56 PM PDT 24 May 07 01:36:50 PM PDT 24 1178767413 ps
T332 /workspace/coverage/default/7.kmac_test_vectors_shake_128.2349140384 May 07 01:29:44 PM PDT 24 May 07 03:02:13 PM PDT 24 394087944227 ps
T333 /workspace/coverage/default/39.kmac_sideload.687087643 May 07 01:38:44 PM PDT 24 May 07 01:43:04 PM PDT 24 7904292855 ps
T334 /workspace/coverage/default/35.kmac_test_vectors_kmac_xof.4218201602 May 07 01:37:19 PM PDT 24 May 07 01:37:26 PM PDT 24 903693214 ps
T335 /workspace/coverage/default/40.kmac_error.3831249141 May 07 01:39:45 PM PDT 24 May 07 01:43:31 PM PDT 24 3710488609 ps
T336 /workspace/coverage/default/28.kmac_test_vectors_sha3_384.88994059 May 07 01:34:18 PM PDT 24 May 07 01:58:03 PM PDT 24 21484941340 ps
T337 /workspace/coverage/default/15.kmac_test_vectors_shake_128.3249561315 May 07 01:30:41 PM PDT 24 May 07 03:18:46 PM PDT 24 274335352228 ps
T338 /workspace/coverage/default/13.kmac_smoke.3536113434 May 07 01:30:18 PM PDT 24 May 07 01:30:32 PM PDT 24 2401186633 ps
T339 /workspace/coverage/default/17.kmac_test_vectors_shake_256.2724327171 May 07 01:31:08 PM PDT 24 May 07 02:45:37 PM PDT 24 596144993089 ps
T340 /workspace/coverage/default/10.kmac_test_vectors_kmac.921674528 May 07 01:29:56 PM PDT 24 May 07 01:30:03 PM PDT 24 329054327 ps
T341 /workspace/coverage/default/37.kmac_smoke.2613008882 May 07 01:37:52 PM PDT 24 May 07 01:39:08 PM PDT 24 3308527422 ps
T342 /workspace/coverage/default/0.kmac_app_with_partial_data.3587405712 May 07 01:29:15 PM PDT 24 May 07 01:33:47 PM PDT 24 26217406462 ps
T343 /workspace/coverage/default/2.kmac_test_vectors_kmac_xof.4291322565 May 07 01:29:31 PM PDT 24 May 07 01:29:39 PM PDT 24 241544454 ps
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%