Quickstrom

Subscribe
Archives
January 4, 2021

Quickstrom's new HTML reporter

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:

Oskar Wickström
@owickstrom

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
Jan. 4, 2021, 10:32 a.m.

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.

Cheers,

Oskar

Don't miss what's next. Subscribe to Quickstrom:
This email brought to you by Buttondown, the easiest way to start and grow your newsletter.