InstrumentationMode

Entries

Link copied to clipboard

In this mode, Lincheck transforms bytecode only to track coroutine suspensions.

Link copied to clipboard

In this mode, Lincheck tracks all shared memory manipulations.

Link copied to clipboard

In this mode, lincheck tracks and records events in configured method but don't enforce determinism or does any analysis.

Properties

Link copied to clipboard

Returns a representation of an immutable list of all enum entries, in the order they're declared.

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Link copied to clipboard

Returns an array containing the constants of this enum type, in the order they're declared.