ms2k/nuthatch
SHA256
Watch
0
Code Releases Activity

Update model checks to Java 25.0.4

Browse source
This commit is contained in:
ms2k 2026-08-02 00:09:56 +09:00
commit 4eeeab851c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/spec/testing.md
View file

@ -57,7 +57,7 @@ the runner.
`make check-model-correspondence` runs before the kind protocol-conformance `make check-model-correspondence` runs before the kind protocol-conformance
gate. It uses the typed Haskell protocol evidence executable, Node 24.18.0, gate. It uses the typed Haskell protocol evidence executable, Node 24.18.0,
Java 25.0.3, and the TLA+ Tools 2.19 jar whose checksum is pinned in Java 25.0.4, and the TLA+ Tools 2.19 jar whose checksum is pinned in
`tests/model-correspondence/tools.env`. The jar defaults to `tests/model-correspondence/tools.env`. The jar defaults to
`/usr/local/lib/tla2tools.jar`; `TLA2TOOLS_JAR` may name an equivalent file `/usr/local/lib/tla2tools.jar`; `TLA2TOOLS_JAR` may name an equivalent file
with the pinned checksum. with the pinned checksum.