testsuite/runnable/record_base_assignment.elna


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

type
  B = record
    x: Word
  end
  R = record(B)
    y: Word
  end

proc f()
var
  r: R
begin
  r.x := 3u;
  r.y := 2u;

  assert(r.x = 3u & r.y = 2u)
return

begin
  f()
end.