mProjectsCode / mProjectsCode/glass-lint
Expand semantic reference tests
Open
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 1
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
- Add property tests for matcher normalization idempotence/permutation, deterministic evidence, constant evaluation boundedness, and stable binding-version resolution.
- Generate small lexical programs with shadowing, aliases, reassignment, property writes, closures, destructured/default/rest parameters, spread calls, recursion, and same-name siblings.
- Compare optimized binding, provenance, and occurrence queries with simple reference implementations on bounded generated inputs.
- Add stress cases for deep ASTs, many aliases/functions/rules/facts, large static containers, recursive summaries, and flow-state explosion. Generated failures must print their source and seed.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the existing semantic reference tests and the implementations for matcher normalization, binding and provenance, and occurrence queries. Add bounded generators and reference comparisons for the listed lexical constructs, then add stress cases whose failures print source and seed; done means the generated checks cover the requested invariants without unbounded growth.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers, testing-qa
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100