vkit/examples/python-cli/verification/features.json at main · RoyCoding8/vkit · 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
{
  "schema_version": 2,
  "features": [
    {
      "id": "totals-empty-cart",
      "behavior": "A cart with nothing in it totals to zero rather than erroring or printing nothing.",
      "how_to_reach": [
        "run the CLI with no amounts"
      ],
      "entry_points": [
        "src/totals.py"
      ],
      "covered_by": [
        "totals-behavior"
      ],
      "gaps": []
    },
    {
      "id": "totals-single-amount",
      "behavior": "A cart with one amount totals to that amount.",
      "how_to_reach": [
        "run the CLI with a single positive amount"
      ],
      "entry_points": [
        "src/totals.py"
      ],
      "covered_by": [
        "totals-behavior"
      ],
      "gaps": []
    },
    {
      "id": "totals-negative-amounts",
      "behavior": "Amounts that are all negative total to a negative number, so a credit is not silently treated as a charge.",
      "how_to_reach": [
        "run the CLI with only negative amounts"
      ],
      "entry_points": [
        "src/totals.py"
      ],
      "covered_by": [
        "totals-behavior"
      ],
      "gaps": []
    },
    {
      "id": "totals-cancellation",
      "behavior": "Amounts that cancel to nothing total to zero, which is the case an off-by-one in the accumulator gets wrong.",
      "how_to_reach": [
        "run the CLI with two amounts that cancel"
      ],
      "entry_points": [
        "src/totals.py"
      ],
      "covered_by": [
        "totals-behavior"
      ],
      "gaps": []
    },
    {
      "id": "totals-non-integer-input",
      "behavior": "An amount that is not a whole number is handled deliberately rather than by whatever the interpreter does with it.",
      "how_to_reach": [
        "run the CLI with a non-integer amount"
      ],
      "entry_points": [
        "src/totals.py"
      ],
      "covered_by": [],
      "gaps": [
        "no check exercises non-integer input; the CLI's behaviour there has not been decided and therefore has not been verified"
      ]
    },
    {
      "id": "totals-very-large-amounts",
      "behavior": "An amount larger than a machine word totals without wrapping or losing precision.",
      "how_to_reach": [
        "run the CLI with an amount beyond 64-bit range"
      ],
      "entry_points": [
        "src/totals.py"
      ],
      "covered_by": [],
      "gaps": [
        "no check exercises amounts beyond 64-bit range; Python integers do not wrap, so this is unverified rather than known-broken"
      ]
    }
  ]
}