@jacques @jpf Yeah, testing a GUI was the last X I hadn't tried that people commonly bring up as an untestable thing. Pre-LLM, there were some annoyances but it was quite doable, at least relative to the quality bar of existing software. With LLMs, it's easier than ever to test GUIs. I'm not saying GUIs don't present some challenges, but I don't think they're more challenging overall than the things people "classically" use randomized testing for, like CPUs, distributed systems, etc.