property-test-case-generator evaluates a bounded, seeded sequence of integers against a tiny declarative invariant language. It reports the first violated invariant and a deterministic reduced counterexample. It never imports, evaluates, or executes supplied source code. Node.js 22+; zero dependencies.
This walkthrough uses the tool's public README and checked-in example files. Run the command from a repository checkout with Node.js 22+; inspect the source before using it on your own files.
Run the checked-in example
node bin/property-test-case-generator.mjs --root examples --input passing.json
node bin/property-test-case-generator.mjs --root examples --input failing.json
npm run checkRead the result
The passing example exits 0; the failing example exits 1 with a property-violated finding and reproducible seed. Invalid CLI configuration exits 2 with empty stdout. Unreadable, invalid, partial, or contradictory exports exit 2 with an incomplete JSON report. Stdout otherwise contains exactly one report. Input realpaths must stay within the real --root.
Where this check stops
This local walkthrough does not establish the state of a live production system or replace the limits documented in the repository.
Before adapting the command to your own workflow, review the accepted inputs, exit codes and safety boundaries in the README.
Compiled with AI assistance from checked-in public documentation and example scripts. Run the example and review the repository's current documentation before relying on its result.