Roave/no-floaters
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| July 28 2025, 22:50:39 | 286ced3 | 100.000% | 306 |
| July 27 2025, 20:57:27 | 389716b | 100.000% | 306 |
| July 27 2025, 04:36:29 | c0ef161 | 100.000% | 306 |
| July 27 2025, 02:46:56 | a960888 | 100.000% | 306 |
| July 24 2025, 03:56:29 | 58d7deb | 100.000% | 306 |
| July 21 2025, 22:33:46 | 52abe47 | 100.000% | 306 |
| July 18 2025, 03:50:59 | 2325fc5 | 100.000% | 306 |
| July 17 2025, 21:00:17 | 60b577f | 100.000% | 306 |
| July 17 2025, 00:00:42 | e3fd73e | 100.000% | 306 |
| July 16 2025, 01:53:09 | 075ee99 | 100.000% | 306 |
| July 11 2025, 06:01:17 | db0fda8 | 100.000% | 306 |
| July 6 2025, 00:37:30 | ca1241b | 100.000% | 306 |
| July 5 2025, 02:45:41 | b7e2b5e | 100.000% | 306 |
| July 4 2025, 10:39:26 | 639a58e | 100.000% | 306 |
| July 2 2025, 01:25:09 | c95889c | 100.000% | 306 |
| June 29 2025, 01:10:09 | 715b539 | 100.000% | 306 |
| June 28 2025, 02:33:18 | 0294e04 | 100.000% | 306 |
| June 25 2025, 02:48:35 | e2c4cc3 | 100.000% | 306 |
| June 20 2025, 17:02:01 | 2196feb | 100.000% | 306 |
| June 17 2025, 03:56:42 | b0d8793 | 100.000% | 306 |
| June 12 2025, 19:37:38 | 9229f68 | 100.000% | 306 |
| June 10 2025, 02:02:53 | 08f4127 | 100.000% | 306 |
| June 5 2025, 02:16:51 | 27dd630 | 100.000% | 306 |
| June 4 2025, 19:10:49 | 13a9090 | 100.000% | 306 |
| May 31 2025, 08:56:15 | 451908b | 100.000% | 306 |
| May 30 2025, 00:35:09 | 2d5a1cf | 100.000% | 306 |
| May 29 2025, 20:36:35 | b098f8c | 100.000% | 306 |
| May 26 2025, 02:54:22 | a8e3787 | 100.000% | 306 |
| May 24 2025, 02:11:46 | 2e5434a | 100.000% | 306 |
| May 21 2025, 22:12:16 | 66917fe | 100.000% | 306 |
| May 20 2025, 11:38:50 | a78b104 | 100.000% | 306 |
| May 15 2025, 03:57:28 | 89d85f1 | 100.000% | 306 |
| May 14 2025, 02:49:31 | 1c7c513 | 100.000% | 306 |
| May 11 2025, 07:12:51 | fe8ecf0 | 100.000% | 306 |
| May 11 2025, 03:01:24 | fa3d2a5 | 100.000% | 306 |
| May 8 2025, 02:10:59 | 5820682 | 100.000% | 306 |
| May 5 2025, 18:47:29 | a503bdd | 100.000% | 306 |
| May 3 2025, 17:25:05 | 6c73b1f | 100.000% | 306 |
| May 3 2025, 02:06:22 | 7b09bad | 100.000% | 306 |
| May 2 2025, 18:55:18 | 81fbd90 | 100.000% | 306 |
| April 30 2025, 01:36:24 | cce4dc2 | 100.000% | 306 |
| April 29 2025, 03:41:42 | 1a5cc45 | 100.000% | 306 |
| April 28 2025, 22:51:00 | e1d833c | 100.000% | 306 |
| April 26 2025, 02:48:48 | a4e833a | 100.000% | 306 |
| April 21 2025, 23:24:12 | 4150699 | 100.000% | 306 |
| April 16 2025, 19:51:09 | f415f59 | 100.000% | 306 |
| April 16 2025, 03:16:07 | 1388323 | 100.000% | 306 |
| April 14 2025, 02:41:04 | 13555d0 | 100.000% | 306 |
| April 13 2025, 06:53:51 | 86d23a4 | 100.000% | 306 |
| April 11 2025, 02:30:45 | 8568375 | 100.000% | 306 |
| April 8 2025, 03:21:43 | fde1df3 | 100.000% | 306 |
| April 4 2025, 13:42:09 | 96b6650 | 100.000% | 306 |
| March 31 2025, 19:25:59 | 47dbc19 | 100.000% | 306 |
| March 29 2025, 17:39:58 | afba6d8 | 100.000% | 308 |