testsuite.results¶
Results of a suite run: per case and stage, JSON, regressions.
StageResult
dataclass
¶
Outcome of one stage of one case.
CaseResult
dataclass
¶
Outcome of one case.
SuiteResult
dataclass
¶
Outcome of a suite run.
to_json
¶
Write the result as JSON, sorted and indented (deterministic).
max_excess is rounded to 3 significant digits: its exact value is
an artifact of the solver and the machine it ran on, so keeping the
full precision would churn thousands of lines on every regeneration.
regressions
¶
Stages which passed before and do not pass now, and missing cases.
Parameters:
| Name | Type | Description | Default |
|---|---|---|---|
old
|
SuiteResult
|
committed result. |
required |
new
|
SuiteResult
|
current result. |
required |
Returns:
| Type | Description |
|---|---|
list[str]
|
One line per regression, e.g. |