yxliang

@inducer Are you interested in working on this issue? You actually have all the environment to implement and test with. For example, you can use `nvcc` as an example offline...

Maybe someone interested and has some few time can work on this then :) Or, maybe when I am more free and more familiar this library (I'm still learning how...

Thanks @norhh To reconfirm, `require` acts like adding preconditions to the symbolic exploration? What will mythril do if the `require` condition is provably `false`?

I feel they indeed should be separated. I would say such design is better.

@JoranHonig Would you like to rephrase the issue description? I don't seem to understand what it means.

Hey @norhh may I know whether there's progress on this?

Thanks! This looks to be exactly but a more generic solution to the feature I am talking about @norhh . Any estimate for this being stably merged?

@yz1019117968 Do you have any file exhibiting the problems? I have tried with first, it worked perfectly. Also, what does the third one mean?

For second, `initialValue` object is the one you are looking for. For third, what is the problem you are encountering in particular?

Yes. This is confirmed. Example `UnaryOperation` formation is at https://github.com/federicobond/solidity-parser-antlr/blob/918b74290b783f3aae7ba690c7163427e70df51c/test/ast.js#L699 .