judus/argon-prophecy
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| 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 |