diff --git a/fail.just b/fail.just index 0b96cae..7a3a817 100644 --- a/fail.just +++ b/fail.just @@ -90,6 +90,8 @@ client module: -Wf,--server-port={{ FAIL_SERVER_PORT }} \ -Wf,--state-dir={{ BUILD_DIR }}-{{ module }}/state \ -Wf,--trap \ + -Wf,--catch-write-textsegment \ + -Wf,--catch-outerspace \ -Wf,--timeout=500000 \ -Wf,--ok-marker=fail_marker_positive \ -Wf,--fail-marker=fail_marker_negative \