spiral/core
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| November 8 2024, 08:53:06 | c3d75eb | 97.928% | 2.2K |
| October 22 2024, 21:48:36 | feee88a | 97.877% | 2.2K |
| October 6 2024, 11:46:32 | 18e5c69 | 97.928% | 2.2K |
| September 30 2024, 19:02:14 | e3e616f | 97.928% | 2.2K |
| September 23 2024, 07:58:42 | 6b4b0c6 | 97.928% | 2.2K |
| September 23 2024, 07:49:48 | 770875b | 97.928% | 2.2K |
| September 23 2024, 07:43:56 | 0283669 | 97.928% | 2.2K |
| September 10 2024, 16:54:43 | 53bec6e | 97.924% | 2.2K |
| September 10 2024, 16:05:47 | 2746d4f | 97.882% | 2.2K |
| September 6 2024, 09:01:15 | 7646b38 | 97.878% | 2.2K |
| September 5 2024, 20:07:53 | 5969675 | 97.878% | 2.2K |
| September 5 2024, 20:06:04 | e06f05e | 97.878% | 2.2K |
| September 5 2024, 19:36:16 | 6676620 | 97.867% | 2.2K |
| September 5 2024, 13:04:09 | 4e83c4a | 97.860% | 2.1K |
| September 3 2024, 16:55:22 | d1f569e | 97.860% | 2.1K |
| September 2 2024, 09:34:50 | bc484bb | 97.860% | 2.1K |
| August 22 2024, 09:44:30 | cfc3adf | 97.860% | 2.1K |
| May 30 2024, 20:41:04 | d513f6f | 97.860% | 2.1K |
| May 22 2024, 18:42:09 | af62783 | 97.849% | 2.1K |
| May 22 2024, 18:34:58 | 48d512b | 97.849% | 2.1K |
| May 6 2024, 13:06:50 | 1924928 | 97.849% | 2.1K |
| March 11 2024, 12:45:33 | 7b470ae | 97.843% | 2.1K |
| February 29 2024, 13:51:46 | 2bffec0 | 97.847% | 2.1K |
| February 29 2024, 13:09:34 | ff67345 | 97.847% | 2.1K |
| February 21 2024, 11:45:06 | c864b63 | 97.840% | 2.1K |
| February 20 2024, 08:47:19 | ca45603 | 97.901% | 2.1K |
| February 15 2024, 18:28:08 | deb032b | 97.879% | 2.1K |
| February 15 2024, 18:10:07 | 408c4fc | 97.876% | 2.1K |
| February 13 2024, 08:37:34 | 7ffbc07 | 97.828% | 2K |
| January 19 2024, 16:11:54 | 5d2bc2f | 97.823% | 2K |
| January 11 2024, 13:31:46 | c6385d7 | 97.803% | 2K |
| January 11 2024, 09:34:30 | 109da8b | 97.803% | 2K |
| January 9 2024, 09:11:59 | e9bf8b0 | 97.803% | 2K |
| January 3 2024, 12:42:03 | b34d72c | 97.557% | 1.7K |
| December 21 2023, 14:43:04 | 8147d30 | 97.538% | 1.7K |
| December 21 2023, 14:16:41 | a0a6e1d | 97.538% | 1.7K |
| December 5 2023, 18:19:25 | 8f79260 | 97.548% | 1.7K |
| November 24 2023, 08:28:12 | 34bdaee | 97.548% | 1.7K |
| October 19 2023, 14:19:18 | 9d9c39f | 97.544% | 1.7K |
| September 6 2023, 14:38:30 | 9f327a8 | 97.544% | 1.7K |
| August 29 2023, 13:49:56 | 4cd83b4 | 97.528% | 1.6K |
| August 18 2023, 09:58:53 | f276ffc | 97.515% | 1.6K |
| August 14 2023, 17:47:53 | e10e617 | 97.510% | 1.6K |
| August 14 2023, 16:55:13 | c070f07 | 97.510% | 1.6K |
| August 10 2023, 08:14:06 | 68dc789 | 97.504% | 1.6K |
| July 18 2023, 12:13:30 | 67c0bc6 | 97.490% | 1.6K |
| July 12 2023, 09:41:21 | b7b6d50 | 97.490% | 1.6K |
| May 22 2023, 13:18:45 | 812a921 | 97.548% | 1.6K |
| May 8 2023, 07:44:26 | c601fb5 | 97.264% | 1.3K |
| April 29 2023, 09:59:02 | a9b9828 | 97.186% | 1.3K |
| April 26 2023, 12:03:10 | 9a2fd54 | 97.250% | 1.3K |
| April 25 2023, 17:32:09 | a983c7b | 97.250% | 1.3K |
| April 20 2023, 16:02:14 | baa4fcd | 97.250% | 1.3K |
| April 13 2023, 16:14:13 | 32a3b81 | 97.250% | 1.3K |
| April 13 2023, 16:13:15 | 6eda1c4 | 97.250% | 1.3K |
| April 10 2023, 08:50:21 | 32a2d86 | 97.250% | 1.3K |
| March 24 2023, 07:21:30 | 9a499a5 | 97.343% | 1.4K |
| February 19 2023, 07:31:17 | dffbc4e | 97.343% | 1.4K |
| January 24 2023, 20:30:35 | ee4237f | 96.915% | 1.1K |
| January 24 2023, 11:54:35 | 9d0a5a3 | 96.903% | 1K |
| January 24 2023, 07:53:41 | 8673702 | 95.950% | 1.1K |
| January 23 2023, 09:12:21 | a978afa | 95.935% | 1.1K |
| January 19 2023, 08:14:13 | 731a93a | 95.920% | 1.1K |
| December 23 2022, 13:32:05 | 4745ec8 | 95.920% | 1.1K |
| December 23 2022, 13:23:30 | 7744dc0 | 95.920% | 1.1K |
| December 8 2022, 18:07:46 | a4f4c99 | 95.920% | 1.1K |
| December 8 2022, 07:54:31 | 4e721be | 95.920% | 1.1K |
| November 18 2022, 07:56:58 | dd25f84 | 95.913% | 1.1K |
| November 17 2022, 15:43:37 | 8afd2e8 | 95.913% | 1.1K |
| October 21 2022, 09:40:00 | dbf4e3f | 95.913% | 1.1K |
| October 18 2022, 16:23:07 | 057911b | 95.913% | 1.1K |
| October 18 2022, 16:17:52 | 4172bb8 | 95.323% | 898 |
| October 3 2022, 16:09:48 | a7c542f | 95.323% | 898 |
| September 29 2022, 15:03:22 | fc67ba9 | 95.323% | 898 |
| September 29 2022, 14:53:44 | a1519b4 | 95.323% | 898 |
| September 29 2022, 14:38:21 | af203df | 95.323% | 898 |
| September 29 2022, 14:00:53 | 3cd5bb5 | 95.323% | 898 |
| September 28 2022, 09:35:11 | 44db358 | 95.323% | 898 |
| September 16 2022, 09:26:41 | bf83d62 | 95.323% | 898 |
| September 13 2022, 15:08:11 | 927eae9 | 95.323% | 898 |
| September 13 2022, 14:55:23 | 5dd4120 | 95.323% | 898 |
| September 13 2022, 14:50:59 | deaf183 | 95.323% | 898 |
| September 13 2022, 11:38:26 | bc2b323 | 95.323% | 898 |