KickflipCli/kickflip-src
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| January 7 2022, 23:53:41 | abf7e30 | 89.383% | 1.6K |
| January 7 2022, 23:47:07 | 5b0771f | 89.383% | 1.6K |
| January 7 2022, 22:52:42 | c104ff5 | 89.383% | 1.6K |
| January 7 2022, 22:46:08 | ada2708 | 89.383% | 1.6K |
| January 7 2022, 22:25:11 | 89fe3df | 89.383% | 1.6K |
| January 7 2022, 15:48:30 | 420ae3c | 89.433% | 1.6K |
| January 7 2022, 15:41:57 | ba8d9af | 89.433% | 1.6K |
| January 7 2022, 15:22:56 | 276e4d1 | 89.433% | 1.6K |
| January 7 2022, 06:13:06 | 5e11b33 | 89.433% | 1.6K |
| January 7 2022, 06:02:42 | 281c277 | 89.452% | 1.6K |
| January 7 2022, 04:19:07 | dbd2efd | 89.235% | 1.7K |
| January 7 2022, 03:39:41 | 8353856 | 89.235% | 1.7K |
| January 7 2022, 03:33:07 | 27fc59e | 89.235% | 1.7K |
| January 7 2022, 03:03:39 | ac1b6d3 | 89.273% | 1.7K |
| January 7 2022, 02:37:30 | f47a07f | 89.248% | 1.7K |
| January 7 2022, 01:55:15 | 14f9fdc | 89.284% | 1.6K |
| January 6 2022, 18:54:15 | 95b3bcd | 89.260% | 1.6K |
| January 6 2022, 18:49:11 | aa484ed | 89.260% | 1.6K |
| January 6 2022, 18:32:02 | 4323b1c | 89.260% | 1.6K |
| January 6 2022, 18:28:53 | d0fe4c5 | 89.260% | 1.6K |
| January 6 2022, 18:02:36 | 74956de | 89.260% | 1.6K |
| January 6 2022, 18:02:34 | cedf885 | 89.260% | 1.6K |
| January 6 2022, 17:36:48 | 4ba1c26 | 89.260% | 1.6K |
| January 6 2022, 17:36:45 | d997231 | 89.260% | 1.6K |
| January 6 2022, 16:58:34 | 96407c9 | 89.260% | 1.6K |
| January 6 2022, 01:12:24 | 95a2079 | 89.260% | 1.6K |
| January 6 2022, 01:12:22 | 5ff31d0 | 89.260% | 1.6K |
| January 6 2022, 00:56:35 | e8c0924 | 89.260% | 1.6K |
| January 5 2022, 23:56:18 | e120ca0 | 89.884% | 1.6K |
| January 5 2022, 22:54:58 | 85c3ac5 | 89.822% | 1.6K |
| January 5 2022, 22:54:55 | c77875f | 89.822% | 1.6K |
| January 5 2022, 22:43:32 | 3b04673 | 89.822% | 1.6K |
| January 5 2022, 21:24:53 | 966e311 | 89.822% | 1.6K |
| January 5 2022, 21:10:59 | 6b859e1 | 89.822% | 1.6K |
| January 5 2022, 21:03:05 | 1f83d18 | 89.822% | 1.6K |
| January 5 2022, 20:15:25 | 6392467 | 89.822% | 1.6K |
| January 5 2022, 20:15:22 | 3f4bba0 | 89.822% | 1.6K |
| January 5 2022, 19:52:33 | 19a9307 | 89.822% | 1.6K |
| January 5 2022, 19:52:30 | 9a3368a | 89.822% | 1.6K |
| January 5 2022, 19:37:45 | 69fd6ba | 89.822% | 1.6K |
| January 5 2022, 19:32:46 | 65afd4c | 89.822% | 1.6K |
| January 5 2022, 19:22:57 | d3af500 | 89.822% | 1.6K |
| January 5 2022, 19:13:21 | 76dceee | 89.822% | 1.6K |
| January 5 2022, 19:00:07 | a36553a | 89.822% | 1.6K |
| January 5 2022, 18:46:28 | 7268942 | 89.822% | 1.6K |
| January 5 2022, 18:25:11 | 9b75529 | 89.822% | 1.6K |
| January 5 2022, 18:21:05 | 62ae349 | 89.822% | 1.6K |
| January 5 2022, 07:18:22 | 2d24994 | 89.822% | 1.6K |
| January 5 2022, 07:11:57 | eeeee1b | 89.822% | 1.6K |
| January 5 2022, 06:04:32 | 393e80c | 89.822% | 1.6K |
| January 5 2022, 05:28:11 | 49637d9 | 89.835% | 1.6K |
| January 5 2022, 05:18:45 | b9051f5 | 89.835% | 1.6K |
| January 5 2022, 04:58:19 | 2af1995 | 89.835% | 1.6K |
| January 5 2022, 02:20:56 | 52cf07e | 89.790% | 1.6K |
| January 5 2022, 02:05:42 | 3fdac8d | 89.790% | 1.6K |
| January 5 2022, 02:00:40 | 9fc7a5f | 89.790% | 1.6K |
| January 4 2022, 22:18:56 | d44143c | 89.790% | 1.6K |
| January 4 2022, 22:03:48 | c44fe67 | 89.790% | 1.6K |
| January 4 2022, 21:41:11 | 6e426e7 | 89.783% | 1.6K |
| January 4 2022, 21:37:45 | d55bfa9 | 89.783% | 1.6K |
| January 4 2022, 06:51:43 | cffe67f | 89.707% | 1.6K |
| January 4 2022, 06:43:29 | c44a3d4 | 89.707% | 1.6K |
| January 4 2022, 06:34:48 | 5ee5b87 | 89.707% | 1.6K |
| January 4 2022, 06:30:54 | b21b4ac | 89.655% | 1.5K |
| January 4 2022, 06:13:25 | bf1a038 | 89.655% | 1.5K |
| January 4 2022, 06:04:21 | 607c611 | 89.655% | 1.5K |
| January 4 2022, 05:40:12 | ef0e26d | 89.655% | 1.5K |
| January 4 2022, 05:23:00 | d8b54a3 | 89.655% | 1.5K |
| January 4 2022, 05:17:15 | cb11701 | 89.655% | 1.5K |
| January 4 2022, 05:05:13 | 4cf861b | 89.655% | 1.5K |
| January 4 2022, 05:03:45 | f5b828f | 89.655% | 1.5K |
| January 4 2022, 04:39:15 | ca5f9af | 89.655% | 1.5K |
| January 4 2022, 02:08:53 | c9b46dc | 89.655% | 1.5K |
| January 4 2022, 02:01:02 | eb884f1 | 89.655% | 1.5K |
| January 4 2022, 01:44:06 | 175890a | 89.655% | 1.5K |
| January 4 2022, 01:35:10 | ae46967 | 89.655% | 1.5K |
| January 3 2022, 20:17:06 | cc2cacc | 89.655% | 1.5K |
| January 3 2022, 07:52:56 | 61854c9 | 89.649% | 1.5K |
| January 3 2022, 07:15:01 | 9cb5e67 | 89.649% | 1.5K |
| January 3 2022, 05:59:57 | 8dcc5b1 | 89.573% | 1.5K |