japgolly / nyaya

Random Data Generation and/or Property Testing in Scala & Scala.JS.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Provide specialised API for stateful testing

joshlemer opened this issue · comments

commented
Provide specialised API for stateful testing

I've used Nyaya as-is for stateful testing. The way I did probably isn't obvious - it would be good to make a special API for it, and demonstrate how to use it. Cool I'll do that.

This is done via Test State. A little glue module may be helpful though. Maybe that already exists in Test State; can't remember. Regardless, update doc over here.