zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
193 stars 50 forks source link

Test monomorphized AST #200

Open katat opened 1 month ago

katat commented 1 month ago

After monomorphization phase, it will generate a monomorphized AST (MAST). To ensure the monomorphization process works as expected, it'd better to have snapshot tests for the generated MASTs for different cases.