Skip to content
Snippets Groups Projects
Commit d88168ce authored by Eric Cano's avatar Eric Cano
Browse files

#129: changed kill signal to SEGV in case of timeout.

This will allow debugging this issue.
parent 6209ce6b
Branches
Tags
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment