Introduce `--debug` flag

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

Other

299 stars 63 forks source link

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

This PR introduces the --debug flag, to be used when developing client analyses. Main use:

Halt when compilation of souffle binary fails instead of falling back to previous one.
Save and show souffle error info when using interpreted mode.