Skip to content

Add expect-based PB tests and CI#23

Draft
samth wants to merge 2 commits into
masterfrom
codex/write-test-suite-with-recspecs
Draft

Add expect-based PB tests and CI#23
samth wants to merge 2 commits into
masterfrom
codex/write-test-suite-with-recspecs

Conversation

@samth

@samth samth commented Jun 20, 2025

Copy link
Copy Markdown
Owner

Summary

  • add GitHub actions workflow testing both x64 and arm64
  • move test libs to build-deps
  • extend expect-based test suite with PB adr and interp cases
  • gate machine-code tests on x86-64
  • describe running the test suite in the README

Testing

  • ../racket/bin/raco test tests/main.rkt

https://chatgpt.com/codex/tasks/task_e_6851b34fbc38832883a53508b900e888

- The CI matrix listed arch arm64 on ubuntu-latest (an x64 runner),
  which can't install/run an arm64 Racket, so that job always failed.
  Drop the arch axis; test the x64 'stable' and 'current' versions.
- The disassemble-of-a-procedure tests asserted exact machine code,
  which Racket CS changes between versions, so they could not pass on
  both 'stable' and 'current'. Check those outputs structurally (non-empty,
  contains the rbp arity-check) instead. The disassemble-bytes and
  pb-disassemble cases use fixed bytes and stay exact.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant