Closed lemmy closed 2 weeks ago
@lemmy having reviewed the comments from TLAi on this and other changes, I am of the opinion that it is not worth the hassle.
Having a local/CLI version of it that we can run as a one-off audit, when someone specifically has time, may still be useful. But as a CI check, the inconvenience far exceeds the utility. I intend to remove it, at least for now.
Clone of https://github.com/microsoft/CCF/pull/6153 with branch in microsoft org because of TLAi linter. :-(
DFS
BFS
BFS even ran without verifying the (temporal) properties
MNRSpec
andTraceMatched
.