test-ir

MVP scaffold for a language-agnostic static test equivalence tool.

This repository currently includes:

1. Project spec: SPEC.md
2. Rust workspace:
   1. crates/test-ir-core (MVP comparator + plugins)
   2. crates/test-ir-cli (CLI)
3. Fixture harness inputs under fixtures/ (tiny deterministic cases + harvested real corpus).

Quick Sanity Check

cargo test

Compare Command

cargo run -p test-ir-cli -- compare --ground-root fixtures/cases/add_pass_ts_ground/ground_truth --ground-lang ts-vitest --derived-root fixtures/cases/add_pass_ts_ground/derived --derived-lang rust-test

Harness Command

See fixtures/harness_cases.yaml.

Run all fixture cases:

cargo run -p test-ir-cli -- harness --manifest fixtures/harness_cases.yaml

Harness coverage:

1. Stateless arithmetic pass/fail
2. Stateful counter pass/fail
3. Both directions for ground_truth (ts-vitest and rust-test)

Harvested Corpus

fixtures/harvest/ contains copied tests from:

1. /root/git/lossless-claw/test
2. /root/git/sieve-lcm/tests

Refresh the harvest:

./scripts/refresh_harvest.sh

Run full harvested compare regression (slow):

cargo test -p test-ir-core harvested_full_corpus_compare_passes -- --ignored