All Classes
-
All Classes Class Summary Annotation Types Summary Class Description AllInterleavings The class AllInterleavings let you test all thread interleavings for your test.AllInterleavingsBuilder Use this builder to build AllInterleavings instances with a non default configuration.Atomic Marks a class as atomic.Callback Marks that a method of an atomic class calls a callback method.DoNotTrace The com.vmlens.annotation.DoNotTrace annotation lets you define methods that should not be traced by vmlens.Stateless Marks this class as stateless.