JoranHonig / vertigo

Mutation Testing for Ethereum Smart Contracts

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

add support for extreme mutation operators

monperrus opened this issue · comments

Hi @JoranHonig, thanks for the great tool.

Extreme mutation operators consist of removing the whole body of functions, see A Comprehensive Study of Pseudo-tested Methods.

They have the advantage of revealing important testing problems with very few mutants.

What about adding support for extreme mutation operators in vertigo?

cc/ @bbaudry @Deee92