diff options
Diffstat (limited to '9player/test/adversarial.sh')
| -rwxr-xr-x | 9player/test/adversarial.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/9player/test/adversarial.sh b/9player/test/adversarial.sh deleted file mode 100755 index 857af14..0000000 --- a/9player/test/adversarial.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/usr/bin/env bash -# Runs every 9player adversarial suite in sequence (hostile servers, FUSE -# semantics, process/namespace edge cases, stress). The suites aimed at the -# introspect server itself live in introspect/test (zig build introspect-adv). -# Usage: bash 9player/test/adversarial.sh <9player> <introspect> (zig build 9player-adv) -set -u -PLAYER=${1:?path to 9player} -INTROSPECT=${2:?path to introspect} -HERE=$(cd "$(dirname "$0")" && pwd) -status=0 -for suite in adv_ns_process adv_bridge_hostile adv_bridge_semantics adv_bridge_stress; do - echo "### $suite" - if bash "$HERE/$suite.sh" "$PLAYER" "$INTROSPECT"; then echo "### $suite: ok"; else echo "### $suite: FAILED"; status=1; fi -done -exit $status |