In reply to dave_59:
Hi Dave,
Yes I tried making both variables as randc and had the same constraint
I did get a Failure ( randomize() Called 100 times from repeat )
[ Only 1 out of 3 simulators I tried this on gave a Failure ]
In this Case Solution Space for br Includes all 4 Values and for brc it Excludes 0 .
Constraints are Solved Bi-directionally
so brc might get its value before br and vice-versa also holds true
In the 2 - 2 case ,
( 1 ) If br is chosen as 2 first , Shouldn’t the solver chose brc as 3 ?
( 2 ) if brc is chosen as 2 first , Shouldn’t the solver chose brc Smaller then 2 ?
Do the constraints come into picture for Only deciding the Solution space or is it even also for Deciding the Values within the solution space ?
One Case where I see the failure happening is when br is chosen ( before brc ) as 3 .
Regards ,
AGIS