Skip to main content

Module bug

Module bug 

Source
Expand description

A bug task inside the pipeline. Before the attempt: reproduce — one test per Expected statement, red on the untouched code by an assertion twice, held-out variants sealed — and the person’s one confirmation; the confirmed reproductions are then reused at the checkpoint as the visible acceptance set. After an attempt that passed: every reproduction green, the pass-to-pass set green by name, the revert rejected, and each special case rejected. The rules are speccoder_core::bug’s.

Structs§

NativeBug
A bug in the format’s own bug structure, as a run takes it: the unit no task list names, its directory, and what the attempt is given.