3 ms·

Thanks, glad you like it! Do you mean the temporal logic aspect of it?

• logicprog 7mo ago
  Yeah, the temporal logic aspect of it is exactly what I was referring to :)
  • owickstrom 7mo ago
    Cool. 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.