Facing issue with size() function

[fvutils]

Facing issue with size() function

[mballance]

Hello,
In a constraint context, the 'size' property of a list is treated as an expression. This allows constraints to remain valid as the size of the list changes -- either because the size is random or because size of the list is programmatically changed. You need to write iterative constraints using the 'foreach' constraint. Here is an implementation of the example you show above:

pyvsc/ve/unit/test_list_scalar.py

Lines 100 to 122 in b0238e7

	def test_fixedsz_foreach_idx(self):
	@vsc.randobj
	class my_item_c(object):
	def __init__(self):
	self.a = vsc.rand_uint8_t()
	self.b = vsc.rand_uint8_t()
	self.temp = vsc.list_t(vsc.uint8_t())
	self.temp = [1,3,4,12,13,14]
	@vsc.constraint
	def ab_c(self):
	self.a in vsc.rangelist(1,2,3)
	with vsc.foreach(self.temp, idx=True) as i:
	self.a != self.temp[i]
	it = my_item_c()
	for i in range(10):
	it.randomize()
	self.assertEqual(it.a, 2)