yxliang

Although I can see different commands in `package.json` that are for building extensions for different browsers (called vendors there), but, I still don't see any folder that is meant to...

My rough proof-of-concept of the universal webextension extension template is at https://github.com/yxliang01/generator-chrome-extension-kickstart/tree/universal . You may take a look. It is basically what I meant by the comment above. It's however...

Hey, seems like it will be a big update. May I know the rationale behind all these changes?

@mikand I haven't observed any performance issue caused by this binary representation and that wasn't the reason. I was just trying to read the formulas generated by PYSMT and feel...

@JoranHonig Indeed, I overlooked this option. However, it's not intuitive to set a wanted value though I think. Since the number of mutants Vertigo can generate various from one combination...

https://github.com/sc-forks/solidity-coverage might be a good one to use. More importantly, many major smart contract projects have already implemented the coverage generation script for running it automatically end-to-end.

@JoranHonig As far as I know, no. But, do we really need to get the coverage for each unit test?

I see. But, I feel one thing could possibly already be done is to get the coverage data for one test file by isolating it from others.

@cgewecke You meant you plan to implement reporting coverage per unit test?

@cgewecke Hmm, if we simply get the test description, it's not enough to do fault localization though. I would expect there are repeated names. But, if we can ensure the...