mv-model 0.3.2

Move model
Documentation 
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

error: invalid old(..) expression in inline spec block
  ┌─ tests/sources/inline_spec_err.move:9:7
  │
9 │       assert old(a) == y;
  │       ^^^^^^^^^^^^^^^^^^^
  │       │          │
  │       │          this expression is not a function parameter
  │       only a function parameter is allowed in old(..) expressions in inline spec block

error: invalid old(..) expression in inline spec block
   ┌─ tests/sources/inline_spec_err.move:10:7
   │
10 │       assert old(b) == 0;
   │       ^^^^^^^^^^^^^^^^^^^
   │       │          │
   │       │          this expression is not a function parameter
   │       only a function parameter is allowed in old(..) expressions in inline spec block

error: invalid old(..) expression in inline spec block
   ┌─ tests/sources/inline_spec_err.move:11:7
   │
11 │       assert old(x != y);
   │       ^^^^^^^^^^^^^^^^^^^
   │       │          │
   │       │          this expression is not a function parameter
   │       only a function parameter is allowed in old(..) expressions in inline spec block