judus/argon-prophecy
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| May 23 2026, 16:48:05 | 5a940c9 | 99.503% | 2.2K |
| May 23 2026, 15:11:07 | efaf2c7 | 99.482% | 2.1K |
| May 23 2026, 14:33:29 | 024cc2c | 99.319% | 1.4K |
| May 21 2026, 10:42:11 | 6165afb | 99.008% | 1K |
| May 21 2026, 10:39:09 | f45471d | 99.008% | 1K |
| May 21 2026, 10:37:54 | a478b3b | 99.008% | 1K |
| May 21 2026, 10:19:40 | ca46a4f | 99.008% | 1K |
| May 21 2026, 09:42:30 | 7cd4e4a | 99.008% | 1K |
| May 6 2025, 21:21:50 | a3888a5 | 99.421% | 4.6K |
| May 6 2025, 21:01:51 | 8246a9d | 99.421% | 4.6K |
| May 6 2025, 20:53:49 | cec3101 | 99.421% | 4.6K |
| May 6 2025, 20:53:00 | 6d71aea | 99.421% | 4.6K |
| May 3 2025, 16:45:09 | 6985216 | 99.421% | 4.6K |
| April 27 2025, 23:07:58 | 0c01117 | 98.174% | 4.7K |