-record(passed, {final_model :: any(), ran :: integer(), skipped :: integer()}).