How Results Are Classified

Each evaluation result includes an outcome and changed flag.

Outcomes include:

baseline_recorded
unchanged
output_changed_contract_valid
output_changed_contract_invalid
execution_failed

Use contract and diagnostic summaries to understand why a case changed.

See also