spiral/router
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| December 11 2024, 20:19:19 | d9986f8 | 96.664% | 1.3K |
| December 11 2024, 19:43:06 | e8fb72b | 96.644% | 1.3K |
| November 29 2024, 20:43:10 | 36830fe | 96.664% | 1.3K |
| November 26 2024, 12:43:27 | ee880c5 | 96.644% | 1.3K |
| November 25 2024, 20:19:56 | 6bd3240 | 96.644% | 1.3K |
| November 25 2024, 20:12:04 | 21a18b7 | 96.644% | 1.3K |
| November 8 2024, 08:55:55 | 8350535 | 96.644% | 1.3K |
| October 22 2024, 21:52:50 | 37c9a9c | 96.644% | 1.3K |
| October 6 2024, 11:51:17 | 4f1bcb0 | 96.644% | 1.3K |
| September 30 2024, 19:06:05 | 16d06cb | 96.644% | 1.3K |
| September 23 2024, 07:59:25 | 6984c42 | 96.644% | 1.3K |
| September 23 2024, 07:50:11 | 4a74694 | 96.644% | 1.3K |
| September 23 2024, 07:44:35 | e77611e | 96.644% | 1.3K |
| September 11 2024, 17:52:15 | 0ff06c6 | 96.560% | 1.3K |
| September 11 2024, 17:40:25 | acbf360 | 96.560% | 1.3K |
| September 10 2024, 16:56:01 | 97bd9c9 | 96.560% | 1.3K |
| September 6 2024, 09:02:58 | 0ee919d | 96.560% | 1.3K |
| September 5 2024, 13:06:05 | c2c49fe | 96.560% | 1.3K |
| September 4 2024, 11:22:11 | 5f0095a | 96.560% | 1.3K |
| September 4 2024, 11:02:13 | 49864eb | 96.560% | 1.3K |
| September 4 2024, 10:56:17 | 53060a6 | 96.560% | 1.3K |
| September 4 2024, 09:58:46 | 1d27c23 | 96.560% | 1.3K |
| September 2 2024, 09:35:20 | 718499a | 96.552% | 1.3K |
| August 22 2024, 09:47:24 | d89522b | 96.552% | 1.3K |
| May 22 2024, 18:35:27 | d987957 | 96.473% | 1.2K |
| May 15 2024, 20:34:19 | 402211d | 96.473% | 1.2K |
| April 29 2024, 20:26:04 | 1b4b86b | 96.546% | 1.3K |
| February 29 2024, 13:52:15 | d31a589 | 96.473% | 1.2K |
| January 3 2024, 06:00:55 | 383872d | 96.473% | 1.2K |
| December 29 2023, 10:47:45 | b58b458 | 96.473% | 1.2K |
| December 29 2023, 10:41:13 | 5433e9d | 96.473% | 1.2K |
| December 21 2023, 14:47:44 | 59b993f | 96.473% | 1.2K |
| December 21 2023, 14:35:54 | 73240cb | 96.473% | 1.2K |
| December 12 2023, 11:52:25 | 6ec8136 | 96.516% | 1.2K |
| December 12 2023, 11:45:50 | 45a9ab6 | 96.516% | 1.2K |
| October 24 2023, 14:16:42 | 26d43dd | 96.516% | 1.2K |
| October 24 2023, 14:07:19 | df9f6c5 | 96.516% | 1.2K |
| September 12 2023, 08:22:12 | f29eb97 | 96.516% | 1.2K |
| September 8 2023, 10:11:07 | 49b46fa | 96.502% | 1.2K |
| September 8 2023, 10:08:58 | 1ea83ee | 96.502% | 1.2K |
| August 29 2023, 15:19:49 | 3b10e52 | 96.502% | 1.2K |
| August 29 2023, 15:12:45 | 73a2234 | 96.502% | 1.2K |
| August 18 2023, 10:03:45 | c00bda3 | 96.502% | 1.2K |
| August 18 2023, 10:01:37 | cb818dc | 96.502% | 1.2K |
| August 16 2023, 17:47:21 | 2c627b9 | 96.502% | 1.2K |
| August 16 2023, 17:45:03 | 5b97cd5 | 96.502% | 1.2K |
| August 16 2023, 09:35:23 | 27afe91 | 96.502% | 1.2K |
| August 14 2023, 17:48:17 | c088e3a | 96.483% | 1.2K |
| July 18 2023, 12:13:51 | 07bf0f0 | 96.483% | 1.2K |
| July 12 2023, 09:41:51 | 1ad9e1c | 96.483% | 1.2K |
| April 26 2023, 12:03:40 | 47f56e1 | 96.480% | 1.2K |
| April 26 2023, 06:52:03 | 80464b8 | 96.480% | 1.2K |
| April 25 2023, 17:34:23 | cd564f5 | 95.984% | 1.2K |
| April 21 2023, 14:50:13 | 9779345 | 95.984% | 1.2K |
| April 21 2023, 14:43:35 | feb846b | 95.984% | 1.2K |
| April 13 2023, 16:27:34 | 4db1aa4 | 95.984% | 1.2K |
| April 10 2023, 08:50:44 | 9d0e190 | 95.984% | 1.2K |
| February 23 2023, 22:22:55 | ccd7828 | 95.945% | 1.2K |
| February 20 2023, 15:47:43 | bda5299 | 95.945% | 1.2K |
| February 20 2023, 15:38:57 | d07c6ee | 95.945% | 1.2K |
| December 19 2022, 07:49:39 | bc18905 | 95.945% | 1.2K |
| October 14 2022, 10:42:48 | e08f9a2 | 95.909% | 1.1K |
| October 3 2022, 16:15:10 | 9b85767 | 95.913% | 1.1K |
| September 29 2022, 15:06:37 | c6e94d9 | 95.913% | 1.1K |
| September 29 2022, 14:04:32 | 8103409 | 95.913% | 1.1K |
| September 16 2022, 09:31:28 | 86fde81 | 95.909% | 1.1K |
| September 13 2022, 15:13:14 | 6bfda13 | 95.909% | 1.1K |
| September 13 2022, 14:58:11 | 6aeeaaf | 95.909% | 1.1K |
| September 13 2022, 14:52:10 | cddd5ad | 95.909% | 1.1K |
| September 13 2022, 11:39:57 | 591d63d | 95.909% | 1.1K |