Skip to main content

Module corpus_io

Module corpus_io 

Source
Expand description

Shared helpers for reading on-disk corpus directories.

Structsยง

CorpusDirEntry
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/ under root, 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 suffix from name, comparing case-insensitively.