MoonSmith is a compiler testing project under development. Its planned scope includestype-guided program generation, semantic validation, and failure-case reduction.
Version 0.0.0 is an initial development placeholder for zrr1999/moonsmith.It only provides a command that reports the development status. Generation,validation, and reduction are not implemented. There is no public library API.