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.
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.