diff options
Diffstat (limited to '9ns/test/adversarial.sh')
| -rwxr-xr-x | 9ns/test/adversarial.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/9ns/test/adversarial.sh b/9ns/test/adversarial.sh index 71c6f44..8575dcf 100755 --- a/9ns/test/adversarial.sh +++ b/9ns/test/adversarial.sh @@ -8,7 +8,7 @@ NS=${1:?path to 9ns} PROC=${2:?path to 9proc-demo} HERE=$(cd "$(dirname "$0")" && pwd) status=0 -for suite in adv_ns_process adv_bridge_hostile adv_bridge_semantics adv_bridge_stress; do +for suite in adv_ns_process adv_bridge_hostile adv_bridge_interrupt adv_bridge_semantics adv_bridge_stress; do echo "### $suite" if bash "$HERE/$suite.sh" "$NS" "$PROC"; then echo "### $suite: ok"; else echo "### $suite: FAILED"; status=1; fi done |