search

eigerco / move-spec-testing

Other
0 stars 1 forks source link

Use coverage report to generate mutants #30

Closed Rqnsom closed 1 week ago

Rqnsom commented 2 weeks ago

The solution uses a coverage report generated by the aptos move test --coverage to generate mutants only for the source code that has unit test coverage.

There is a bug in the coverage tool that will be inherited by our solution: https://github.com/aptos-labs/aptos-core/issues/14819

Rqnsom commented 1 week ago

https://github.com/eigerco/move-spec-testing/pull/34