nucleos/nucleos-doctrine-extensions
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| February 3 2024, 14:40:47 | 8e711c2 | 98.161% | 979 |
| December 5 2023, 18:50:43 | ef48084 | 98.109% | 952 |
| December 3 2023, 14:20:55 | f1e1867 | 98.109% | 952 |
| November 22 2023, 18:56:46 | 650ddc0 | 98.107% | 951 |
| August 10 2023, 18:44:53 | cc6b6a7 | 98.107% | 951 |
| April 30 2023, 18:31:53 | bc064e7 | 98.107% | 951 |
| April 30 2023, 18:28:06 | b518e34 | 98.107% | 951 |
| April 26 2023, 07:33:39 | 04e7106 | 98.115% | 955 |
| February 25 2023, 15:39:06 | aa6a43d | 98.115% | 955 |
| February 25 2023, 15:37:01 | bd6b117 | 98.115% | 955 |
| February 25 2023, 15:28:15 | 10dc0da | 98.115% | 955 |
| October 24 2022, 15:29:51 | 6ee1f6a | 98.115% | 955 |
| September 30 2022, 19:14:10 | 25b6799 | 97.948% | 877 |
| September 30 2022, 19:01:00 | 8a1c79b | 97.386% | 880 |
| September 30 2022, 18:57:37 | 1c575da | 97.386% | 880 |
| April 4 2022, 04:12:07 | 98b172c | 97.309% | 892 |
| April 3 2022, 07:32:03 | 5e9e987 | 98.103% | 949 |
| March 30 2022, 04:12:01 | 43fa083 | 97.309% | 892 |
| March 29 2022, 04:12:15 | 5397af3 | 97.309% | 892 |
| March 29 2022, 04:12:13 | 00e34a7 | 97.309% | 892 |
| March 25 2022, 04:12:45 | 0a5b4d5 | 97.309% | 892 |
| March 25 2022, 04:12:43 | 548318b | 97.309% | 892 |
| March 25 2022, 04:12:41 | 61afb23 | 97.309% | 892 |
| March 16 2022, 04:11:36 | d4be921 | 97.309% | 892 |
| March 15 2022, 04:12:44 | ee56480 | 97.309% | 892 |
| March 6 2022, 16:31:48 | 1ea0563 | 97.119% | 833 |
| March 6 2022, 16:23:47 | a1e13de | 97.119% | 833 |
| March 6 2022, 16:23:40 | 80748f1 | 97.119% | 833 |
| March 6 2022, 16:23:14 | 5857cd9 | 97.119% | 833 |
| March 6 2022, 16:22:58 | f6578ef | 97.119% | 833 |
| March 6 2022, 16:15:07 | ef84af3 | 97.119% | 833 |
| January 10 2022, 04:11:58 | 53c94ac | 97.122% | 834 |
| January 10 2022, 04:11:56 | 5ca28c4 | 97.122% | 834 |
| January 7 2022, 08:27:55 | 8a2b98a | 97.122% | 834 |
| January 7 2022, 03:24:55 | 031a9ae | 97.122% | 834 |
| January 5 2022, 03:23:14 | 56a07c7 | 97.122% | 834 |
| January 3 2022, 03:23:06 | fa9c8e9 | 97.122% | 834 |
| January 1 2022, 21:18:36 | 13e7e51 | 97.122% | 834 |
| January 1 2022, 11:52:14 | d14fb19 | 0.000% | 0 |
| December 30 2021, 03:22:00 | 633c48c | 0.000% | 0 |
| December 27 2021, 15:23:28 | 93bcdbc | 0.000% | 0 |
| December 22 2021, 07:07:09 | b60f5e2 | 0.000% | 0 |
| December 20 2021, 03:23:07 | b625624 | 95.902% | 488 |
| December 17 2021, 03:22:06 | f79648f | 95.902% | 488 |
| December 14 2021, 03:22:00 | 18ef85a | 95.902% | 488 |
| December 13 2021, 03:22:13 | 0e8a007 | 95.902% | 488 |
| December 12 2021, 15:23:28 | aa2c086 | 95.902% | 488 |
| December 12 2021, 15:23:26 | 3fd9026 | 95.902% | 488 |
| December 12 2021, 15:23:25 | 06a5beb | 95.902% | 488 |
| December 12 2021, 14:41:26 | 73ea0d5 | 95.902% | 488 |
| December 6 2021, 03:22:16 | 6b2e6b4 | 95.902% | 488 |
| December 5 2021, 20:22:09 | 49d681f | 95.902% | 488 |
| December 5 2021, 19:16:51 | de6a228 | 95.902% | 488 |
| December 5 2021, 18:48:39 | 0ea7faa | 95.902% | 488 |
| December 5 2021, 18:36:21 | 75b32c7 | 95.902% | 488 |
| December 4 2021, 12:34:25 | 9c43d3e | 95.902% | 488 |
| December 1 2021, 12:49:35 | 1297c85 | 95.902% | 488 |
| November 26 2021, 03:25:45 | 2ea2acb | 95.851% | 482 |
| November 24 2021, 19:13:45 | fbd2230 | 95.851% | 482 |
| November 24 2021, 03:30:32 | 727b62f | 95.851% | 482 |
| November 23 2021, 03:26:17 | 8462385 | 95.851% | 482 |
| November 3 2021, 03:23:05 | 1e3e8c3 | 95.851% | 482 |
| November 1 2021, 03:29:44 | 0c97121 | 95.851% | 482 |
| October 18 2021, 03:22:05 | 72d5547 | 95.851% | 482 |
| October 7 2021, 19:40:06 | 76ab114 | 95.851% | 482 |
| October 7 2021, 16:56:58 | 367e69b | 95.851% | 482 |
| October 7 2021, 16:51:41 | bc057c6 | 95.851% | 482 |
| September 29 2021, 04:04:45 | 1ed690b | 95.851% | 482 |
| September 29 2021, 04:04:44 | 5790f3e | 95.851% | 482 |
| September 27 2021, 04:07:26 | 441ba2b | 95.851% | 482 |
| September 16 2021, 03:04:56 | 8e0eae9 | 95.851% | 482 |
| September 13 2021, 05:03:00 | bde14ee | 95.851% | 482 |
| September 13 2021, 04:05:31 | 60e46b4 | 95.851% | 482 |
| September 3 2021, 08:17:58 | d6c06f6 | 95.851% | 482 |
| September 3 2021, 05:03:04 | 7a3afcc | 95.851% | 482 |
| September 3 2021, 04:05:41 | 440c135 | 95.851% | 482 |
| September 2 2021, 05:02:49 | de0d63d | 95.851% | 482 |
| September 2 2021, 04:04:35 | 3dc305b | 95.851% | 482 |
| September 1 2021, 04:04:44 | f40e22c | 95.851% | 482 |
| August 31 2021, 04:04:06 | 45b9d70 | 95.851% | 482 |
| August 24 2021, 04:04:09 | 8eba358 | 95.851% | 482 |
| August 23 2021, 05:02:56 | fc79d0b | 95.851% | 482 |
| August 23 2021, 04:04:30 | aa1e00d | 95.851% | 482 |
| August 19 2021, 04:04:54 | 5d4f1ef | 95.851% | 482 |
| August 19 2021, 03:31:42 | 968fb20 | 95.851% | 482 |
| August 13 2021, 04:05:11 | bb1ef3c | 95.851% | 482 |
| August 3 2021, 04:03:50 | 04b75e4 | 95.851% | 482 |
| August 2 2021, 04:05:51 | b09103c | 95.851% | 482 |
| August 2 2021, 04:05:49 | d642e12 | 95.851% | 482 |
| July 27 2021, 04:03:45 | ae8a5e6 | 95.851% | 482 |
| July 23 2021, 04:06:46 | e6b05c0 | 96.050% | 481 |
| July 21 2021, 04:04:22 | f7b79c4 | 96.050% | 481 |
| July 20 2021, 04:06:36 | 66b1629 | 96.050% | 481 |
| July 19 2021, 04:04:53 | ba5ebef | 96.050% | 481 |
| July 16 2021, 04:03:43 | 2b7f5b4 | 96.050% | 481 |
| July 15 2021, 05:02:33 | 58153b6 | 96.050% | 481 |
| July 15 2021, 04:03:54 | 2969fa4 | 96.050% | 481 |
| July 12 2021, 04:06:37 | aa9834b | 96.050% | 481 |
| July 5 2021, 23:03:10 | 73a50a7 | 96.050% | 481 |
| July 5 2021, 22:02:38 | 12c7470 | 96.050% | 481 |
| July 5 2021, 22:02:36 | 1a87266 | 96.050% | 481 |
| July 5 2021, 22:02:34 | 6f7ee0d | 96.050% | 481 |
| July 5 2021, 22:02:33 | 78b07cc | 96.050% | 481 |
| July 5 2021, 21:03:46 | b35de69 | 96.050% | 481 |
| June 21 2021, 03:24:49 | 8c57a43 | 96.050% | 481 |
| June 18 2021, 03:22:07 | ffb233c | 96.050% | 481 |
| June 17 2021, 03:22:38 | f53c85d | 96.050% | 481 |
| June 11 2021, 03:20:26 | 070e07f | 96.050% | 481 |
| June 10 2021, 03:22:24 | a7aaac6 | 96.050% | 481 |
| June 7 2021, 05:17:03 | 3a7e0d4 | 96.050% | 481 |
| June 7 2021, 05:17:01 | f59cba5 | 96.050% | 481 |
| June 3 2021, 04:06:08 | 0c47068 | 96.050% | 481 |
| June 1 2021, 05:11:29 | 3dc8586 | 96.050% | 481 |
| June 1 2021, 05:11:27 | 5ba8ffd | 96.050% | 481 |
| May 28 2021, 11:32:36 | 3971093 | 96.050% | 481 |
| May 28 2021, 09:28:05 | 6482118 | 96.050% | 481 |
| May 28 2021, 08:34:32 | 25f016f | 96.050% | 481 |
| May 28 2021, 03:21:48 | 5de1f0e | 96.050% | 481 |
| May 27 2021, 19:46:32 | 8369289 | 96.050% | 481 |
| May 13 2021, 04:11:54 | 88dc524 | 95.634% | 481 |
| May 13 2021, 03:39:37 | 608045c | 95.634% | 481 |
| May 13 2021, 03:39:35 | 5b6da93 | 95.634% | 481 |
| May 12 2021, 04:16:10 | a4508e8 | 95.634% | 481 |
| May 12 2021, 04:16:08 | 443afab | 95.634% | 481 |
| May 12 2021, 04:16:06 | 56b6a1e | 95.634% | 481 |
| May 10 2021, 04:07:13 | 543b68c | 95.634% | 481 |
| May 10 2021, 03:57:06 | d0d783e | 95.634% | 481 |
| May 5 2021, 03:20:24 | 0db7fbe | 95.634% | 481 |
| May 4 2021, 03:42:20 | e4c1696 | 95.634% | 481 |
| May 4 2021, 03:42:19 | 9ff6d7d | 95.634% | 481 |
| May 3 2021, 04:01:32 | 5303aa1 | 95.634% | 481 |
| May 3 2021, 04:01:30 | 7e9c6f0 | 95.634% | 481 |
| April 28 2021, 03:57:17 | 312e2d0 | 95.634% | 481 |
| April 28 2021, 03:57:16 | d7a7024 | 95.634% | 481 |
| April 28 2021, 03:57:14 | 4c5c5d4 | 95.634% | 481 |
| April 27 2021, 04:01:38 | 137545a | 95.634% | 481 |
| April 26 2021, 03:23:47 | dd5ba88 | 95.634% | 481 |
| April 20 2021, 04:02:25 | 507c752 | 95.634% | 481 |
| April 20 2021, 04:02:23 | 74305e3 | 95.634% | 481 |
| April 15 2021, 03:23:54 | 354b44c | 95.634% | 481 |
| April 14 2021, 03:24:09 | 44d93bd | 95.634% | 481 |
| April 13 2021, 19:42:30 | bf1b2c8 | 95.634% | 481 |
| April 13 2021, 03:02:57 | f29f3e8 | 95.634% | 481 |
| April 7 2021, 03:22:18 | 4288d4f | 95.634% | 481 |
| March 30 2021, 03:25:01 | 6d9a87e | 94.639% | 485 |
| March 24 2021, 03:24:01 | 632bd36 | 94.639% | 485 |
| March 22 2021, 03:50:10 | b225c34 | 94.639% | 485 |
| March 22 2021, 03:50:08 | a072f88 | 94.639% | 485 |
| March 18 2021, 04:02:43 | ebdd8f1 | 94.639% | 485 |
| March 11 2021, 04:02:53 | 652f2b9 | 94.639% | 485 |
| March 9 2021, 04:02:42 | 899487f | 94.639% | 485 |
| March 9 2021, 04:02:41 | a545d8c | 94.639% | 485 |
| March 8 2021, 04:02:41 | a701655 | 94.639% | 485 |
| March 5 2021, 04:02:46 | a7472d9 | 94.639% | 485 |
| March 1 2021, 04:02:47 | be7bc07 | 94.639% | 485 |
| February 26 2021, 04:02:41 | 1386951 | 94.639% | 485 |
| February 25 2021, 10:07:55 | 0b9f9d1 | 94.639% | 485 |
| February 22 2021, 04:02:46 | 1c81956 | 94.639% | 485 |
| February 22 2021, 04:02:44 | a626d45 | 94.639% | 485 |
| February 18 2021, 04:02:38 | 395ad11 | 94.639% | 485 |
| February 16 2021, 18:44:33 | d9f0872 | 94.639% | 485 |
| February 16 2021, 16:03:21 | c00fbb1 | 94.650% | 486 |
| February 16 2021, 04:02:39 | 6cf02b1 | 94.650% | 486 |
| February 15 2021, 20:38:06 | a8b842b | 94.639% | 485 |
| February 15 2021, 12:03:09 | 1e8b568 | 94.650% | 486 |
| February 15 2021, 11:13:35 | 6e6c6a7 | 94.650% | 486 |
| February 13 2021, 00:06:09 | b1ba46b | 94.650% | 486 |
| February 12 2021, 03:10:09 | ac1d130 | 95.643% | 482 |
| February 10 2021, 03:10:29 | a9ea6c9 | 94.650% | 486 |
| February 9 2021, 07:11:13 | 877f3ac | 94.650% | 486 |
| February 8 2021, 22:52:51 | 8a2bcb5 | 94.650% | 486 |
| February 8 2021, 21:32:04 | a2025da | 94.650% | 486 |
| February 8 2021, 21:25:24 | cef2b3f | 94.650% | 486 |
| February 8 2021, 21:24:38 | 70e770b | 94.650% | 486 |
| February 8 2021, 03:19:40 | e9f596a | 94.650% | 486 |
| February 8 2021, 03:06:38 | 0d49ad1 | 94.650% | 486 |
| February 4 2021, 03:10:46 | 1e46324 | 94.650% | 486 |
| February 3 2021, 03:03:29 | d1d6b4e | 94.650% | 486 |
| February 2 2021, 03:12:51 | 76582a6 | 94.650% | 486 |
| February 1 2021, 03:11:02 | 7f5b00c | 94.650% | 486 |
| January 29 2021, 03:19:09 | c26af13 | 94.650% | 486 |
| January 29 2021, 03:18:57 | b5668ec | 94.650% | 486 |
| January 29 2021, 03:16:50 | 9123aa8 | 94.650% | 486 |
| January 26 2021, 12:50:00 | 963d7b8 | 94.650% | 486 |
| January 26 2021, 03:17:48 | 1a38c91 | 94.650% | 486 |
| January 25 2021, 03:23:18 | 4d96ef3 | 94.650% | 486 |
| January 22 2021, 03:23:59 | 8fa6337 | 94.650% | 486 |
| January 19 2021, 12:33:57 | 5556ea4 | 94.650% | 486 |
| January 19 2021, 12:31:04 | 7fa099b | 94.650% | 486 |
| January 19 2021, 03:12:00 | 5abb3a2 | 94.650% | 486 |
| January 19 2021, 03:10:25 | bdbd016 | 94.650% | 486 |
| January 15 2021, 03:20:53 | 8657e38 | 94.650% | 486 |
| January 15 2021, 03:19:45 | 636759c | 94.650% | 486 |
| January 14 2021, 10:12:17 | 1a31316 | 94.650% | 486 |
| January 14 2021, 03:10:46 | b5df82c | 94.650% | 486 |
| January 13 2021, 03:30:55 | 34a6fdb | 94.650% | 486 |
| January 13 2021, 03:24:02 | 4e694e8 | 94.650% | 486 |
| January 12 2021, 03:23:48 | 8182740 | 94.650% | 486 |
| January 11 2021, 03:35:45 | 5877eb8 | 94.650% | 486 |
| January 11 2021, 03:22:27 | 19bcdd4 | 94.650% | 486 |
| January 7 2021, 03:22:09 | deee248 | 94.650% | 486 |
| January 4 2021, 03:19:50 | e34d066 | 94.650% | 486 |
| December 30 2020, 03:15:44 | f316e32 | 94.650% | 486 |
| December 29 2020, 03:15:11 | 859f27b | 94.650% | 486 |
| December 28 2020, 21:36:16 | 7adc1c1 | 94.650% | 486 |
| December 28 2020, 21:15:02 | 493cfe3 | 94.650% | 486 |
| December 28 2020, 03:23:54 | 68a6560 | 94.650% | 486 |
| December 25 2020, 03:29:18 | c7a0f28 | 94.650% | 486 |
| December 22 2020, 03:15:59 | a35fd58 | 94.650% | 486 |
| December 21 2020, 03:23:20 | b93776e | 94.650% | 486 |
| December 18 2020, 03:23:05 | 57648b0 | 94.650% | 486 |
| December 16 2020, 03:24:51 | 6610448 | 94.650% | 486 |
| December 15 2020, 03:31:04 | e9d4fd5 | 94.650% | 486 |
| December 14 2020, 09:39:51 | 72bfc5c | 94.650% | 486 |
| December 14 2020, 09:36:54 | 5dcb0cd | 94.650% | 486 |
| December 14 2020, 09:33:52 | 04c3c83 | 94.650% | 486 |
| December 10 2020, 19:57:08 | a51c014 | 94.650% | 486 |
| December 8 2020, 03:28:51 | 4ffeb5a | 94.650% | 486 |
| December 7 2020, 21:55:17 | 466e88e | 94.650% | 486 |
| December 7 2020, 16:06:47 | 3230ee3 | 94.650% | 486 |
| December 2 2020, 03:24:08 | 6c21923 | 94.650% | 486 |
| December 1 2020, 03:19:46 | b610e22 | 94.650% | 486 |
| November 30 2020, 03:38:02 | aeb3bc0 | 94.650% | 486 |
| November 27 2020, 09:12:53 | 6be6322 | 94.650% | 486 |
| November 27 2020, 03:22:13 | a6a0324 | 94.650% | 486 |
| November 25 2020, 18:20:47 | eedba3b | 94.650% | 486 |
| November 23 2020, 03:32:07 | ada140f | 94.650% | 486 |
| November 17 2020, 03:22:09 | 3dcfa44 | 94.650% | 486 |
| November 16 2020, 03:42:34 | ac12390 | 94.650% | 486 |
| November 16 2020, 03:42:15 | 421d473 | 94.650% | 486 |
| November 14 2020, 20:07:10 | 3a88e95 | 94.650% | 486 |
| November 14 2020, 19:43:36 | 40b5cfd | 94.650% | 486 |
| November 11 2020, 03:29:51 | ac47bbe | 94.650% | 486 |
| November 6 2020, 03:27:29 | 92544b9 | 94.650% | 486 |
| November 5 2020, 14:35:55 | 328fdd1 | 94.650% | 486 |
| November 5 2020, 10:52:59 | cba87ef | 94.595% | 481 |
| November 5 2020, 10:49:37 | 2c4d7ee | 94.595% | 481 |
| November 5 2020, 10:48:35 | cab1e54 | 94.595% | 481 |
| November 5 2020, 10:42:36 | 6afaba8 | 94.595% | 481 |