exit if souffle cmd resulted in exception

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Apache License 2.0

215 stars 50 forks source link

Closed hiqua closed 5 years ago

ajhodges commented 5 years ago

I recommend keeping the stacktrace but changing it to e.printStackTrace(); because that is what helped me track down #19

hiqua commented 5 years ago

Everything done from my side.