Repository navigation
statechart: 18 TLC-backed tests fail on macOS and never run in CI #308
Description
Since the statechart sync in #304 (upstream e73df47), the statechart tests resolve TLC and Java through mise. On a macOS host with mise, 18 of the 150 tests fail. The PR 304 verifier reproduced the same 18 failures on upstream's own tree at e73df47 on the same host, so the port did not cause them. CI has no mise, so it skips the 92 TLC-dependent tests, and no environment runs them green.
Causes the verifier found:
- Rename tests rely on
LD_PRELOAD, which macOS ignores. - Path comparisons treat
/varand/private/varas different. MISE_CEILING_PATHSdoes not match the symlink-resolved temp folder.
Until this is fixed, tools/gate-check.sh test shows the statechart tier as FAIL on a macOS host with mise. Treat those 18 as pre-existing.
Options:
- Report the fixes upstream to cursor/plugins and port them.
- Make the test helpers resolve real paths and skip the
LD_PRELOADcases on darwin. - Run the TLC tests in CI with mise and a cached TLC.
Test output is in the PR 304 verdict comment.
Activity
sync(upstream): port eb4db2b..e73df47, statechart update and ketchup-…
test(statechart): resolve the temp root and load the rename shim on m…
test(statechart): reach TMPDIR through a symlink in the real-mise cei…
fix(statechart): give mise the resolved temp folder as its ceiling
docs(porting): name every statechart test-file edit from #308
test(statechart): resolve the temp root and load the rename shim on m…
test(statechart): reach TMPDIR through a symlink in the real-mise cei…
fix(statechart): give mise the resolved temp folder as its ceiling
docs(porting): name every statechart test-file edit from #308
ci(statechart): run the TLC tests on statechart changes (#318)
sync(upstream): port statechart compiler rewrite through 519d36a
sync(upstream): port statechart compiler rewrite through 519d36a (#346)