Update regression-new test harness for pyk, enable checks directory again#4917

Draft

ehildenb wants to merge 24 commits into

Commits on May 8, 2026

regression-new/checks: update baselines for kompile flag reordering
ehildenb
committed
regression-new/checks: update remaining baselines
ehildenb
committed
pyk/regression-new/include: update with newest harnesses from Java changes
ehildenb
committed
pyk/regression-new/checks/invalidPrec.k.out: update with newest Java output
ehildenb
committed
pyk/regression-new/include/ktest.mak: bring back $(DEBUG) argument
ehildenb
committed
pyk/regression-new/include/ktest-common.mak: kdep still using java variant
ehildenb
committed
pyk/regression-new/include: fix krun and kdep invocations, factor out more common settings
ehildenb
committed
pyk/regression-new/ktest-common.mak: more corrections to pyk-specific options
ehildenb
committed
pyk/regression-new: ignore .depend-tmp files
ehildenb
committed
Merge remote-tracking branch 'upstream/develop' into checks-diff
ehildenb
committed
pyk/regression-new: adjust tests for klabel/symbol attribute changes
ehildenb
committed
pyk/regression-new: adjust all tests to update with java implementation
ehildenb
committed
pyk/regression-new: add new tests from java codebase
ehildenb
committed
pyk/regression-new: fix Makefiles for new tests
ehildenb
committed
pyk/regression-new: regenerate baselines for new tests (pyk toolchain)

ehildenb
and
claude
committed
pyk/regression-new/regex-unicode: skip test
ehildenb
committed
pyk/regression-new: update tests
ehildenb
committed
pyk/regression-new: remove intermediate file
ehildenb
committed
pyk/regression-new: adjust builtin dir calcualtion
ehildenb
committed
.github/test-pr: increase parallelism of pyk regression-new test-suite
ehildenb
committed