morpho-aavev3-optimizer Test the testing suite with mutations

Test the testing suite with mutations

Open MathisGD opened this issue 2 years ago • 6 comments

Using https://github.com/Certora/gambit

Mar 30 '23 21:03 MathisGD

What would be the benefit of testing mutations?

Mar 31 '23 07:03 Rubilmax

https://medium.com/certora/gambit-23ef5cab02f5

In my understanding it can be used to spot missing tests

Mar 31 '23 08:03 MerlinEgalite

It can be seen as an other way of evaluating coverage

Mar 31 '23 09:03 MathisGD

I think we'll never do it, can we close?

Apr 26 '23 13:04 MerlinEgalite

If the onchain team has some time I think that it can be really interesting to try out

Apr 26 '23 13:04 MathisGD

Ok we'll see but low priority for us

Apr 27 '23 08:04 MerlinEgalite