Skip to content

tests: separate unit tests from the conformance suite (logic + CI)#33

Merged
fruwe merged 1 commit into
mainfrom
separate-conformance-tests
Jul 1, 2026
Merged

tests: separate unit tests from the conformance suite (logic + CI)#33
fruwe merged 1 commit into
mainfrom
separate-conformance-tests

Conversation

@fruwe

@fruwe fruwe commented Jul 1, 2026

Copy link
Copy Markdown
Member

Closes #32.

Makes harel-python's unit tests independent of the conformance suite, in both code layout and CI.

What

  • Logic: conformance harness moved tests/conformance/ (its own fetch conftest.py). tests/ is now hermetic, offline unit tests — default pytest never clones anything.
  • CI: two jobs — test (ruff + mypy + unit tests; unchanged required check test (ubuntu-24.04)) and conformance (downloads harel-conformance@v0.0.1, runs it black-box; non-blocking).
  • Local: Makefilemake test (unit), make conformance (HAREL_CONFORMANCE_DIR for offline). README + CONTRIBUTING updated.

Verify

  • pytest120 unit tests, hermetic (no .cache/ created).
  • pytest conformance53 (engine + black-box CLI + schema drift), fetches suite @ v0.0.1.
  • ruff + mypy clean. (120 + 53 = the previous 173.)

The required check stays test (ubuntu-24.04) = unit tests, so branch protection is unaffected. You can add conformance as a required check later if you want it blocking.

…suite

Give harel-python its own hermetic, offline unit suite in tests/ (default pytest
touches no network), and move the language-agnostic conformance harness into a
dedicated conformance/ dir with its own fetch conftest. Split CI into two jobs:
'test' (ruff + mypy + unit tests; the required check) and 'conformance' (downloads
harel-conformance and runs it black-box; non-blocking). Add a Makefile (make test /
make conformance) and document the split in README + CONTRIBUTING.

Closes #32.
@fruwe fruwe merged commit 3c12418 into main Jul 1, 2026
2 checks passed
@fruwe fruwe deleted the separate-conformance-tests branch July 1, 2026 08:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

tests: separate the implementation's unit tests from the conformance suite (logic + CI)

1 participant