Expand description
Shared helpers for reading on-disk corpus directories.
Structsยง
- Corpus
DirEntry - A single corpus file on disk.
Constantsยง
- CORPUS_
SUBDIR ๐ - MAX_
CORPUS_ ๐ENTRIES - MAX_
CORPUS_ ๐TREE_ DEPTH - MAX_
CORPUS_ ๐TREE_ DIRS - WORKER_
DIR_ ๐PREFIX
Functionsยง
- canonical_
replay_ dirs - Returns every
worker*/corpus/underroot, or[root]if none exist. - is_
dir_ ๐no_ symlink - parse_
corpus_ filename - Parses a corpus filename of the form
<uuid>-<timestamp>.json[.gz]. - read_
corpus_ dir - Iterate corpus files in
path, ignoring entries with unparsable names. - read_
corpus_ tree - Reads corpus files from a file, corpus directory, worker corpus directory, or generated corpus
root such as
<root>/<contract>/<test>/worker0/corpus. - strip_
suffix_ ๐ci - Strips a trailing
suffixfromname, comparing case-insensitively.