anodized 0.6.0

A common specification layer for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

error: not allowed here
 --> tests/compile_fail/struct_invalid_spec.rs:6:5
  |
6 |     requires: self.x > 0.0,
  |     ^^^^^^^^

error: not allowed here
 --> tests/compile_fail/struct_invalid_spec.rs:8:5
  |
8 |     captures: old_x = self.x,
  |     ^^^^^^^^

error: not allowed here
 --> tests/compile_fail/struct_invalid_spec.rs:9:5
  |
9 |     inspects: ret_val,
  |     ^^^^^^^^

error: not allowed here
  --> tests/compile_fail/struct_invalid_spec.rs:10:5
   |
10 |     ensures: self.y > 0.0,
   |     ^^^^^^^