Array randomization

[dave_59]

In reply to mlsxdx:

class C;
   rand int A[9];
   rand int max;
   constraint c_max { max inside {[1:9]};}
   constraint c_1 { foreach(A[i]) A[i] inside {[0:max]};}
   constraint c_2 {A.sum(item) with (int'(item == max)) == 1;}
endclass