spiral/exceptions
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| March 29 2025, 16:46:02 | 0ab13c4 | 87.833% | 526 |
| January 31 2025, 21:31:34 | 6985ecb | 87.833% | 526 |
| January 24 2025, 15:39:41 | e70685e | 87.833% | 526 |
| January 24 2025, 11:14:37 | cff4ba8 | 87.833% | 526 |
| January 22 2025, 15:13:52 | 3f28aa7 | 87.833% | 526 |
| January 10 2025, 15:47:11 | 824c792 | 87.833% | 526 |
| January 4 2025, 12:31:32 | 633d67d | 87.833% | 526 |
| December 11 2024, 20:17:16 | b0a5771 | 87.833% | 526 |
| December 11 2024, 19:42:35 | 461ccf3 | 87.833% | 526 |
| November 26 2024, 12:41:35 | ba252f4 | 87.833% | 526 |
| November 25 2024, 20:19:31 | 3566f99 | 87.833% | 526 |
| November 8 2024, 08:55:13 | 221fa00 | 87.833% | 526 |
| October 22 2024, 21:48:38 | 779d3f1 | 87.833% | 526 |
| October 6 2024, 11:49:29 | 3a404d8 | 87.833% | 526 |
| September 30 2024, 19:02:14 | 14c97c3 | 87.833% | 526 |
| September 23 2024, 07:59:06 | 04911ba | 87.833% | 526 |
| September 23 2024, 07:49:57 | 0e33272 | 87.833% | 526 |
| September 11 2024, 17:52:00 | c9d9ba7 | 87.833% | 526 |
| September 11 2024, 17:40:11 | 07c9f6e | 87.833% | 526 |
| September 10 2024, 16:54:51 | a8f5bc4 | 87.833% | 526 |
| September 4 2024, 11:01:18 | deb3251 | 85.794% | 535 |
| September 4 2024, 10:56:08 | 7a2154a | 85.794% | 535 |
| August 22 2024, 09:44:44 | 84945fd | 85.794% | 535 |
| August 21 2024, 13:13:01 | f92c480 | 85.794% | 535 |
| May 30 2024, 20:41:18 | 38ee307 | 85.553% | 533 |
| May 22 2024, 18:35:12 | 9e032e4 | 85.553% | 533 |
| February 29 2024, 13:51:59 | 2aa7d78 | 85.553% | 533 |
| February 15 2024, 18:28:10 | ebd3832 | 85.553% | 533 |
| January 4 2024, 11:11:37 | 49965b5 | 85.553% | 533 |
| January 3 2024, 12:44:08 | 983e56f | 85.553% | 533 |
| December 29 2023, 10:46:41 | 51b9443 | 85.271% | 516 |
| December 29 2023, 10:40:50 | 5f26153 | 85.271% | 516 |
| December 21 2023, 14:43:10 | 19ef0c8 | 85.271% | 516 |
| December 12 2023, 11:47:48 | 33001ab | 85.271% | 516 |
| December 12 2023, 11:45:33 | c1ed028 | 85.271% | 516 |
| November 24 2023, 08:28:14 | 3b48062 | 84.241% | 514 |
| October 24 2023, 14:14:27 | d9d316f | 84.241% | 514 |
| October 24 2023, 14:07:08 | 40fd88a | 84.241% | 514 |
| October 19 2023, 14:22:19 | db7c038 | 84.241% | 514 |
| September 8 2023, 10:10:45 | 492ad95 | 84.241% | 514 |
| September 8 2023, 10:08:40 | 1de5d80 | 84.241% | 514 |
| August 29 2023, 15:15:36 | efa246a | 84.241% | 514 |
| August 29 2023, 15:12:18 | 10b8dfd | 84.241% | 514 |
| August 18 2023, 10:03:18 | 8a53c96 | 84.241% | 514 |
| August 18 2023, 10:01:15 | 5dc6252 | 84.241% | 514 |
| August 16 2023, 17:46:59 | 59f2f16 | 84.241% | 514 |
| August 16 2023, 17:44:41 | f0fdd7d | 84.241% | 514 |
| August 14 2023, 17:48:06 | b98e718 | 84.241% | 514 |
| April 25 2023, 17:34:17 | 5b3baf7 | 84.211% | 513 |
| April 21 2023, 14:45:03 | 16c45c6 | 84.211% | 513 |
| April 21 2023, 14:43:10 | cc7c29c | 84.211% | 513 |
| April 13 2023, 16:14:30 | 796578a | 84.211% | 513 |
| April 10 2023, 08:50:23 | fcb87b5 | 84.211% | 513 |
| March 23 2023, 13:02:42 | 44e35a2 | 83.858% | 508 |
| February 23 2023, 22:20:54 | b26f5e0 | 83.858% | 508 |
| February 20 2023, 15:39:57 | 15ea5bb | 83.858% | 508 |
| February 20 2023, 15:38:46 | 5b15404 | 83.858% | 508 |
| February 20 2023, 15:37:34 | 64174cf | 83.858% | 508 |
| February 19 2023, 07:31:36 | 8e9085e | 83.858% | 508 |
| December 23 2022, 13:34:49 | 5593c0d | 83.858% | 508 |
| December 23 2022, 13:23:47 | 244c127 | 83.858% | 508 |
| December 23 2022, 13:04:23 | 668f64f | 83.858% | 508 |
| December 14 2022, 10:42:33 | 41e7c31 | 84.649% | 456 |
| December 8 2022, 18:09:51 | fc4ea13 | 85.320% | 579 |
| November 18 2022, 07:58:46 | 5066ae0 | 85.320% | 579 |
| October 21 2022, 09:42:40 | e396645 | 85.320% | 579 |
| October 3 2022, 16:09:50 | 296e1b7 | 85.320% | 579 |
| September 29 2022, 15:04:10 | 806a8b2 | 85.320% | 579 |
| September 29 2022, 14:01:03 | a245cb5 | 85.320% | 579 |
| September 28 2022, 09:35:19 | 4e854c9 | 85.320% | 579 |
| September 16 2022, 09:26:42 | f49e62c | 85.320% | 579 |
| September 13 2022, 15:08:36 | 48365f0 | 85.320% | 579 |
| September 13 2022, 15:04:01 | 7fa299c | 85.320% | 579 |
| September 13 2022, 14:56:17 | 86b56f8 | 85.320% | 579 |
| September 13 2022, 14:51:59 | 3e5b22d | 85.320% | 579 |
| September 13 2022, 11:38:59 | b953191 | 85.320% | 579 |