プロパティベーステストライブラリを作ってみた（ステートフルテスト編）

前回の 「プロパティベーステストライブラリを作ってみた」 の続きです。先日ステートフルテストを実装したので、その過程で得られた知見などを紹介したいと思います。 なお、本記事ではステートフルテストの学習を目的としません。ステートフルテストについて学びたい方は 実践プロパティベーステスト をぜひ読んでください。 おことわり この記事の説明は拙作のkiri-checkをベースにしています。kiri-checkのステートフルテストはScalaCheckなどのメジャーなライブラリを参考にしており、他のライブラリと大きな違いは少ないはずです。 kiri-check独自の要素はできるだけ作らないようにしていますが、開発言語(Dart)の違いもあって他のライブラリを完全に模倣するのは難しい面があります。ステートフルテストを試す際は、お使いのライブラリのドキュメントを優先してください。 ステートフルテストと