enter Ignored Section
Enters an ignored section for the current thread.
Does not affect the current thread if it is untracked (e.g. not registered in the Lincheck strategy).
Enters an ignored section for the current thread.
Does not affect the current thread if it is untracked (e.g. not registered in the Lincheck strategy).