Compiler tests - Githubissues

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

https://mlabs-haskell.github.io/lambda-buffers/

Apache License 2.0

29 stars 0 forks source link

Compiler tests #57

Closed bladyjoker closed 1 year ago

bladyjoker commented 1 year ago

DONE

Added well formed generation of CompilerInput, only in terms of TyDefs (constraints stuff comes after)
Switched to using Hedgehog which is much better
Implemented the mutation testing little framework and 2 benign mutations: shuffled modules and shuffled tydefs
Implemented basic sampling coverage metrics

TODO:

Add other benign mutations but also error causing mutations
Improve coverage metrics to make sure we're not testing trivial cases