Packages

Record logs for drift steppers, and use them in snapshot tests.

Current section

Files

Jump to
drift_record include drift@record_Recorder.hrl
Raw

include/drift@record_Recorder.hrl

-record(recorder, {
stepper :: drift:stepper(any(), any()),
apply_input :: fun((drift:context(any(), any()), any(), any()) -> drift:step(any(), any(), any(), any())),
formatter :: fun((drift@record:message(any(), any(), any())) -> binary()),
final_state_formatter :: gleam@option:option(fun((any()) -> binary())),
next_tick :: gleam@option:option(integer()),
time :: integer(),
log :: binary(),
outputs :: list(any()),
stopped :: boolean()
}).