JoranHonig / vertigo

Mutation Testing for Ethereum Smart Contracts

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Help wanted :)

LenoirRemi opened this issue · comments

Hi, I try to use this repo to test some Solidity Contracts.
I use last version of Truffle, Ganache and Python.
I follow your tutorial on medium with the MetaCoin and it works fine, but when I change the code in test folder to add asserts to kill some mutants, my new asserts seems ignored.
I understand how the mutation works but I don't really understand how the code works to test mutants.

How do you test contracts with your code ?
Do you run a truffle test ?
Do the code test .js or .sol files ?
Do i missed something ?

Thanks.