christoph/failnix
1
Fork 0
Code Releases Activity

enable --catch-write-textsegment and --catch-outerspace

Browse Source
This commit is contained in:
Christoph Urlacher
2026-04-16 22:36:48 +02:00
parent 329014aada
commit 3563a810a1
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
fail.just
View File

@ -90,6 +90,8 @@ client module:
-Wf,--server-port={{ FAIL_SERVER_PORT }} \ -Wf,--server-port={{ FAIL_SERVER_PORT }} \
-Wf,--state-dir={{ BUILD_DIR }}-{{ module }}/state \ -Wf,--state-dir={{ BUILD_DIR }}-{{ module }}/state \
-Wf,--trap \ -Wf,--trap \
-Wf,--catch-write-textsegment \
-Wf,--catch-outerspace \
-Wf,--timeout=500000 \ -Wf,--timeout=500000 \
-Wf,--ok-marker=fail_marker_positive \ -Wf,--ok-marker=fail_marker_positive \
-Wf,--fail-marker=fail_marker_negative \ -Wf,--fail-marker=fail_marker_negative \