default extended json output
daejunpark opened this issue · comments
Daejun Park commented
--extended-json-output is more useful in most cases. make it default, and have a separate option that prints a minimal json output.
A symbolic testing tool for EVM smart contracts
daejunpark opened this issue · comments
--extended-json-output is more useful in most cases. make it default, and have a separate option that prints a minimal json output.