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