News for hackers. Stuff that matters.

A comment on Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs. Parent comment

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by anonymousDan on Tuesday June 03, 2025 @01:33AM (#44166666)
Interesting, can you elaborate on what you mean by (b) with an example?
[ Parent | on HN ]

There are no comments on this comment yet.