Jump to content

pushkarkumar

Members
  • Content Count

    1
  • Joined

  • Last visited

  1. While randomizing a dynamic array we constrain the size of the array somewhat like this: rand byte data[]; constraint size_c { data.size() == 1000; } My question is regarding creation of dynamic array. I have neither seen nor used the array constructor to construct dynamic array while randomizing. How is the array being constructed? What does randomize method do to construct the dynamic array?
×
×
  • Create New...