[go: up one dir, main page]

Tests (and tweaks) for lwtreslib seq and set

Raphaël Proustrequested to merge
nomadic-labs/tezos:raphael-p@tests-for-lwtreslib-seq-and-set into master

Context

These where developed as part of the testing effort in !2131 (closed) but they form a smaller, more easily reviewed part of the changeset. Specifically, they introduce tests (and one fix) for existing parts of Lwtresilb: Sets and Seqs

Manually testing the MR

dune build @src/lib_lwt_result_stdlib/runtest

Checklist

  • (N/A) Document the interface of any function added or modified (see the coding guidelines)
  • Provide automatic testing (see the testing guide).
  • (N/A) Add item in the Development Version section of CHANGES.md (only for new features and bug fixes).

Reviewers

@mbouaziz @rafoo_

Edited by Raphaël Proust

Merge request reports