prevail/test-schema.yaml at main · vbpf/prevail · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
# Copyright (c) Prevail Verifier contributors.
# SPDX-License-Identifier: MIT
---
id: https://spec.openapis.org/oas/4.0/schema/2021-08-12
$schema: http://json-schema.org/draft-04/schema#
description: Validation schema for prevail tests
oneOf:
  # Standard, fully-validated test case schema.
  - type: object
    required:
      - test-case
      - pre
      - code
      - post
    properties:
      test-case:
        type: string
      options:
        type: array
        items:
          type: string
      pre:
        type: array
        items:
          type: string
      code:
        type: object
        required: [<start>]
        patternProperties:
          '^<a-zA-Z[a-zA-Z0-9]*>$':
            type: array
        additionalItems: false
      post:
        type: array
        items:
          type: string
      messages:
        type: array
        items:
          type: string
      observe:
        type: array
        items:
          type: object
          required:
            - at
            - constraints
          properties:
            at:
              type: [string, integer]
            point:
              type: string
              enum: [pre, post]
            mode:
              type: string
              enum: [consistent, entailed]
            constraints:
              type: array
              items:
                type: string
          additionalProperties: false
    additionalProperties: false

  # Exception fixtures: allow intentionally-invalid 'observe' (or other) nodes,
  # but require an expected exception message.
  - type: object
    required:
      - test-case
      - pre
      - code
      - post
      - expected-exception
    properties:
      test-case:
        type: string
      expected-exception:
        type: string
      options:
        type: array
        items:
          type: string
      pre:
        type: array
        items:
          type: string
      code:
        type: object
        required: [<start>]
        patternProperties:
          '^<a-zA-Z[a-zA-Z0-9]*>$':
            type: array
        additionalItems: false
      post:
        type: array
        items:
          type: string
      messages:
        type: array
        items:
          type: string
      observe: {}
    additionalProperties: false