enhancementgood first issuehelp wanted
Repository metrics
- Stars
- (21 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
It would be nice if we could run the test suite for a single test case via command line argument.
Example:
lua tests.lua --id:2200
parinfer.js has this and it is useful for debugging.