Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: How should I test all potential combinations of user actions?.
This won't help you test UI code directly but it's a great way to make sure your system's core concepts works.
https://www.hillelwayne.com/post/tla-messages/ is a good article for getting a sense of what TLA+ is about.
There are no comments on this comment yet.
This won't help you test UI code directly but it's a great way to make sure your system's core concepts works.
https://www.hillelwayne.com/post/tla-messages/ is a good article for getting a sense of what TLA+ is about.