I was a bit confused since this is an Queue of Dynamic Array.
So had conflicting thoughts how to constrain it.
I have thought something like this …
define MAX_VALUE 9
define MAX_WIDTH 64
rand int data[$:9][] ;
constraint data_size { data.size() == `MAX_VALUES ;}
constraint data_values_c {
( foreach(data[i])
{ foreach(data[j])
{ data[i][j] == `MAX_WIDTH } ;
) ;
}
Need to try this approach.