blob: 1f4b693c8bc8b93a389267f774b0f1d041369e34 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// RUN: %boogie -noVerify %s > %t
// RUN: %diff %s.expect %t
var Q: [int,int][int]int;
procedure P()
{
var q: [int]int;
start:
// here's how to do it:
q := Q[5,8];
q[13] := 21;
Q[5,8] := q;
// not like this:
Q[5,8][13] := 21; // error: the updated array must be an identifier
return;
}
|