In reply to ABD_91:
another way through constraints:
class abc;
rand int a;
constraint c1 {
const'(a) == 15 -> a != const'(a);
a inside {0,15};
}
endclass
In reply to ABD_91:
another way through constraints:
class abc;
rand int a;
constraint c1 {
const'(a) == 15 -> a != const'(a);
a inside {0,15};
}
endclass