test(conformance): fix the resource conformance programs on main #536

Merged
argus merged 5 commits from loop/137-fix-resource-conformance into main 2026-10-28 10:30:58 +00:00
Collaborator

Refs #137

Tier B on main is red after the Resource literals change: resource-bytes, resource-name and resource-text have no allocation budget, and resource-missing removes its shipped file, so the later leak-check runs of the same program panic. This PR makes resource-missing restore the file after the assertions and adds the budgets.

Refs #137 Tier B on main is red after the Resource literals change: resource-bytes, resource-name and resource-text have no allocation budget, and resource-missing removes its shipped file, so the later leak-check runs of the same program panic. This PR makes resource-missing restore the file after the assertions and adds the budgets.
test(conformance): restore the shipped file of resource-missing after each run
Some checks failed
ci / what the change touches (pull_request) Successful in 1m14s
ci / commit messages (pull_request) Successful in 1m15s
ci / the VS Code extension (editors/vscode) (pull_request) Has been skipped
ci / which runners exist (pull_request) Successful in 1s
ci / bootstrap and conformance (linux-arm64) (pull_request) Has been skipped
ci / bootstrap and conformance (macos-arm64) (pull_request) Has been skipped
ci / bootstrap and conformance (windows-x64) (pull_request) Has been skipped
ci / bootstrap (linux-x64) (pull_request) Successful in 7m46s
ci / tier B (linux-x64) (pull_request) Has been skipped
ci / tools/release-sync and tools/registry (linux-x64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (windows-x64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (linux-arm64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (macos-arm64) (pull_request) Has been skipped
ci / every host emits the same C (pull_request) Has been skipped
ci / the playground (torb as WebAssembly) (pull_request) Has been skipped
ci / gates (pull_request) Has been cancelled
ci / pack the seed (pull_request) Has been cancelled
ci / archives (pull_request) Has been cancelled
ci / tier A (linux-x64) (pull_request) Has been cancelled
711e3e27cf
test(conformance): allocation budgets for resource-bytes, resource-name and resource-text
Some checks failed
ci / commit messages (pull_request) Successful in 6s
ci / what the change touches (pull_request) Successful in 5s
ci / the VS Code extension (editors/vscode) (pull_request) Has been skipped
ci / which runners exist (pull_request) Successful in 1s
ci / bootstrap and conformance (windows-x64) (pull_request) Has been skipped
ci / bootstrap and conformance (linux-arm64) (pull_request) Has been skipped
ci / bootstrap and conformance (macos-arm64) (pull_request) Has been skipped
ci / bootstrap (linux-x64) (pull_request) Successful in 7m46s
ci / tier B (linux-x64) (pull_request) Has been skipped
ci / tools/release-sync and tools/registry (linux-x64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (windows-x64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (linux-arm64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (macos-arm64) (pull_request) Has been skipped
ci / every host emits the same C (pull_request) Has been skipped
ci / the playground (torb as WebAssembly) (pull_request) Has been skipped
ci / tier A (linux-x64) (pull_request) Failing after 22m8s
ci / gates (pull_request) Has been cancelled
ci / pack the seed (pull_request) Has been cancelled
ci / archives (pull_request) Has been cancelled
c5b9310db4
Refs #137
ci: rerun tier A after the runner cancelled the job
All checks were successful
ci / commit messages (pull_request) Successful in 5s
ci / what the change touches (pull_request) Successful in 4s
ci / the VS Code extension (editors/vscode) (pull_request) Has been skipped
ci / which runners exist (pull_request) Successful in 1s
ci / bootstrap and conformance (windows-x64) (pull_request) Has been skipped
ci / bootstrap and conformance (linux-arm64) (pull_request) Has been skipped
ci / bootstrap and conformance (macos-arm64) (pull_request) Has been skipped
ci / bootstrap (linux-x64) (pull_request) Successful in 7m46s
ci / tools/release-sync and tools/registry (linux-x64) (pull_request) Has been skipped
ci / the playground (torb as WebAssembly) (pull_request) Has been skipped
ci / tier B (linux-x64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (windows-x64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (linux-arm64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (macos-arm64) (pull_request) Has been skipped
ci / every host emits the same C (pull_request) Has been skipped
ci / tier A (linux-x64) (pull_request) Successful in 26m49s
ci / pack the seed (pull_request) Successful in 11s
ci / archives (pull_request) Has been skipped
ci / gates (pull_request) Successful in 0s
b637213278
Refs #137
argus requested changes 2026-10-28 07:50:24 +00:00
Dismissed
argus left a comment

Review of b6372132 (CI green, but see 2: Tier B did not run on this head).

  1. [blocker] tests/conformance/resource-missing.allocations is missing. Before this PR the leak-check run of resource-missing panicked (the shipped file was gone) and a panicking program is exempt from the leak run. With the restore at the end of the program the leak run now completes, and per tests/conformance/README.md "a program with a leak run and no .allocations file fails and prints its count" (it has no .leaks file either). The fix would turn one red Tier B entry into another. Add the budget with sh tools/conformance.sh --update-budgets --filter resource-missing (or unbudgeted: <reason> if the three counts differ) and mention the restore's extra blocks in the commit message.

  2. [blocker] Nothing verifies the change. The PR only touches tests/conformance/*, so the CI scope rule skips tier B (linux-x64) here (only tier A, gates and bootstrap ran). The budgets 89 / 3 / 144 are exact (one block more fails) and cannot be checked from the diff. Add to the PR body the result of sh tools/conformance.sh --filter resource- on linux-x86_64 (command + output showing the four programs pass, including the leak and allocation lines), or touch a path that triggers tier B so it runs on this head.

Checked, ok: scope (matches the stated task, Refs #137), no secrets, the restore reads the file before removing it and writes it back after the assertions, expected output of resource-missing is unchanged, no docs impact.

Review of b6372132 (CI green, but see 2: Tier B did not run on this head). 1. [blocker] `tests/conformance/resource-missing.allocations` is missing. Before this PR the leak-check run of resource-missing panicked (the shipped file was gone) and a panicking program is exempt from the leak run. With the restore at the end of the program the leak run now completes, and per tests/conformance/README.md "a program with a leak run and no `.allocations` file fails and prints its count" (it has no `.leaks` file either). The fix would turn one red Tier B entry into another. Add the budget with `sh tools/conformance.sh --update-budgets --filter resource-missing` (or `unbudgeted: <reason>` if the three counts differ) and mention the restore's extra blocks in the commit message. 2. [blocker] Nothing verifies the change. The PR only touches `tests/conformance/*`, so the CI scope rule skips `tier B (linux-x64)` here (only tier A, gates and bootstrap ran). The budgets 89 / 3 / 144 are exact (one block more fails) and cannot be checked from the diff. Add to the PR body the result of `sh tools/conformance.sh --filter resource-` on linux-x86_64 (command + output showing the four programs pass, including the leak and allocation lines), or touch a path that triggers tier B so it runs on this head. Checked, ok: scope (matches the stated task, Refs #137), no secrets, the restore reads the file before removing it and writes it back after the assertions, expected output of resource-missing is unchanged, no docs impact.
test(conformance): name the budget command for a program that has none
Some checks failed
ci / commit messages (pull_request) Successful in 5s
ci / what the change touches (pull_request) Successful in 4s
ci / the VS Code extension (editors/vscode) (pull_request) Has been skipped
ci / which runners exist (pull_request) Successful in 1s
ci / bootstrap and conformance (windows-x64) (pull_request) Has been skipped
ci / bootstrap and conformance (linux-arm64) (pull_request) Has been skipped
ci / bootstrap and conformance (macos-arm64) (pull_request) Has been skipped
ci / bootstrap (linux-x64) (pull_request) Successful in 6m48s
ci / cross-compiled on linux-x64 (windows-x64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (linux-arm64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (macos-arm64) (pull_request) Has been skipped
ci / every host emits the same C (pull_request) Has been skipped
ci / the playground (torb as WebAssembly) (pull_request) Has been skipped
ci / tier B (linux-x64) (pull_request) Failing after 11m31s
ci / tools/release-sync and tools/registry (linux-x64) (pull_request) Successful in 2m56s
ci / gates (pull_request) Has been cancelled
ci / pack the seed (pull_request) Has been cancelled
ci / archives (pull_request) Has been cancelled
ci / tier A (linux-x64) (pull_request) Has been cancelled
91f5f4a1ed
Touches tools/ so that tier B runs on this pull request: the change before it only edits tests/conformance, which the CI scope rule skips.

Refs #137
test(conformance): allocation budget for resource-missing
Some checks failed
ci / tier B (linux-x64) (push) Has been skipped
ci / cross-compiled on linux-x64 (windows-x64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (linux-arm64) (pull_request) Has been skipped
ci / cross-compiled on linux-x64 (macos-arm64) (pull_request) Has been skipped
ci / every host emits the same C (pull_request) Has been skipped
ci / the playground (torb as WebAssembly) (pull_request) Has been skipped
ci / tier B (linux-x64) (pull_request) Successful in 15m27s
ci / tools/release-sync and tools/registry (linux-x64) (pull_request) Successful in 2m58s
ci / tier A (linux-x64) (pull_request) Successful in 28m36s
ci / pack the seed (pull_request) Has been skipped
ci / archives (pull_request) Has been skipped
ci / gates (pull_request) Successful in 0s
ci / commit messages (push) Successful in 6s
ci / what the change touches (push) Successful in 6s
ci / which runners exist (push) Successful in 1s
ci / bootstrap and conformance (windows-x64) (push) Has been skipped
ci / bootstrap and conformance (linux-arm64) (push) Has been skipped
ci / bootstrap and conformance (macos-arm64) (push) Has been skipped
ci / bootstrap (linux-x64) (push) Failing after 12s
ci / cross-compiled on linux-x64 (windows-x64) (push) Has been skipped
ci / cross-compiled on linux-x64 (linux-arm64) (push) Has been skipped
ci / cross-compiled on linux-x64 (macos-arm64) (push) Has been skipped
ci / every host emits the same C (push) Has been skipped
ci / the VS Code extension (editors/vscode) (push) Successful in 16s
ci / tier A (linux-x64) (push) Has been skipped
ci / tools/release-sync and tools/registry (linux-x64) (push) Has been skipped
ci / the playground (torb as WebAssembly) (push) Has been skipped
ci / pack the seed (push) Failing after 5s
ci / archives (push) Has been skipped
ci / gates (push) Failing after 0s
403ee17677
argus approved these changes 2026-10-28 10:30:57 +00:00
argus left a comment

Re-review of 403ee176 (earlier blockers on b6372132).

  1. resource-missing.allocations (217) added; ok.
  2. Tier B (linux-x64) ran on this head (tools/ touched) and passed in 15m27s, so the budgets 89 / 217 / 3 / 144 and the restore are verified by CI. ok.

Checked, ok: scope (Refs #137, conformance fixtures only plus a usage comment in tools/conformance.sh), correctness of the restore (read before remove, written back after the assertions, expected output unchanged), no secrets, no docs impact. Commit message of 403ee176 explains the tools/ touch.

Approved.

Re-review of 403ee176 (earlier blockers on b6372132). 1. resource-missing.allocations (217) added; ok. 2. Tier B (linux-x64) ran on this head (tools/ touched) and passed in 15m27s, so the budgets 89 / 217 / 3 / 144 and the restore are verified by CI. ok. Checked, ok: scope (Refs #137, conformance fixtures only plus a usage comment in tools/conformance.sh), correctness of the restore (read before remove, written back after the assertions, expected output unchanged), no secrets, no docs impact. Commit message of 403ee176 explains the tools/ touch. Approved.
argus merged commit 403ee17677 into main 2026-10-28 10:30:58 +00:00
argus deleted branch loop/137-fix-resource-conformance 2026-10-28 10:30:58 +00:00
Sign in to join this conversation.
No reviewers
No labels
loop
ready
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
torbscript/language!536
No description provided.