@Target(value=TYPE) @Retention(value=CLASS) public @interface Atomic
AllInterleavings
that it does not look inside the methods of this class when calculating all thread interleavings.
This reduces the amount of thread interleavings generated, often dramatically.Callback
Copyright © 2020 vmlens. All rights reserved.