tests: re-point conformance to harel-conformance submodule#19
Merged
Conversation
The cross-language conformance suite moved to fruwehq/harel-conformance. Add it as vendor/harel-conformance and load engine cases, cli cases, and the black-box run_cli.py from there. Keep vendor/harel pinned solely for the schema-drift check (bundled machine.schema.json vs the spec repo's). Closes #18.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #18. Implements the harel-python side of the spec/suite split (fruwehq/harel-conformance#1).
What
vendor/harel-conformance→ the new language-agnostic suite repo; the harness now loads engine cases (01–22),cli/*, and the black-boxrun_cli.pyfrom there.vendor/harelpinned only for the schema-drift test (bundledmachine.schema.jsonvs the spec repo's) — spec vs conformance are now cleanly separated submodules..gitmodules, harness path constants (SPEC_DIR/CONFORMANCE_DIR), and the README.Verified
Full suite green (137 tests: 22 engine + cli/01 + cli/02 black-box + schema-drift + units), ruff + mypy clean. CI checks out both submodules (
submodules: true).Part of reducing
fruwehq/harelto specs-only (tracked in fruwehq/harel#20).