Hey,
Thanks for working on this 🫶
I wanted to look at the PR asap in case we can merge this before the next release. After taking a quick pass, I have 2 main concerns:

• If I understood correctly, there is no way to configure --max-samples . The PR hardcodes: testTerminal.sendText(quint test ${filePath} --match ^${testName}$). you'd have to manually re-run the command in the terminal to adjust it.
• Module instantiation with constants is not handled. If your module M has constants (e.g. const N: int) and a run test, running quint test M.qnt will fail because M has uninstantiated constants. The typical way to make tests runnable is to create a concrete instantiation: module M_concrete = M(N = 5). The quint test CLI handles this via --main M_concrete, but the PR doesn't just passes the file.

• If I understood correctly, there is no way to configure --max-samples . The PR hardcodes: testTerminal.sendText(quint test ${filePath} --match ^${testName}$). you'd have to manually re-run the command in the terminal to adjust it.

I've handled this with a top level pop-up.