eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Apache License 2.0
215 stars 50 forks source link

Souffle is not cancelled if securify is cancelled #15

Closed MatthiasEgli-chainsecurity closed 5 years ago

MatthiasEgli-chainsecurity commented 5 years ago

For long-running souffle tasks, the process remains behind after cancelling securify itself.

hiqua commented 5 years ago

@ggrieco-tob you can try with the process_builder_run_commandbranch to see if this fixes the problem.