Thank You for the link. I can now understand how const’works here.
Other scenario which I have is lets say tst is randomized for 10 times then the randomized value of tst for 10th time should not be test6.
Like the constraints we put
constraint test5_6 { const’(tst) == test5 → tst == test6; }
as per your solution in this constraints only I want that test6 should not come on last randomization. So it means on last randomization tst can have any value from enum but not test6.
Thanks in advance