buggregator/trap
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| October 14 2026, 20:54:29 | a0f8b40 | 99.227% | 10K |
| October 14 2026, 20:44:58 | 5c4d84c | 99.194% | 10K |
| October 14 2026, 20:37:18 | eca830e | 99.184% | 10K |
| October 14 2026, 20:30:09 | f5f7615 | 99.184% | 10K |
| October 14 2026, 20:23:36 | e717fae | 99.184% | 10K |
| October 14 2026, 20:12:37 | 11f7cec | 99.183% | 10K |
| October 14 2026, 20:03:16 | 16d725e | 99.183% | 10K |
| October 14 2026, 19:55:43 | b66a282 | 99.183% | 10K |
| October 14 2026, 19:48:23 | 8b1eb6d | 99.173% | 10K |
| October 14 2026, 19:40:58 | 3208adf | 99.173% | 10K |
| October 14 2026, 19:34:15 | f4c804f | 99.173% | 10K |
| October 14 2026, 19:22:45 | 6f53cda | 99.160% | 10K |
| October 14 2026, 19:14:37 | ed88322 | 99.160% | 10K |
| October 14 2026, 19:05:29 | 6c26ae5 | 99.159% | 9.9K |
| October 14 2026, 18:17:26 | e1e384f | 98.414% | 10K |
| October 14 2026, 17:03:33 | ce6decd | 98.411% | 10K |
| October 14 2026, 17:01:12 | ff45941 | 98.377% | 9.7K |
| October 14 2026, 14:18:33 | 891b8cd | 98.145% | 8K |
| October 14 2026, 11:53:46 | 1a0a3d6 | 98.145% | 8K |
| September 8 2026, 09:55:47 | 5a1d162 | 98.118% | 8K |
| June 16 2026, 11:53:15 | a5e1f84 | 98.141% | 8K |
| April 7 2026, 19:58:33 | 4f1ec86 | 98.109% | 7.8K |
| December 27 2025, 20:30:13 | 99977a2 | 98.106% | 7.8K |
| November 30 2025, 13:24:47 | 22068dd | 98.106% | 7.8K |
| November 30 2025, 13:21:21 | 291d79a | 98.106% | 7.8K |
| November 30 2025, 12:55:51 | d48ea7a | 98.106% | 7.8K |
| November 20 2025, 15:31:53 | 24b7597 | 98.106% | 7.8K |
| November 20 2025, 15:12:46 | 37029f7 | 98.130% | 7.8K |
| September 8 2025, 19:45:32 | eb3f881 | 98.130% | 7.8K |
| September 8 2025, 19:05:52 | bb2ef2b | 98.142% | 7.8K |
| September 5 2025, 19:20:46 | ce73345 | 98.117% | 7.8K |
| September 5 2025, 19:18:48 | 6ee27aa | 98.117% | 7.8K |
| June 9 2025, 08:57:16 | 2ad39d4 | 98.113% | 7.7K |
| June 8 2025, 13:22:48 | 168a1cf | 98.138% | 7.7K |
| June 5 2025, 09:47:20 | 7c5d409 | 98.136% | 7.7K |
| April 16 2025, 14:18:49 | 3c0f0e6 | 98.136% | 7.7K |
| April 3 2025, 00:03:24 | b90a384 | 98.136% | 7.7K |
| April 2 2025, 23:30:24 | 2cc50cb | 98.136% | 7.7K |
| March 6 2025, 10:27:15 | b6ad0a8 | 98.136% | 7.7K |
| January 23 2025, 08:13:56 | f971f65 | 98.127% | 7.7K |
| January 19 2025, 19:14:48 | 4e207ba | 98.126% | 7.7K |
| January 19 2025, 18:09:15 | d3eb7a1 | 98.126% | 7.7K |
| January 16 2025, 20:25:54 | f306fd0 | 98.062% | 7.7K |
| January 15 2025, 10:30:16 | b03ad64 | 98.045% | 7.6K |
| January 15 2025, 09:24:15 | 3a9cf75 | 98.039% | 7.6K |
| December 7 2024, 21:10:16 | 7c98c20 | 98.039% | 7.6K |
| September 25 2024, 11:25:25 | 1e6f7d6 | 98.039% | 7.6K |
| September 24 2024, 17:17:51 | 00c8b8f | 98.034% | 7.6K |
| July 22 2024, 15:41:26 | e0f40c8 | 98.013% | 7.6K |
| June 29 2024, 19:10:25 | e0ea90a | 97.963% | 7.6K |
| June 23 2024, 14:22:02 | 283740b | 97.846% | 7.6K |
| June 20 2024, 18:55:06 | 45bc556 | 97.855% | 7.5K |
| June 20 2024, 18:37:41 | bb2bbc2 | 97.855% | 7.5K |
| June 17 2024, 07:00:25 | 2e034ef | 97.855% | 7.5K |
| June 14 2024, 11:14:31 | 457cae4 | 97.855% | 7.5K |
| June 4 2024, 12:14:27 | af9ad19 | 97.978% | 6.9K |
| June 3 2024, 20:10:32 | 82bdfdb | 97.978% | 6.9K |
| June 2 2024, 07:26:22 | 18f07e6 | 97.978% | 6.9K |
| June 1 2024, 20:11:45 | a90a651 | 97.978% | 6.9K |
| May 29 2024, 17:09:43 | 043e632 | 97.497% | 6.3K |
| May 28 2024, 17:38:49 | 7e646e0 | 97.496% | 6.3K |
| May 24 2024, 15:02:14 | 3d72a7e | 97.506% | 6.2K |
| May 23 2024, 14:56:50 | a968f18 | 97.505% | 6.2K |
| May 23 2024, 11:58:29 | c415666 | 97.505% | 6.2K |
| May 18 2024, 21:05:22 | a73c7c0 | 97.505% | 6.2K |
| May 14 2024, 07:54:27 | 5884f2c | 97.537% | 6.2K |
| May 14 2024, 07:32:23 | 23ebc91 | 97.537% | 6.2K |
| May 13 2024, 10:33:00 | 25eb86e | 97.537% | 6.2K |