Foundry Mutation Testing #6588
Foundry Mutation Testing #6588
Conversation
|
Hi @samparsky, Huge thanks for your PR! This is definitely a feature we will want to offer and I think Solar's frontend may have unlocked a step towards implementing mutation testing natively in Foundry in an elegant way. Is this something you would be interested in exploring further / collaborate on? cc @DaniPopes / @grandizzy |
|
Hi here! I'm from @defi-wonderland, we're really interested in mutation test support in Foundry and down to help making it happen! Is a Gambit integration something you're still working on @samparsky ? Or anyone else from Certora perhaps (iirc you mentioned it last ethcc @chandrakananandi )? We're happy giving a hand or resuming this (much needed) foundry functionality! |
|
@simon-something we're interested to have mutation testing in foundry and we would be happy to assist you adding such. |
|
Hey @grandizzy I managed to get in touch with Sam who confirmed not pursuing this integration, we're def down to give it a stab! I'll move further convo in the original tracking issue, perhaps easier to follow;) |
|
Closing in favor of #10134 |
Motivation
This implements a simple mutation testing based on the gambit crate.
Checkout the issue to find out progress #478
Solution
It aims to implement simple operator-based mutation tests using the gambit crate.