spiral/stempler
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| March 12 2025, 14:05:19 | 6c00a46 | 96.019% | 3.9K |
| March 3 2025, 15:47:11 | 33900aa | 96.019% | 3.9K |
| February 17 2025, 10:48:50 | f1fb41a | 96.019% | 3.9K |
| February 11 2025, 11:23:38 | 8933dcf | 96.019% | 3.9K |
| February 11 2025, 11:15:06 | 90ebe62 | 96.019% | 3.9K |
| February 10 2025, 09:14:13 | 860d0a7 | 96.019% | 3.9K |
| February 6 2025, 17:05:06 | a81a4a0 | 96.019% | 3.9K |
| January 31 2025, 21:55:59 | 33dc0bc | 96.019% | 3.9K |
| January 31 2025, 21:35:04 | 98f3c3b | 96.019% | 3.9K |
| January 24 2025, 16:00:54 | aedae4a | 96.019% | 3.9K |
| January 24 2025, 15:43:00 | 0ed55f3 | 96.019% | 3.9K |
| January 24 2025, 11:16:23 | ee059c9 | 96.019% | 3.9K |
| January 24 2025, 10:35:03 | eb006e5 | 96.019% | 3.9K |
| January 22 2025, 15:14:31 | cfca38f | 96.018% | 3.9K |
| January 22 2025, 15:00:01 | d72dc02 | 96.018% | 3.9K |
| January 21 2025, 10:33:48 | 4f893b4 | 95.993% | 3.9K |
| January 10 2025, 15:48:50 | dffd6d4 | 95.985% | 3.9K |
| January 7 2025, 13:33:52 | e213ac7 | 95.985% | 3.9K |
| January 6 2025, 07:03:59 | 5569e15 | 95.985% | 3.9K |
| January 4 2025, 12:33:45 | ae71b30 | 95.961% | 3.8K |
| December 11 2024, 20:19:34 | 9c0c845 | 95.961% | 3.8K |
| December 11 2024, 19:43:25 | dcab609 | 95.961% | 3.8K |
| November 29 2024, 20:43:22 | aae91a1 | 95.961% | 3.8K |
| November 26 2024, 12:44:50 | 24ac505 | 95.961% | 3.8K |
| November 25 2024, 20:20:08 | b2074ca | 95.961% | 3.8K |
| November 8 2024, 08:56:19 | 81d0e02 | 95.961% | 3.8K |
| October 22 2024, 21:54:22 | cd7c6fa | 95.961% | 3.8K |
| October 6 2024, 11:51:39 | 39b9b33 | 95.961% | 3.8K |
| September 30 2024, 19:08:13 | f7eaea3 | 95.961% | 3.8K |
| September 23 2024, 08:04:47 | f8a1710 | 95.961% | 3.8K |
| September 23 2024, 07:50:21 | aab7bd5 | 95.961% | 3.8K |
| September 11 2024, 17:54:01 | 75e69a0 | 95.961% | 3.8K |
| September 11 2024, 17:40:31 | 10e08b8 | 95.961% | 3.8K |
| September 10 2024, 16:57:01 | 16f2653 | 95.961% | 3.8K |
| September 5 2024, 13:07:05 | 87ebe49 | 95.884% | 3.8K |
| September 4 2024, 11:11:03 | 5eb942f | 95.884% | 3.8K |
| September 4 2024, 10:56:30 | 119a392 | 95.884% | 3.8K |
| September 3 2024, 17:01:47 | 2c6aa2e | 95.884% | 3.8K |
| August 22 2024, 09:48:43 | 1a46ad9 | 95.884% | 3.8K |
| May 30 2024, 20:46:46 | 28ebdd0 | 95.884% | 3.8K |
| May 22 2024, 18:44:25 | 2b952a7 | 95.884% | 3.8K |
| May 22 2024, 18:35:34 | 73214c1 | 95.884% | 3.8K |
| April 3 2024, 06:21:26 | 94910f5 | 95.884% | 3.8K |
| February 29 2024, 13:52:34 | 1a83d5d | 95.876% | 3.8K |
| December 29 2023, 10:48:55 | 75bf34a | 95.876% | 3.8K |
| December 29 2023, 10:41:20 | 5dd13b5 | 95.876% | 3.8K |
| December 21 2023, 14:47:52 | 0883ded | 95.876% | 3.8K |
| December 12 2023, 11:52:31 | 12052be | 95.876% | 3.8K |
| December 12 2023, 11:45:56 | 5df02f7 | 95.876% | 3.8K |
| December 5 2023, 18:20:39 | a7cd4b5 | 95.876% | 3.8K |
| November 24 2023, 08:28:48 | 51f9383 | 95.876% | 3.8K |
| October 24 2023, 14:16:48 | 5d1eb94 | 95.876% | 3.8K |
| October 19 2023, 14:25:50 | e421462 | 95.876% | 3.8K |
| September 8 2023, 10:11:11 | f5a56a9 | 95.876% | 3.8K |
| September 8 2023, 10:09:09 | 3bba5ce | 95.876% | 3.8K |
| August 29 2023, 15:20:02 | c9aa635 | 95.876% | 3.8K |
| August 29 2023, 15:12:45 | 479aba2 | 95.876% | 3.8K |
| August 18 2023, 10:03:56 | 56d977c | 95.876% | 3.8K |
| August 18 2023, 10:01:37 | b597b3d | 95.876% | 3.8K |
| August 16 2023, 17:45:05 | 837ca33 | 95.876% | 3.8K |
| August 14 2023, 17:48:28 | 67d2729 | 95.876% | 3.8K |
| April 25 2023, 17:34:31 | d3f3fe9 | 95.876% | 3.8K |
| April 21 2023, 14:50:30 | 4473f2d | 95.876% | 3.8K |
| April 21 2023, 14:43:34 | fed3d08 | 95.876% | 3.8K |
| April 20 2023, 16:09:03 | 7cf0cb9 | 95.876% | 3.8K |
| April 13 2023, 16:27:50 | 615c2f7 | 95.876% | 3.8K |
| April 10 2023, 08:53:21 | 54d6541 | 95.876% | 3.8K |
| February 23 2023, 22:23:06 | a117376 | 96.231% | 3.8K |
| February 20 2023, 15:47:53 | bc12b9d | 96.231% | 3.8K |
| February 20 2023, 15:39:12 | 2d0b7d9 | 96.231% | 3.8K |
| February 20 2023, 15:37:44 | 85f35f9 | 96.231% | 3.8K |
| February 19 2023, 07:35:37 | 5ffbe0c | 96.231% | 3.8K |
| January 19 2023, 08:19:17 | 464c8d8 | 96.231% | 3.8K |
| December 23 2022, 13:37:46 | ee914f2 | 96.231% | 3.8K |
| December 23 2022, 13:29:05 | 0f050d3 | 96.231% | 3.8K |
| December 8 2022, 18:14:45 | e29ae83 | 96.231% | 3.8K |
| November 18 2022, 08:02:58 | db3bcd8 | 96.231% | 3.8K |
| November 17 2022, 15:50:55 | 437afa7 | 96.231% | 3.8K |
| October 21 2022, 09:45:40 | 4a33e74 | 96.231% | 3.8K |
| October 3 2022, 16:15:31 | eb086b6 | 96.231% | 3.8K |
| September 29 2022, 15:08:30 | 99638b1 | 96.231% | 3.8K |
| September 29 2022, 15:00:44 | beca4b1 | 96.231% | 3.8K |
| September 29 2022, 14:44:48 | 930f48b | 96.231% | 3.8K |
| September 29 2022, 14:07:11 | e46d125 | 96.231% | 3.8K |
| September 28 2022, 09:41:11 | 198b2dc | 96.229% | 3.8K |
| September 16 2022, 09:31:47 | 98ad003 | 96.231% | 3.8K |
| September 13 2022, 15:15:15 | efa0666 | 96.229% | 3.8K |
| September 13 2022, 14:59:37 | 8b3a355 | 96.229% | 3.8K |
| September 13 2022, 14:52:46 | 177d111 | 96.229% | 3.8K |
| September 13 2022, 11:40:05 | c663574 | 96.229% | 3.8K |
| September 13 2022, 11:17:59 | 17c9e6b | 96.229% | 3.8K |