Constraints

In reply to Shashank Gurijala:

randc int size;

constraint size_array {array.size() <10;
	array.size == size;
}

Declare an integer randc variable and put the constraint to match the array size.