judus/argon-database
Type coverage history
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| July 26 2025, 16:26:52 | 10272f3 | 100.000% | 289 |
| July 26 2025, 16:16:02 | 2d6fca8 | 100.000% | 289 |
| July 26 2025, 16:02:19 | 5dc5e6a | 100.000% | 289 |
| Date | Commit | Type Coverage | Analysed Expression # |
|---|---|---|---|
| July 26 2025, 16:26:52 | 10272f3 | 100.000% | 289 |
| July 26 2025, 16:16:02 | 2d6fca8 | 100.000% | 289 |
| July 26 2025, 16:02:19 | 5dc5e6a | 100.000% | 289 |