Fault-lang / Fault

a language for building system dynamic models
https://fault.tech
MIT License
164 stars 6 forks source link

Add mutation tests #2

Closed mbellotti closed 2 years ago

mbellotti commented 2 years ago

Adds mutation testing to CI/CD pipelines. Should run once a week with the goal of maintaining 60% pass rate (mutations are successfully killed)

For the time being, uses a fork of go-mutesting in order to take advantage of several improvements necessary for CI/CD pipeline use that have been sitting in PRs for six~seven months. If/when the parent repo merges those changes, will probably switch back to that and delete the fork.

mbellotti commented 2 years ago

Had to remove fault/parser from the mutant list. That is autogenerated parser files from ANTLR.