cargo-impish 0.6.2

The Contract gate for Rust, after Impatient Programming
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

{
  "kinds": {
    "functional": 29,
    "non-functional": 1,
    "persisted-format": 1,
    "security": 2
  },
  "obligations": 33,
  "primitives": {
    "attribute": {
      "obligations": 5,
      "surface": [
        "attribute impish::contract"
      ]
    },
    "check": {
      "obligations": 21,
      "surface": [
        "cli check"
      ]
    },
    "cli": {
      "obligations": 2,
      "surface": []
    },
    "mutate": {
      "obligations": 5,
      "surface": [
        "cli mutate"
      ]
    }
  },
  "surface": {
    "covered": 3,
    "percent": 100.0,
    "total": 3
  },
  "uncovered": []
}