Hi there! Long time no see.
I’ve been somewhat inactive in Quickstrom the last few months, mostly due to us moving and our child reaching an age where our house is in constant danger.
But, finally, I got the new HTML reporter released. There are multiple improvements coming soon, but you can already use it with the latest Docker image. It gives you an interactive troubleshooting experience based on screenshots and overlay state information for the queried elements. I’m very pleased with how it turned out!
Here’s a little demo of how it works:
The new Quickstrom HTML reporter is released! In this new troubleshooting experience you navigate the state transitions and inspect queried elements visually. More information at . Please try it out and let me know how it goes.https://docs.quickstrom.io/topics/reporters.html#html
Find the documentation here:https://docs.quickstrom.io/topics/reporters.html#html
Other than that, I’m collaborating with Liam O’Connor on a new logic and specification language for Quickstrom. The PureScript adaption got things moving quickly, but it has a few strange corners. A custom language can fit more nicely with Quickstrom, especially when we nail down an appropriate temporal logic for verification.