Apparently, this was how Jepsen handed over reproductions of the bugs they found on PostgreSQL.