blob: bf973564b1f5a0692aa683240a7b914ac206a99c (
plain)
1
2
3
4
5
6
7
|
{ Assigning to the flexible name replaces the descriptor
as well as the elements. }
begin [10:0]int flat1;
flex[10:-10]int flat2;
flat2 := flat1;
assert (UPB flat2 = 0 AND LWB flat2 = 10)
end
|