Closed hiqua closed 5 years ago
DeepCode analyzed this pull request. There are no new issues.2 info reports were fixed.
Click to see more details.
In all honesty, I don't understand what this option was anyway. What does "JSON file containing a list of smart contracts (2d array)" mean? A JSON file containing a list of the source codes? In which case I don't really see a use case anyway. If it contains a list of bytecodes, then it is the same as the -co
flag imho.
this option can be removed, it was only used to produce experiments for the securify paper.
DeepCode analyzed this pull request. There are no new issues.
@jakobbeckmann @ptsankov let me know if you consider this option is still useful and should be kept, I'm currently thinking otherwise, hence this PR.