spiral/validation
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| March 12 2025, 14:05:31 | 825ff89 | 94.595% | 37 |
| March 3 2025, 15:47:21 | b0b5ee0 | 94.595% | 37 |
| February 17 2025, 10:59:41 | e02b3d0 | 94.595% | 37 |
| February 17 2025, 10:49:00 | ea30cef | 94.595% | 37 |
| February 11 2025, 11:24:52 | bf8364b | 94.595% | 37 |
| February 11 2025, 11:15:15 | ffc84e8 | 94.595% | 37 |
| February 10 2025, 09:16:01 | 87787c0 | 94.595% | 37 |
| February 6 2025, 17:06:36 | 5eb5b7d | 94.595% | 37 |
| January 31 2025, 21:35:18 | 38794cf | 94.595% | 37 |
| January 24 2025, 16:02:19 | 963b064 | 94.595% | 37 |
| January 24 2025, 15:42:58 | ad1312d | 94.595% | 37 |
| January 24 2025, 11:16:25 | 25f3a52 | 94.595% | 37 |
| January 24 2025, 10:35:22 | c87bcf1 | 94.595% | 37 |
| January 22 2025, 15:17:19 | 40f0a22 | 94.595% | 37 |
| January 10 2025, 15:48:57 | 419bc83 | 94.595% | 37 |
| January 7 2025, 13:34:05 | 69f5c11 | 94.595% | 37 |
| January 4 2025, 12:33:52 | 527559c | 94.595% | 37 |
| December 11 2024, 20:19:49 | 416bccb | 94.595% | 37 |
| December 11 2024, 19:46:12 | 2596e37 | 94.595% | 37 |
| November 26 2024, 12:46:17 | b3ac6c8 | 94.595% | 37 |
| November 25 2024, 20:26:24 | 005eff5 | 94.595% | 37 |
| November 8 2024, 08:56:34 | 156f39b | 94.595% | 37 |
| October 22 2024, 21:54:34 | 2567374 | 94.595% | 37 |
| October 6 2024, 11:52:46 | c31392f | 94.595% | 37 |
| September 30 2024, 19:08:17 | 444cf80 | 94.595% | 37 |
| September 23 2024, 08:05:10 | a1e4ae7 | 94.595% | 37 |
| September 23 2024, 07:50:35 | fd33772 | 94.595% | 37 |
| September 11 2024, 17:54:19 | b21a899 | 94.595% | 37 |
| September 11 2024, 17:40:41 | 6c7881c | 94.595% | 37 |
| September 4 2024, 11:11:29 | d23678c | 94.595% | 37 |
| September 4 2024, 10:56:45 | bd04776 | 94.595% | 37 |
| September 3 2024, 17:02:09 | a6341fa | 94.595% | 37 |
| August 22 2024, 09:49:57 | 1fc7763 | 94.595% | 37 |
| May 30 2024, 20:47:47 | 786011d | 94.595% | 37 |
| May 22 2024, 18:46:53 | b7cead6 | 94.595% | 37 |
| February 29 2024, 13:52:50 | c614ef0 | 94.595% | 37 |
| December 29 2023, 10:49:02 | d9ab039 | 94.595% | 37 |
| December 29 2023, 10:41:32 | d40f889 | 94.595% | 37 |
| December 21 2023, 14:47:59 | 20e220f | 94.595% | 37 |
| December 12 2023, 11:53:37 | 2f4518b | 94.595% | 37 |
| December 12 2023, 11:46:07 | 814a81c | 94.595% | 37 |
| November 24 2023, 08:34:45 | 15a50a8 | 94.595% | 37 |
| October 24 2023, 14:16:57 | e03c7a3 | 94.595% | 37 |
| October 24 2023, 14:07:36 | 95e7426 | 94.595% | 37 |
| October 19 2023, 14:26:11 | 0772a08 | 94.595% | 37 |
| September 8 2023, 10:11:28 | 53c6c80 | 94.595% | 37 |
| September 8 2023, 10:09:07 | c1550bf | 94.595% | 37 |
| August 29 2023, 15:12:54 | 3cfa0d7 | 94.595% | 37 |
| August 18 2023, 10:04:02 | ed7a55a | 94.595% | 37 |
| August 18 2023, 10:01:46 | 7e08f87 | 94.595% | 37 |
| August 16 2023, 17:47:39 | fae3dd2 | 94.595% | 37 |
| August 16 2023, 17:45:13 | 2748efc | 94.595% | 37 |
| August 14 2023, 17:48:40 | 51cf2e2 | 94.595% | 37 |
| April 25 2023, 17:36:21 | f081692 | 94.595% | 37 |
| April 21 2023, 14:50:31 | 0a99f0f | 94.595% | 37 |
| April 21 2023, 14:43:37 | d33a96f | 94.595% | 37 |
| April 20 2023, 16:09:12 | 68bd7ac | 94.595% | 37 |
| April 13 2023, 16:29:40 | 1569e1a | 94.595% | 37 |
| April 10 2023, 08:53:38 | f9e542b | 94.595% | 37 |
| March 23 2023, 13:03:27 | b1d38b7 | 94.595% | 37 |
| February 23 2023, 22:23:11 | 34de1d1 | 94.595% | 37 |
| February 20 2023, 15:49:06 | 9fe2b1c | 94.595% | 37 |
| February 20 2023, 15:39:17 | efa7a21 | 94.595% | 37 |
| February 20 2023, 15:37:56 | 3ae9cb0 | 94.595% | 37 |
| February 19 2023, 07:37:48 | 344ff69 | 94.595% | 37 |
| January 19 2023, 08:21:47 | 8350fca | 94.595% | 37 |
| December 23 2022, 13:38:16 | 29e45bf | 94.595% | 37 |
| December 23 2022, 13:30:35 | 9b3dd23 | 94.595% | 37 |
| December 8 2022, 18:15:56 | 11f3144 | 94.595% | 37 |
| November 18 2022, 08:03:26 | c8bc135 | 94.595% | 37 |
| November 17 2022, 15:51:29 | e27a43f | 94.595% | 37 |
| October 21 2022, 09:47:29 | 24d92fe | 94.595% | 37 |
| October 3 2022, 16:15:42 | acd49e3 | 94.595% | 37 |
| September 29 2022, 15:09:13 | bc15037 | 94.595% | 37 |
| September 29 2022, 15:01:16 | 89003d5 | 94.595% | 37 |
| September 29 2022, 14:46:26 | e2155c0 | 94.595% | 37 |
| September 29 2022, 14:08:13 | e3b0685 | 93.333% | 15 |
| September 28 2022, 09:42:53 | e724d9d | 91.892% | 37 |
| September 16 2022, 09:33:39 | 24255ae | 93.333% | 15 |
| September 14 2022, 07:23:25 | d35d309 | 93.333% | 15 |
| September 13 2022, 15:16:23 | 5949651 | 93.333% | 15 |
| September 13 2022, 15:00:38 | ba90d3b | 93.333% | 15 |
| September 13 2022, 14:53:13 | fdc697e | 93.333% | 15 |
| September 13 2022, 11:40:19 | 34feb39 | 93.333% | 15 |