Repository navigation
Add additional solc options on trace compilation #35
Description
Hi,
We are looking to integrate saddle in our compilation library. This would allow to support all our tools (including Slither, Echidna, or Manticore) out of the box.
Would it be possible to add abi,ast,userdoc,devdoc,hashes,compact-format to the solc options if the compilation is done with --trace ?
saddle/src/cli/commands/compile.ts
Line 18 in d5ee0ef
This will simplify our integration.
Thank you
Activity
hayesgm commentedon Aug 15, 2020
Sure- do you think maybe this would be better to add
solc_trace_argssimilar tosolc_argsinsaddle.config.jsso you could add whichever args you want via your config file?See https://github.com/compound-finance/saddle/blob/master/saddle.config.js#L4
montyly commentedon Sep 4, 2020
Thanks @hayesgm for the link.
So that would work with manual editing, but it will prevent a more transparent usage.
Ex: as a user I want to run
some_tool [saddle project]without having to change mysaddle.config.jsto fit the external tool needs.If we can have access to the elements listed above, I think that would facilitate any third party tool integration. It's the way we integrated the other frameworks.