Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Oct 02 08:55

    JoranHonig on master

    Create codeql-analysis.yml (compare)

  • Feb 21 18:23
    nfurfaro commented #28
  • Feb 21 18:21
    nfurfaro commented #28
  • Feb 20 21:06
    nfurfaro commented #28
  • Feb 20 14:28

    JoranHonig on master

    Bump version: 1.1.2 → 1.1.3 (compare)

  • Feb 20 14:27
    JoranHonig commented #28
  • Feb 20 14:24

    JoranHonig on v1.1.3

    Bump version: 1.1.2 → 1.1.3 (compare)

  • Feb 20 14:24

    JoranHonig on master

    properly inspect analysis resul… fix doc string clean build directory before st… and 1 more (compare)

  • Feb 19 15:48
    nfurfaro commented #28
  • Feb 19 08:36
    JoranHonig commented #28
  • Feb 09 04:32
    nfurfaro edited #28
  • Feb 08 21:57
    nfurfaro opened #28
  • Jan 14 11:55
    LenoirRemi closed #27
  • Jan 13 12:39
    LenoirRemi opened #27
  • Dec 06 2019 12:21

    JoranHonig on master

    update articles (compare)

  • Nov 21 2019 10:03

    JoranHonig on master

    update core -> mutation (after … Bump version: 1.1.1 → 1.1.2 (compare)

  • Nov 21 2019 09:53

    JoranHonig on v1.1.2

    update core -> mutation (after … Bump version: 1.1.1 → 1.1.2 (compare)

  • Nov 21 2019 09:49

    JoranHonig on master

    update manifest with directory … Bump version: 1.1.0 → 1.1.1 Merge branch 'master' of github… (compare)

  • Nov 21 2019 09:47

    JoranHonig on v1.1.1

    update manifest with directory … Bump version: 1.1.0 → 1.1.1 (compare)

  • Nov 07 2019 04:17
    cgewecke commented #1
JoranHonig
@JoranHonig
I created this gitter channel for conversations on the development of Vertigo (until I've set up some better place)
Desmond
@Anyhowclick

Hello! Desmond from Kyber here. We're looking to do some mutation testing on our contracts, when I stumbled upon the articles u wrote.

We're using Buidler (as it's more modular and composable than Truffle), so it'll be great if there is a Buidler plugin in time to come! In the meantime, will try and see if I can get it to work with the current setup that we have.....

JoranHonig
@JoranHonig
Hi @Anyhowclick, thanks for checking out vertigo. Let me know if you have anny issues!
Buidler is definately on the wishlist of plugins :ok_hand:
JoranHonig
@JoranHonig
I've looked at the buidler docs, and here are some thoughts on vertigo support:
  • Spinning up evm networks: This part is going to be great with buidler bc they cleanly handle this internally
  • mutant generation: Unfortunately this might be a bit more difficult because the buidler compilation artifacts do not include the ast
  • test suite evaluation: This'll be not to difficult (I think)
Desmond
@Anyhowclick
Oh I see... Alright, will do!
Desmond
@Anyhowclick
Hello, for the --exclude option, can it take in multiple directories?
ie. can I specify multiple directories and files to be excluded from mutation?
JoranHonig
@JoranHonig
@Anyhowclick you can use multiple exclude statements like this: --exclude directory1 --exclude directory2/subdir
Desmond
@Anyhowclick
Ohhh ok, thanks!
Desmond
@Anyhowclick

I'm getting the error: We couldn't get valid results by running the truffle tests., but all tests pass with npx truffle test using either buidlerevm or ganache-cli. Could there be other reasons why this stage fails?

Here's the repo for reference (instructions in README):
https://github.com/KyberNetwork/smart-contracts/tree/mutationTests

JoranHonig
@JoranHonig
@Anyhowclick thanks for your message! I'm currently working towards my thesis defence in a week, so I'm a bit swamped 😅
I'll have a look at the repo afterwards 👍
JoranHonig
@JoranHonig
For people interested in Vertigo development, I'm currently working on https://github.com/JoranHonig/tree-sitter-solidity so I can remove a huge dependency on solc/truffle compilation artifacts