Re: [tlaplus] TLA+ Validation Test Suite Now Available - Enabling ISO 26262 Certification for TLC

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

> On Sep 26, 2025, at 3:54 AM, Andrew Helwer <andrew.helwer@xxxxxxxxx> wrote:
> 
> Wow, very cool and definitely a ton of work! Auto-generating TLA+ specs to systematically test TLC is something I’ve wanted for a while, and the fact that it does conformance testing against Apalache makes it even more powerful. Wonder whether Spectacle could be onboarded to this.
> 
> How are runs triggered and where are they run?

Runs are at https://github.com/tlaplus/ValidationTestSuite/actions/workflows/main.yml and triggered manually.

M.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/284355A2-E235-4E54-9CFA-E7625C49DEB8%40lemmster.de.