nicmart/tree
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| June 13 2024, 21:14:42 | 7777bd7 | 99.301% | 572 |
| March 8 2024, 10:42:24 | e07ceef | 99.301% | 572 |
| March 8 2024, 08:24:06 | 12768f9 | 99.301% | 572 |
| January 4 2024, 11:24:17 | 9c8c1bf | 99.301% | 572 |
| January 1 2024, 11:44:53 | 69cfd8d | 99.301% | 572 |
| January 1 2024, 11:40:20 | 2f68d5f | 99.301% | 572 |
| December 12 2023, 11:56:55 | ec23b25 | 99.301% | 572 |
| December 2 2023, 13:24:56 | 8d02952 | 99.301% | 572 |
| December 2 2023, 13:18:56 | 00ae0cb | 99.301% | 572 |
| December 2 2023, 13:09:37 | 4b2d48f | 99.301% | 572 |
| June 18 2023, 12:36:55 | c265a77 | 99.301% | 572 |
| June 18 2023, 12:35:35 | 1005d09 | 99.301% | 572 |
| June 18 2023, 12:18:31 | fa2772f | 99.290% | 563 |
| February 24 2023, 15:10:48 | 1e00b25 | 99.290% | 563 |
| February 24 2023, 15:07:38 | 0ef2650 | 99.290% | 563 |
| February 24 2023, 15:04:18 | ff0a13a | 99.308% | 578 |
| February 24 2023, 14:59:27 | ebc6c28 | 99.308% | 578 |
| February 7 2023, 15:14:55 | 6e3e8a6 | 99.308% | 578 |
| February 7 2023, 15:14:41 | 5347c74 | 99.308% | 578 |
| February 7 2023, 15:13:51 | 61c179d | 99.308% | 578 |
| January 31 2023, 11:31:06 | 8387cc4 | 99.308% | 578 |
| January 30 2023, 11:41:22 | f37fe03 | 99.308% | 578 |
| January 29 2023, 14:15:56 | c1e7070 | 99.308% | 578 |
| January 29 2023, 14:14:58 | fd6954c | 99.308% | 578 |
| January 28 2023, 18:20:26 | 54caf72 | 99.308% | 578 |
| January 28 2023, 18:11:18 | c8f4b8b | 99.308% | 578 |
| January 28 2023, 18:08:23 | f331567 | 99.308% | 578 |
| January 28 2023, 18:04:31 | ae0f725 | 99.308% | 578 |
| January 28 2023, 17:55:54 | 747346b | 99.308% | 578 |
| January 28 2023, 17:55:29 | faa73f4 | 99.308% | 578 |
| January 28 2023, 17:55:14 | d85d36c | 99.308% | 578 |
| January 28 2023, 17:54:55 | 7dde62b | 99.308% | 578 |
| January 28 2023, 17:54:24 | 5630648 | 99.308% | 578 |
| January 28 2023, 17:48:46 | 805b824 | 99.303% | 574 |
| January 28 2023, 17:48:30 | 1db10d8 | 99.303% | 574 |
| January 28 2023, 17:48:17 | 8da0536 | 99.303% | 574 |
| January 28 2023, 17:47:51 | 383cccf | 99.303% | 574 |
| January 28 2023, 17:47:20 | e9424de | 99.303% | 574 |
| January 28 2023, 17:46:57 | 764bc9d | 99.302% | 573 |
| January 28 2023, 17:46:06 | 6d75f58 | 99.302% | 573 |
| January 28 2023, 17:38:49 | 0dce204 | 99.298% | 570 |
| January 28 2023, 17:35:57 | 0297df0 | 99.298% | 570 |
| January 28 2023, 17:34:12 | adfb4cb | 99.298% | 570 |
| January 28 2023, 17:32:25 | 5df2c2d | 99.298% | 570 |
| January 28 2023, 17:29:49 | a32954a | 99.298% | 570 |
| January 28 2023, 17:23:09 | 0c6f21f | 99.307% | 577 |
| January 28 2023, 17:22:23 | 909d3e4 | 99.307% | 577 |
| January 28 2023, 17:19:52 | 20fe330 | 99.307% | 577 |
| January 27 2023, 16:33:26 | bfd5123 | 99.307% | 577 |
| January 27 2023, 16:32:05 | 1885085 | 99.307% | 577 |
| January 27 2023, 16:29:45 | 140d85c | 93.827% | 567 |
| January 27 2023, 16:22:21 | 7bc8195 | 93.421% | 532 |
| January 27 2023, 16:20:38 | 35ad0b3 | 93.421% | 532 |
| January 27 2023, 16:19:28 | 200f783 | 93.421% | 532 |
| January 27 2023, 16:18:54 | 56a52ab | 93.421% | 532 |
| January 27 2023, 16:17:47 | d4081d8 | 93.421% | 532 |
| January 27 2023, 16:09:33 | 9262096 | 93.421% | 532 |
| January 27 2023, 16:09:14 | e09704f | 93.421% | 532 |
| January 27 2023, 16:08:42 | 3930de9 | 93.421% | 532 |
| January 27 2023, 16:06:05 | 3a8ee5d | 93.421% | 532 |
| January 27 2023, 16:02:09 | 65d4323 | 93.421% | 532 |
| January 27 2023, 15:46:56 | 9d55b78 | 93.421% | 532 |
| January 27 2023, 13:30:44 | da765a5 | 93.421% | 532 |
| January 27 2023, 13:28:56 | 917455b | 93.421% | 532 |
| January 27 2023, 13:28:30 | 28184f5 | 93.421% | 532 |
| January 27 2023, 13:11:21 | b9b4e0b | 93.421% | 532 |
| January 27 2023, 13:11:00 | 5df2bb0 | 93.421% | 532 |
| January 27 2023, 13:10:40 | 27e7242 | 93.421% | 532 |
| January 27 2023, 13:09:59 | 85e0340 | 93.421% | 532 |
| January 27 2023, 13:00:34 | 5385379 | 93.421% | 532 |
| January 27 2023, 12:53:17 | d3f5151 | 93.421% | 532 |
| January 27 2023, 12:52:41 | 3f93944 | 93.421% | 532 |
| January 27 2023, 12:51:47 | 154ecd2 | 93.421% | 532 |
| January 27 2023, 12:51:25 | 0ad900c | 93.421% | 532 |
| January 27 2023, 12:38:59 | 8f491c1 | 93.421% | 532 |
| January 27 2023, 12:38:45 | bac9e5f | 93.421% | 532 |
| January 27 2023, 12:36:06 | 0996294 | 93.421% | 532 |
| January 26 2023, 11:25:50 | 8d52ed3 | 93.421% | 532 |
| January 26 2023, 11:24:15 | 900e3f1 | 93.421% | 532 |
| January 26 2023, 11:21:44 | 578eb77 | 93.421% | 532 |
| January 26 2023, 11:18:52 | 6a31656 | 93.421% | 532 |
| January 26 2023, 11:16:27 | c4a99d0 | 93.421% | 532 |
| January 26 2023, 11:14:50 | ce6b61e | 93.421% | 532 |
| January 26 2023, 11:14:34 | 498d6f5 | 93.421% | 532 |
| January 26 2023, 11:14:18 | d4f1fee | 93.421% | 532 |
| January 26 2023, 11:13:07 | f753029 | 93.421% | 532 |
| January 26 2023, 11:06:42 | 9b49b6c | 93.421% | 532 |
| October 4 2022, 14:47:42 | 732b538 | 93.421% | 532 |
| October 4 2022, 14:46:43 | 23beea0 | 93.470% | 536 |
| October 4 2022, 14:43:06 | ac788aa | 93.470% | 536 |
| October 4 2022, 14:42:40 | a431d32 | 93.470% | 536 |
| October 4 2022, 14:39:47 | 9be18a4 | 93.470% | 536 |
| October 4 2022, 14:38:12 | 1defb69 | 93.470% | 536 |
| October 4 2022, 14:36:27 | e14f401 | 93.470% | 536 |
| October 4 2022, 14:33:50 | e992740 | 93.470% | 536 |
| October 4 2022, 14:25:16 | a56ca0f | 93.470% | 536 |
| October 4 2022, 14:17:42 | 65589df | 93.470% | 536 |
| October 4 2022, 14:14:15 | 89e2627 | 93.470% | 536 |
| October 4 2022, 14:12:15 | 16c89c0 | 93.470% | 536 |
| October 4 2022, 14:11:11 | b967525 | 93.470% | 536 |
| October 4 2022, 14:10:47 | ac720eb | 93.470% | 536 |
| October 4 2022, 14:09:05 | 718e03b | 93.470% | 536 |
| October 4 2022, 14:08:35 | b49b590 | 93.470% | 536 |
| October 4 2022, 14:07:10 | 4e616c6 | 93.470% | 536 |