Writing a concise constraint for setting variable number of LSB's depending on another random variable

[dave_59]

In reply to rahulkumarbudhwani:

myVar < (1<<set_bits)