3 ms·
This looks genuinely awesome! I've been thinking about how to do good property based testing on UIs, and this elegantly solves that problem — I love the languag
by logicprog 7mo ago
This looks genuinely awesome! I've been thinking about how to do good property based testing on UIs, and this elegantly solves that problem — I love the language they've designed here. It really feels like model checking or something.
- owickstrom 7mo agoThanks, glad you like it! Do you mean the temporal logic aspect of it?
- logicprog 7mo agoYeah, the temporal logic aspect of it is exactly what I was referring to :)
- owickstrom 7mo agoCool. I think that is a very neat way of expressing properties of UIs (and stateful systems more generally) that works out nicely in testing. There are some gotchas related to the finiteness of testing, but it's manageable.