Module state 

What speccoder keeps of a bug: <project state>/bugs/<unit>/<task>/ — the bug (bug.json, the bug payload), its reproductions’ contents until they are confirmed (repro/), and the issue text and candidate diff it was recorded with (extra.json). Nothing here is in the format’s files.

Structs

Extra

What a bug was recorded with besides its triad.

IssueText

The issue a bug came from, as fetched: context for the reproduction author only (untrusted), never the judge’s.

Functions

all

Every recorded bug.

dir

A bug’s directory.

extra

What the bug was recorded with.

find

The bug named <unit>/<task> (a unit may hold a /).

load

The bug of unit’s task, if speccoder recorded one.

names_a_bug

Whether unit and task name a place under the state’s bugs/: each part of the unit a plain name (no .., no root, no backslash), the task one too — a name from an interface or a commit never becomes a path out.

repro

The reproductions’ contents, for paths.

save

Saves the bug.

save_extra

Saves what the bug was recorded with.

save_repro

Keeps the reproductions’ contents (replacing earlier ones).