judus/argon-support
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| May 24 2026, 14:26:31 | 936415d | 100.000% | 72 |
| May 24 2026, 13:37:50 | aa45021 | 100.000% | 72 |
| May 24 2026, 12:28:44 | d05b785 | 100.000% | 72 |
| May 24 2026, 09:32:08 | beae03d | 100.000% | 72 |