In reply to rmozhiku:
I think all processes called after call to raise_objection() will get killed once drop_objection() is encountered. To keep the sequence running objections should not be called there.
In reply to rmozhiku:
I think all processes called after call to raise_objection() will get killed once drop_objection() is encountered. To keep the sequence running objections should not be called there.