diff --git a/scripts/runner.pl b/scripts/runner.pl index 84bd078..6910a8d 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -230,9 +230,8 @@ sub inject { "-Wf,--server-port=$fail_server_port", "-Wf,--state-dir=$remote_builds_dir/$experiment/state", "-Wf,--trap", - - # "-Wf,--catch-outerspace", - # "-Wf,--catch-write-textsegment", + "-Wf,--catch-outerspace", + "-Wf,--catch-write-textsegment", "-Wf,--timeout=500000", "-Wf,--ok-marker=fail_marker_positive", "-Wf,--fail-marker=fail_marker_negative",