| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| corrupt-gz-file.bin | D | 04-Jul-2025 | 7 KiB | |||
| early-flush.rs | D | 04-Jul-2025 | 429 | 19 | 14 | |
| empty-read.rs | D | 04-Jul-2025 | 3.2 KiB | 81 | 74 | |
| good-file.gz | D | 04-Jul-2025 | 6.6 KiB | 734 | 733 | |
| good-file.txt | D | 04-Jul-2025 | 14.5 KiB | 734 | 733 | |
| gunzip.rs | D | 04-Jul-2025 | 2.2 KiB | 76 | 61 | |
| multi.gz | D | 04-Jul-2025 | 53 | 3 | 2 | |
| multi.txt | D | 04-Jul-2025 | 13 | 3 | 2 | |
| zero-write.rs | D | 04-Jul-2025 | 200 | 7 | 6 |