| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| corrupt-gz-file.bin | D | 03-May-2024 | 7 KiB | |||
| early-flush.rs | D | 03-May-2024 | 451 | 21 | 15 | |
| empty-read.rs | D | 03-May-2024 | 3.2 KiB | 83 | 75 | |
| good-file.gz | D | 03-May-2024 | 6.6 KiB | 734 | 733 | |
| good-file.txt | D | 03-May-2024 | 14.5 KiB | 734 | 733 | |
| gunzip.rs | D | 03-May-2024 | 2.2 KiB | 78 | 62 | |
| multi.gz | D | 03-May-2024 | 53 | 3 | 2 | |
| multi.txt | D | 03-May-2024 | 13 | 3 | 2 | |
| zero-write.rs | D | 03-May-2024 | 222 | 9 | 7 |