Randomization failure with Inline constraint

In reply to dave_59:

Hi Dave,

I made a mistake in my previous code. Here is the code


class item;
rand unsigned int a, b,c, d;
constraint cst{
solve d before b;
solve a before c;
solve b before c;
(d==0) -> b == 40;
c == a+b;
}
constraint cst_d{
d dist{
0:=10,
1:=80
};
}
endclass
 
class some_other_class;
item.randomize with {
c < 8;
}
endclass

Thanks.