3 ms·
I think it might be possible to write a TLA+ parser and generate QuickCheck tests from it that will exercise invariants at least.
by agentultra 2mo ago
I think it might be possible to write a TLA+ parser and generate QuickCheck tests from it that will exercise invariants at least.