Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions release_notes.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@ Under development in `master` branch.

- Faults: added 121 (5xx other than 500 and 501), 122 (created resource not found), 207 (valid inputs rejected), 311 (declared authentication not enforced) and 312 (call timeout).

- Faults and Report: added string `id` to all fault categories, besides existing `code`.

# 0.9.0

- Added markdown documentation for the defined fault categories.
Expand Down
10 changes: 9 additions & 1 deletion src/main/resources/wfc/schemas/report.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -91,6 +91,14 @@ $defs:
description: "A unique identifier for a fault type."
type: object
properties:
id:
description: "A unique string that uniquely identify this fault category in WFC. \
This id is meant to be stable, and should not change among different releases of WFC. \
Fuzzer developers should be able to rely on these ids not changing. \
If for any reason an id must be changed, then that would trigger a new major release of WFC. \
Note the 'code' are meant to be stable as well, however, those 'might' change between minor releases. \
There is a 1-to-1 mapping between 'id' and 'code'."
type: string
code:
description: "Identifying fault 'code', based on WFC classification."
type: integer
Expand All @@ -111,7 +119,7 @@ $defs:
description: "An optional context for the fault. The same fault type could be manifested in different ways, \
and we use this property to differentiate among them."
type: [string, "null"]
required: ["code"]
required: ["id","code"]
TestFilePath:
description: "A relative path used to unique locate a test suite file."
type: string
Expand Down
Loading
Loading