tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Some stub quickcheck tests #155

Closed 0xd34df00d closed 1 year ago