eyeprolog 1.6.11 → 1.6.12
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/test/README.md +6 -2
- package/test/conformance/README.md +1 -0
package/package.json
CHANGED
package/test/README.md
CHANGED
|
@@ -13,6 +13,7 @@ node test/run-conformance-all.mjs # conformance layers; accepts --offline
|
|
|
13
13
|
node test/run-iso-strict.mjs # strict ISO core
|
|
14
14
|
node test/run-iso-part2-amendment.mjs
|
|
15
15
|
node test/run-neumerkel.mjs # live upstream; --cached reproduces last fetch
|
|
16
|
+
# --verify-report fails on a stale tracked report
|
|
16
17
|
node test/run-neumerkel-tests.mjs # upstream-fetch harness
|
|
17
18
|
node test/run-examples.mjs
|
|
18
19
|
node test/run-playground.mjs
|
|
@@ -23,8 +24,11 @@ node test/run-http-json.mjs
|
|
|
23
24
|
node test/run-interop.mjs # requires the comparison engines
|
|
24
25
|
```
|
|
25
26
|
|
|
26
|
-
These runners retain their existing options
|
|
27
|
-
|
|
27
|
+
These runners retain their existing options. The single alias is
|
|
28
|
+
`npm run neumerkel`, for `node test/run-neumerkel.mjs --verify-report`: the
|
|
29
|
+
release gate only warns when the tracked upstream report has gone stale, and
|
|
30
|
+
that alias makes it an error instead. Every other runner is invoked directly.
|
|
31
|
+
Focused checks do not replace the full release gate.
|
|
28
32
|
|
|
29
33
|
`run-properties.mjs` is different in kind from the rest of the suite: instead
|
|
30
34
|
of hand-picked inputs, it generates many random ground terms from a seeded
|
|
@@ -96,6 +96,7 @@ node test/run-conformance-all.mjs --offline # same local layers, no network
|
|
|
96
96
|
node test/run-neumerkel.mjs # the eight live upstream suites only
|
|
97
97
|
node test/run-neumerkel.mjs --cached # exact last fetched bytes; reproduction only
|
|
98
98
|
node test/run-neumerkel.mjs --cached --verify-report # verify tracked report against last successful live snapshot
|
|
99
|
+
npm run neumerkel # fetch live and fail if the tracked report is stale
|
|
99
100
|
node test/run-iso-strict.mjs # Part 1 + Corrigenda strict-core processor gate
|
|
100
101
|
node test/run-iso-part2-amendment.mjs # 2013 Part 2 amendment module requirements
|
|
101
102
|
```
|