[sv-ec] Allowed types for randc (#2233)

 
In 17.4.2 the test states:
"Random-cyclic variables can only be of type bit or enumerated types
..."

This is over restrictive on the usage of randc. I believe the intent was
that only 2-state values are generated for the set of values in a
permutation. The 'randc' modifier can be applied to a variable of any
integral type. (ie 'randc' can be applied to anything that can be 'rand'
except for class handles or unpacked structs).

The restrictions that randc may not be applied to class variables or
unpacked structs is stated in 17.4 (last 2 bullets).

I have added mantis #2233 to remove the restriction to only type bit or
enum and add speification the permutation sequeuence for a randc
variable contains only of 2-state values.

- Ray Ryan

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.