From 758c522b31fed92019fcecf6ba43c12a40723de4 Mon Sep 17 00:00:00 2001 From: Alexey Galakhov Date: Fri, 17 May 2019 01:30:41 +0200 Subject: [PATCH] travis: add automated autobahn tests Signed-off-by: Alexey Galakhov --- .travis.yml | 12 + autobahn/client-results.json | 3623 +++++++++++++++++++++++++++++++++ autobahn/fuzzingclient.json | 12 + autobahn/fuzzingserver.json | 7 + autobahn/server-results.json | 3637 ++++++++++++++++++++++++++++++++++ examples/autobahn-server.rs | 2 +- scripts/autobahn-client.sh | 34 + scripts/autobahn-server.sh | 34 + 8 files changed, 7360 insertions(+), 1 deletion(-) create mode 100644 autobahn/client-results.json create mode 100644 autobahn/fuzzingclient.json create mode 100644 autobahn/fuzzingserver.json create mode 100644 autobahn/server-results.json create mode 100755 scripts/autobahn-client.sh create mode 100755 scripts/autobahn-server.sh diff --git a/.travis.yml b/.travis.yml index 22761ba..40f0edc 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1 +1,13 @@ language: rust + +before_script: + - export PATH="$PATH:$HOME/.cargo/bin" + +script: + - cargo test --release + +after_success: + - sudo apt-get install python-unittest2 + - sudo pip install ghp-import urllib3[secure] autobahntestsuite + - echo "Running Autobahn TestSuite for client" && ./scripts/autobahn-client.sh + - echo "Running Autobahn TestSuite for server" && ./scripts/autobahn-server.sh diff --git a/autobahn/client-results.json b/autobahn/client-results.json new file mode 100644 index 0000000..4add9bb --- /dev/null +++ b/autobahn/client-results.json @@ -0,0 +1,3623 @@ +{ + "Tungstenite": { + "1.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_1_1.json" + }, + "1.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_1_2.json" + }, + "1.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_1_3.json" + }, + "1.1.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_1_4.json" + }, + "1.1.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_1_5.json" + }, + "1.1.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_1_6.json" + }, + "1.1.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_1_7.json" + }, + "1.1.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 6, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_1_8.json" + }, + "1.2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_2_1.json" + }, + "1.2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_2_2.json" + }, + "1.2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_2_3.json" + }, + "1.2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_2_4.json" + }, + "1.2.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_2_5.json" + }, + "1.2.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 31, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_2_6.json" + }, + "1.2.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 26, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_2_7.json" + }, + "1.2.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 36, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_1_2_8.json" + }, + "10.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_10_1_1.json" + }, + "12.1.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_1.json" + }, + "12.1.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_10.json" + }, + "12.1.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_11.json" + }, + "12.1.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_12.json" + }, + "12.1.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_13.json" + }, + "12.1.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_14.json" + }, + "12.1.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_15.json" + }, + "12.1.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_16.json" + }, + "12.1.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_17.json" + }, + "12.1.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_18.json" + }, + "12.1.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_2.json" + }, + "12.1.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_3.json" + }, + "12.1.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_4.json" + }, + "12.1.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_5.json" + }, + "12.1.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_6.json" + }, + "12.1.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_7.json" + }, + "12.1.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_8.json" + }, + "12.1.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_1_9.json" + }, + "12.2.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_1.json" + }, + "12.2.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_10.json" + }, + "12.2.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_11.json" + }, + "12.2.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_12.json" + }, + "12.2.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_13.json" + }, + "12.2.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_14.json" + }, + "12.2.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_15.json" + }, + "12.2.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_16.json" + }, + "12.2.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_17.json" + }, + "12.2.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_18.json" + }, + "12.2.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_2.json" + }, + "12.2.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_3.json" + }, + "12.2.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_4.json" + }, + "12.2.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_5.json" + }, + "12.2.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_6.json" + }, + "12.2.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_7.json" + }, + "12.2.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_8.json" + }, + "12.2.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_2_9.json" + }, + "12.3.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_1.json" + }, + "12.3.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_10.json" + }, + "12.3.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_11.json" + }, + "12.3.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_12.json" + }, + "12.3.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_13.json" + }, + "12.3.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_14.json" + }, + "12.3.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_15.json" + }, + "12.3.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_16.json" + }, + "12.3.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_17.json" + }, + "12.3.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_18.json" + }, + "12.3.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_2.json" + }, + "12.3.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_3.json" + }, + "12.3.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_4.json" + }, + "12.3.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_5.json" + }, + "12.3.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_6.json" + }, + "12.3.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_7.json" + }, + "12.3.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_8.json" + }, + "12.3.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_3_9.json" + }, + "12.4.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_1.json" + }, + "12.4.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_10.json" + }, + "12.4.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_11.json" + }, + "12.4.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_12.json" + }, + "12.4.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_13.json" + }, + "12.4.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_14.json" + }, + "12.4.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_15.json" + }, + "12.4.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_16.json" + }, + "12.4.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_17.json" + }, + "12.4.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_18.json" + }, + "12.4.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_2.json" + }, + "12.4.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_3.json" + }, + "12.4.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_4.json" + }, + "12.4.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_5.json" + }, + "12.4.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_6.json" + }, + "12.4.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_7.json" + }, + "12.4.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_8.json" + }, + "12.4.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_4_9.json" + }, + "12.5.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_1.json" + }, + "12.5.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_10.json" + }, + "12.5.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_11.json" + }, + "12.5.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_12.json" + }, + "12.5.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_13.json" + }, + "12.5.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_14.json" + }, + "12.5.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_15.json" + }, + "12.5.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_16.json" + }, + "12.5.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_17.json" + }, + "12.5.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_18.json" + }, + "12.5.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_2.json" + }, + "12.5.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_3.json" + }, + "12.5.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_4.json" + }, + "12.5.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_5.json" + }, + "12.5.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_6.json" + }, + "12.5.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_7.json" + }, + "12.5.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_8.json" + }, + "12.5.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_12_5_9.json" + }, + "13.1.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_1.json" + }, + "13.1.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_10.json" + }, + "13.1.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_11.json" + }, + "13.1.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_12.json" + }, + "13.1.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_13.json" + }, + "13.1.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_14.json" + }, + "13.1.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_15.json" + }, + "13.1.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_16.json" + }, + "13.1.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_17.json" + }, + "13.1.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_18.json" + }, + "13.1.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_2.json" + }, + "13.1.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_3.json" + }, + "13.1.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_4.json" + }, + "13.1.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_5.json" + }, + "13.1.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_6.json" + }, + "13.1.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_7.json" + }, + "13.1.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_8.json" + }, + "13.1.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_1_9.json" + }, + "13.2.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_1.json" + }, + "13.2.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_10.json" + }, + "13.2.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_11.json" + }, + "13.2.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_12.json" + }, + "13.2.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_13.json" + }, + "13.2.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_14.json" + }, + "13.2.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_15.json" + }, + "13.2.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 4, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_16.json" + }, + "13.2.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_17.json" + }, + "13.2.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_18.json" + }, + "13.2.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_2.json" + }, + "13.2.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_3.json" + }, + "13.2.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_4.json" + }, + "13.2.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_5.json" + }, + "13.2.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_6.json" + }, + "13.2.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_7.json" + }, + "13.2.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_8.json" + }, + "13.2.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_2_9.json" + }, + "13.3.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_1.json" + }, + "13.3.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_10.json" + }, + "13.3.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_11.json" + }, + "13.3.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_12.json" + }, + "13.3.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_13.json" + }, + "13.3.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_14.json" + }, + "13.3.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_15.json" + }, + "13.3.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_16.json" + }, + "13.3.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_17.json" + }, + "13.3.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_18.json" + }, + "13.3.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_2.json" + }, + "13.3.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_3.json" + }, + "13.3.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_4.json" + }, + "13.3.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_5.json" + }, + "13.3.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_6.json" + }, + "13.3.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_7.json" + }, + "13.3.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_8.json" + }, + "13.3.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_3_9.json" + }, + "13.4.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_1.json" + }, + "13.4.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_10.json" + }, + "13.4.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_11.json" + }, + "13.4.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_12.json" + }, + "13.4.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_13.json" + }, + "13.4.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_14.json" + }, + "13.4.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_15.json" + }, + "13.4.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_16.json" + }, + "13.4.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_17.json" + }, + "13.4.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_18.json" + }, + "13.4.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_2.json" + }, + "13.4.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_3.json" + }, + "13.4.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_4.json" + }, + "13.4.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_5.json" + }, + "13.4.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_6.json" + }, + "13.4.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_7.json" + }, + "13.4.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_8.json" + }, + "13.4.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_4_9.json" + }, + "13.5.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_1.json" + }, + "13.5.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_10.json" + }, + "13.5.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_11.json" + }, + "13.5.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_12.json" + }, + "13.5.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_13.json" + }, + "13.5.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_14.json" + }, + "13.5.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_15.json" + }, + "13.5.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_16.json" + }, + "13.5.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_17.json" + }, + "13.5.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_18.json" + }, + "13.5.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_2.json" + }, + "13.5.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_3.json" + }, + "13.5.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_4.json" + }, + "13.5.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_5.json" + }, + "13.5.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_6.json" + }, + "13.5.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_7.json" + }, + "13.5.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_8.json" + }, + "13.5.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_5_9.json" + }, + "13.6.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_1.json" + }, + "13.6.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_10.json" + }, + "13.6.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_11.json" + }, + "13.6.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_12.json" + }, + "13.6.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_13.json" + }, + "13.6.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_14.json" + }, + "13.6.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_15.json" + }, + "13.6.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_16.json" + }, + "13.6.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_17.json" + }, + "13.6.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_18.json" + }, + "13.6.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_2.json" + }, + "13.6.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_3.json" + }, + "13.6.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_4.json" + }, + "13.6.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_5.json" + }, + "13.6.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_6.json" + }, + "13.6.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_7.json" + }, + "13.6.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_8.json" + }, + "13.6.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_6_9.json" + }, + "13.7.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_1.json" + }, + "13.7.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_10.json" + }, + "13.7.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_11.json" + }, + "13.7.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_12.json" + }, + "13.7.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_13.json" + }, + "13.7.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_14.json" + }, + "13.7.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_15.json" + }, + "13.7.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_16.json" + }, + "13.7.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_17.json" + }, + "13.7.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_18.json" + }, + "13.7.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_2.json" + }, + "13.7.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_3.json" + }, + "13.7.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_4.json" + }, + "13.7.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_5.json" + }, + "13.7.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_6.json" + }, + "13.7.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_7.json" + }, + "13.7.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_8.json" + }, + "13.7.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_13_7_9.json" + }, + "2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_1.json" + }, + "2.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_10.json" + }, + "2.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 10, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_11.json" + }, + "2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_2.json" + }, + "2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_3.json" + }, + "2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_4.json" + }, + "2.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_2_5.json" + }, + "2.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 9, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_6.json" + }, + "2.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_7.json" + }, + "2.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_8.json" + }, + "2.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_2_9.json" + }, + "3.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_3_1.json" + }, + "3.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_3_2.json" + }, + "3.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_3_3.json" + }, + "3.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 5, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_3_4.json" + }, + "3.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_3_5.json" + }, + "3.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_3_6.json" + }, + "3.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_3_7.json" + }, + "4.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_1_1.json" + }, + "4.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_1_2.json" + }, + "4.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_1_3.json" + }, + "4.1.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_1_4.json" + }, + "4.1.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_1_5.json" + }, + "4.2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_2_1.json" + }, + "4.2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_2_2.json" + }, + "4.2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_2_3.json" + }, + "4.2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_2_4.json" + }, + "4.2.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_4_2_5.json" + }, + "5.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_1.json" + }, + "5.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_10.json" + }, + "5.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_11.json" + }, + "5.12": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_12.json" + }, + "5.13": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_13.json" + }, + "5.14": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_14.json" + }, + "5.15": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_15.json" + }, + "5.16": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_16.json" + }, + "5.17": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_17.json" + }, + "5.18": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_18.json" + }, + "5.19": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1004, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_5_19.json" + }, + "5.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_2.json" + }, + "5.20": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1005, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_5_20.json" + }, + "5.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_5_3.json" + }, + "5.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_5_4.json" + }, + "5.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_5_5.json" + }, + "5.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_5_6.json" + }, + "5.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_5_7.json" + }, + "5.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 17, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_5_8.json" + }, + "5.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_5_9.json" + }, + "6.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_1_1.json" + }, + "6.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_1_2.json" + }, + "6.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_1_3.json" + }, + "6.10.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_10_1.json" + }, + "6.10.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_10_2.json" + }, + "6.10.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_10_3.json" + }, + "6.11.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_11_1.json" + }, + "6.11.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_11_2.json" + }, + "6.11.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_11_3.json" + }, + "6.11.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_11_4.json" + }, + "6.11.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_11_5.json" + }, + "6.12.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_12_1.json" + }, + "6.12.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_12_2.json" + }, + "6.12.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_12_3.json" + }, + "6.12.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_12_4.json" + }, + "6.12.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_12_5.json" + }, + "6.12.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_12_6.json" + }, + "6.12.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_12_7.json" + }, + "6.12.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_12_8.json" + }, + "6.13.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_13_1.json" + }, + "6.13.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_13_2.json" + }, + "6.13.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_13_3.json" + }, + "6.13.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_13_4.json" + }, + "6.13.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_13_5.json" + }, + "6.14.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_1.json" + }, + "6.14.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_10.json" + }, + "6.14.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_2.json" + }, + "6.14.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_3.json" + }, + "6.14.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_4.json" + }, + "6.14.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_5.json" + }, + "6.14.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_6.json" + }, + "6.14.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_7.json" + }, + "6.14.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_8.json" + }, + "6.14.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_14_9.json" + }, + "6.15.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_15_1.json" + }, + "6.16.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_16_1.json" + }, + "6.16.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_16_2.json" + }, + "6.16.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_16_3.json" + }, + "6.17.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_17_1.json" + }, + "6.17.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_17_2.json" + }, + "6.17.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_17_3.json" + }, + "6.17.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_17_4.json" + }, + "6.17.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_17_5.json" + }, + "6.18.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_18_1.json" + }, + "6.18.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_18_2.json" + }, + "6.18.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_18_3.json" + }, + "6.18.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_18_4.json" + }, + "6.18.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_18_5.json" + }, + "6.19.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_19_1.json" + }, + "6.19.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_19_2.json" + }, + "6.19.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_19_3.json" + }, + "6.19.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_19_4.json" + }, + "6.19.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_19_5.json" + }, + "6.2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_2_1.json" + }, + "6.2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_2_2.json" + }, + "6.2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 4, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_2_3.json" + }, + "6.2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_2_4.json" + }, + "6.20.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_20_1.json" + }, + "6.20.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_20_2.json" + }, + "6.20.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_20_3.json" + }, + "6.20.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_20_4.json" + }, + "6.20.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_20_5.json" + }, + "6.20.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_20_6.json" + }, + "6.20.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_20_7.json" + }, + "6.21.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_21_1.json" + }, + "6.21.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_21_2.json" + }, + "6.21.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_21_3.json" + }, + "6.21.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_21_4.json" + }, + "6.21.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_21_5.json" + }, + "6.21.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_21_6.json" + }, + "6.21.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_21_7.json" + }, + "6.21.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_21_8.json" + }, + "6.22.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_1.json" + }, + "6.22.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_10.json" + }, + "6.22.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_11.json" + }, + "6.22.12": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_12.json" + }, + "6.22.13": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_13.json" + }, + "6.22.14": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_14.json" + }, + "6.22.15": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_15.json" + }, + "6.22.16": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_16.json" + }, + "6.22.17": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_17.json" + }, + "6.22.18": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_18.json" + }, + "6.22.19": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_19.json" + }, + "6.22.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_2.json" + }, + "6.22.20": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_20.json" + }, + "6.22.21": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_21.json" + }, + "6.22.22": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_22.json" + }, + "6.22.23": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_23.json" + }, + "6.22.24": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_24.json" + }, + "6.22.25": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_25.json" + }, + "6.22.26": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_26.json" + }, + "6.22.27": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_27.json" + }, + "6.22.28": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_28.json" + }, + "6.22.29": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_29.json" + }, + "6.22.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_3.json" + }, + "6.22.30": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_30.json" + }, + "6.22.31": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_31.json" + }, + "6.22.32": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_32.json" + }, + "6.22.33": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_33.json" + }, + "6.22.34": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_34.json" + }, + "6.22.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 4, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_4.json" + }, + "6.22.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_5.json" + }, + "6.22.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_6.json" + }, + "6.22.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_7.json" + }, + "6.22.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_8.json" + }, + "6.22.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_22_9.json" + }, + "6.23.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_23_1.json" + }, + "6.23.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_23_2.json" + }, + "6.23.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_23_3.json" + }, + "6.23.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_23_4.json" + }, + "6.23.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_23_5.json" + }, + "6.23.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_23_6.json" + }, + "6.23.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_23_7.json" + }, + "6.3.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_3_1.json" + }, + "6.3.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_3_2.json" + }, + "6.4.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1001, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_4_1.json" + }, + "6.4.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1002, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_4_2.json" + }, + "6.4.3": { + "behavior": "NON-STRICT", + "behaviorClose": "OK", + "duration": 2002, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_4_3.json" + }, + "6.4.4": { + "behavior": "NON-STRICT", + "behaviorClose": "OK", + "duration": 2002, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_4_4.json" + }, + "6.5.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_5_1.json" + }, + "6.5.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_5_2.json" + }, + "6.5.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_5_3.json" + }, + "6.5.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_5_4.json" + }, + "6.5.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_5_5.json" + }, + "6.6.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_6_1.json" + }, + "6.6.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_6_10.json" + }, + "6.6.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 5, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_6_11.json" + }, + "6.6.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_6_2.json" + }, + "6.6.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_6_3.json" + }, + "6.6.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_6_4.json" + }, + "6.6.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_6_5.json" + }, + "6.6.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_6_6.json" + }, + "6.6.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_6_7.json" + }, + "6.6.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_6_8.json" + }, + "6.6.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_6_9.json" + }, + "6.7.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_7_1.json" + }, + "6.7.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_7_2.json" + }, + "6.7.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_7_3.json" + }, + "6.7.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_7_4.json" + }, + "6.8.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_8_1.json" + }, + "6.8.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_6_8_2.json" + }, + "6.9.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_9_1.json" + }, + "6.9.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_9_2.json" + }, + "6.9.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_9_3.json" + }, + "6.9.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_6_9_4.json" + }, + "7.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_1_1.json" + }, + "7.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_1_2.json" + }, + "7.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_1_3.json" + }, + "7.1.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_1_4.json" + }, + "7.1.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_1_5.json" + }, + "7.1.6": { + "behavior": "INFORMATIONAL", + "behaviorClose": "INFORMATIONAL", + "duration": 16, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_1_6.json" + }, + "7.13.1": { + "behavior": "INFORMATIONAL", + "behaviorClose": "INFORMATIONAL", + "duration": 1, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_13_1.json" + }, + "7.13.2": { + "behavior": "INFORMATIONAL", + "behaviorClose": "INFORMATIONAL", + "duration": 2, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_13_2.json" + }, + "7.3.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_7_3_1.json" + }, + "7.3.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_7_3_2.json" + }, + "7.3.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_3_3.json" + }, + "7.3.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_3_4.json" + }, + "7.3.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_3_5.json" + }, + "7.3.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_7_3_6.json" + }, + "7.5.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "tungstenite_case_7_5_1.json" + }, + "7.7.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_1.json" + }, + "7.7.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_10.json" + }, + "7.7.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_11.json" + }, + "7.7.12": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_12.json" + }, + "7.7.13": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_13.json" + }, + "7.7.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_2.json" + }, + "7.7.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_3.json" + }, + "7.7.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_4.json" + }, + "7.7.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_5.json" + }, + "7.7.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_6.json" + }, + "7.7.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_7.json" + }, + "7.7.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_8.json" + }, + "7.7.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_7_7_9.json" + }, + "7.9.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_1.json" + }, + "7.9.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_2.json" + }, + "7.9.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_3.json" + }, + "7.9.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_4.json" + }, + "7.9.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_5.json" + }, + "7.9.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_6.json" + }, + "7.9.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_7.json" + }, + "7.9.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_8.json" + }, + "7.9.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": 1002, + "reportfile": "tungstenite_case_7_9_9.json" + }, + "9.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 5, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_1_1.json" + }, + "9.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 6, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_1_2.json" + }, + "9.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 22, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_1_3.json" + }, + "9.1.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 110, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_1_4.json" + }, + "9.1.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 205, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_1_5.json" + }, + "9.1.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 320, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_1_6.json" + }, + "9.2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_2_1.json" + }, + "9.2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 6, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_2_2.json" + }, + "9.2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 16, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_2_3.json" + }, + "9.2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 123, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_2_4.json" + }, + "9.2.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 169, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_2_5.json" + }, + "9.2.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 360, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_2_6.json" + }, + "9.3.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 638, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_1.json" + }, + "9.3.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 209, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_2.json" + }, + "9.3.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 93, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_3.json" + }, + "9.3.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 64, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_4.json" + }, + "9.3.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_5.json" + }, + "9.3.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 50, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_6.json" + }, + "9.3.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 45, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_7.json" + }, + "9.3.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 51, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_8.json" + }, + "9.3.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 57, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_3_9.json" + }, + "9.4.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 608, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_1.json" + }, + "9.4.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 192, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_2.json" + }, + "9.4.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 75, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_3.json" + }, + "9.4.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_4.json" + }, + "9.4.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 29, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_5.json" + }, + "9.4.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 39, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_6.json" + }, + "9.4.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 35, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_7.json" + }, + "9.4.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 24, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_8.json" + }, + "9.4.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 29, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_4_9.json" + }, + "9.5.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 795, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_5_1.json" + }, + "9.5.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 425, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_5_2.json" + }, + "9.5.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 228, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_5_3.json" + }, + "9.5.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 114, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_5_4.json" + }, + "9.5.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 84, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_5_5.json" + }, + "9.5.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 51, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_5_6.json" + }, + "9.6.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 799, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_6_1.json" + }, + "9.6.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 429, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_6_2.json" + }, + "9.6.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 214, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_6_3.json" + }, + "9.6.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 127, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_6_4.json" + }, + "9.6.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 80, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_6_5.json" + }, + "9.6.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 57, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_6_6.json" + }, + "9.7.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 127, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_7_1.json" + }, + "9.7.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 121, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_7_2.json" + }, + "9.7.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 124, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_7_3.json" + }, + "9.7.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 146, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_7_4.json" + }, + "9.7.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 196, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_7_5.json" + }, + "9.7.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 351, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_7_6.json" + }, + "9.8.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 95, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_8_1.json" + }, + "9.8.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 119, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_8_2.json" + }, + "9.8.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 115, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_8_3.json" + }, + "9.8.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 134, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_8_4.json" + }, + "9.8.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 187, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_8_5.json" + }, + "9.8.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 328, + "remoteCloseCode": 1000, + "reportfile": "tungstenite_case_9_8_6.json" + } + } +} \ No newline at end of file diff --git a/autobahn/fuzzingclient.json b/autobahn/fuzzingclient.json new file mode 100644 index 0000000..776abfc --- /dev/null +++ b/autobahn/fuzzingclient.json @@ -0,0 +1,12 @@ +{ + "outdir": "./autobahn/server", + "servers": [ + { + "agent": "rust-websocket", + "url": "ws://127.0.0.1:9002" + } + ], + "cases": ["*"], + "exclude-cases": [], + "exclude-agent-cases": {} +} \ No newline at end of file diff --git a/autobahn/fuzzingserver.json b/autobahn/fuzzingserver.json new file mode 100644 index 0000000..dc89960 --- /dev/null +++ b/autobahn/fuzzingserver.json @@ -0,0 +1,7 @@ +{ + "url": "ws://127.0.0.1:9001", + "outdir": "./autobahn/client", + "cases": ["*"], + "exclude-cases": [], + "exclude-agent-cases": {} +} \ No newline at end of file diff --git a/autobahn/server-results.json b/autobahn/server-results.json new file mode 100644 index 0000000..4b1ea8d --- /dev/null +++ b/autobahn/server-results.json @@ -0,0 +1,3637 @@ +{ + "rust-websocket": { + "1.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 45, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_1_1.json" + }, + "1.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_1_2.json" + }, + "1.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_1_3.json" + }, + "1.1.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_1_4.json" + }, + "1.1.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_1_5.json" + }, + "1.1.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 26, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_1_6.json" + }, + "1.1.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 20, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_1_7.json" + }, + "1.1.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 20, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_1_8.json" + }, + "1.2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_2_1.json" + }, + "1.2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 46, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_2_2.json" + }, + "1.2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 46, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_2_3.json" + }, + "1.2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_2_4.json" + }, + "1.2.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_2_5.json" + }, + "1.2.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 68, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_2_6.json" + }, + "1.2.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 40, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_2_7.json" + }, + "1.2.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 36, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_1_2_8.json" + }, + "10.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 33, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_10_1_1.json" + }, + "12.1.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_1.json" + }, + "12.1.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_10.json" + }, + "12.1.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_11.json" + }, + "12.1.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_12.json" + }, + "12.1.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_13.json" + }, + "12.1.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_14.json" + }, + "12.1.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_15.json" + }, + "12.1.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_16.json" + }, + "12.1.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_17.json" + }, + "12.1.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_18.json" + }, + "12.1.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_2.json" + }, + "12.1.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_3.json" + }, + "12.1.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_4.json" + }, + "12.1.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_5.json" + }, + "12.1.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_6.json" + }, + "12.1.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_7.json" + }, + "12.1.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_8.json" + }, + "12.1.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_1_9.json" + }, + "12.2.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_1.json" + }, + "12.2.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_10.json" + }, + "12.2.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_11.json" + }, + "12.2.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_12.json" + }, + "12.2.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_13.json" + }, + "12.2.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_14.json" + }, + "12.2.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_15.json" + }, + "12.2.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_16.json" + }, + "12.2.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_17.json" + }, + "12.2.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_18.json" + }, + "12.2.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_2.json" + }, + "12.2.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_3.json" + }, + "12.2.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_4.json" + }, + "12.2.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_5.json" + }, + "12.2.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_6.json" + }, + "12.2.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_7.json" + }, + "12.2.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_8.json" + }, + "12.2.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_2_9.json" + }, + "12.3.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_1.json" + }, + "12.3.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_10.json" + }, + "12.3.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_11.json" + }, + "12.3.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_12.json" + }, + "12.3.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_13.json" + }, + "12.3.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_14.json" + }, + "12.3.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_15.json" + }, + "12.3.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_16.json" + }, + "12.3.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_17.json" + }, + "12.3.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_18.json" + }, + "12.3.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_2.json" + }, + "12.3.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_3.json" + }, + "12.3.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_4.json" + }, + "12.3.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_5.json" + }, + "12.3.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_6.json" + }, + "12.3.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_7.json" + }, + "12.3.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_8.json" + }, + "12.3.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_3_9.json" + }, + "12.4.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_1.json" + }, + "12.4.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_10.json" + }, + "12.4.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_11.json" + }, + "12.4.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_12.json" + }, + "12.4.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_13.json" + }, + "12.4.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_14.json" + }, + "12.4.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_15.json" + }, + "12.4.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_16.json" + }, + "12.4.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_17.json" + }, + "12.4.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_18.json" + }, + "12.4.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_2.json" + }, + "12.4.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_3.json" + }, + "12.4.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_4.json" + }, + "12.4.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_5.json" + }, + "12.4.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_6.json" + }, + "12.4.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_7.json" + }, + "12.4.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_8.json" + }, + "12.4.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_4_9.json" + }, + "12.5.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_1.json" + }, + "12.5.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_10.json" + }, + "12.5.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_11.json" + }, + "12.5.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_12.json" + }, + "12.5.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_13.json" + }, + "12.5.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_14.json" + }, + "12.5.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_15.json" + }, + "12.5.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_16.json" + }, + "12.5.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_17.json" + }, + "12.5.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_18.json" + }, + "12.5.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_2.json" + }, + "12.5.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_3.json" + }, + "12.5.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_4.json" + }, + "12.5.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_5.json" + }, + "12.5.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_6.json" + }, + "12.5.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_7.json" + }, + "12.5.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_8.json" + }, + "12.5.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_12_5_9.json" + }, + "13.1.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_1.json" + }, + "13.1.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_10.json" + }, + "13.1.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_11.json" + }, + "13.1.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_12.json" + }, + "13.1.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_13.json" + }, + "13.1.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_14.json" + }, + "13.1.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_15.json" + }, + "13.1.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_16.json" + }, + "13.1.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_17.json" + }, + "13.1.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_18.json" + }, + "13.1.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_2.json" + }, + "13.1.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_3.json" + }, + "13.1.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_4.json" + }, + "13.1.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_5.json" + }, + "13.1.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_6.json" + }, + "13.1.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_7.json" + }, + "13.1.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_8.json" + }, + "13.1.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_1_9.json" + }, + "13.2.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_1.json" + }, + "13.2.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_10.json" + }, + "13.2.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_11.json" + }, + "13.2.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_12.json" + }, + "13.2.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_13.json" + }, + "13.2.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_14.json" + }, + "13.2.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_15.json" + }, + "13.2.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_16.json" + }, + "13.2.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_17.json" + }, + "13.2.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_18.json" + }, + "13.2.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_2.json" + }, + "13.2.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_3.json" + }, + "13.2.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_4.json" + }, + "13.2.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_5.json" + }, + "13.2.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_6.json" + }, + "13.2.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_7.json" + }, + "13.2.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_8.json" + }, + "13.2.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_2_9.json" + }, + "13.3.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_1.json" + }, + "13.3.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_10.json" + }, + "13.3.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_11.json" + }, + "13.3.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_12.json" + }, + "13.3.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_13.json" + }, + "13.3.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_14.json" + }, + "13.3.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_15.json" + }, + "13.3.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_16.json" + }, + "13.3.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_17.json" + }, + "13.3.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_18.json" + }, + "13.3.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_2.json" + }, + "13.3.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_3.json" + }, + "13.3.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_4.json" + }, + "13.3.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_5.json" + }, + "13.3.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_6.json" + }, + "13.3.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_7.json" + }, + "13.3.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_8.json" + }, + "13.3.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_3_9.json" + }, + "13.4.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_1.json" + }, + "13.4.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_10.json" + }, + "13.4.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_11.json" + }, + "13.4.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_12.json" + }, + "13.4.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_13.json" + }, + "13.4.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_14.json" + }, + "13.4.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_15.json" + }, + "13.4.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_16.json" + }, + "13.4.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_17.json" + }, + "13.4.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_18.json" + }, + "13.4.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_2.json" + }, + "13.4.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_3.json" + }, + "13.4.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_4.json" + }, + "13.4.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_5.json" + }, + "13.4.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_6.json" + }, + "13.4.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_7.json" + }, + "13.4.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_8.json" + }, + "13.4.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_4_9.json" + }, + "13.5.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_1.json" + }, + "13.5.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_10.json" + }, + "13.5.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_11.json" + }, + "13.5.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_12.json" + }, + "13.5.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_13.json" + }, + "13.5.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_14.json" + }, + "13.5.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_15.json" + }, + "13.5.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_16.json" + }, + "13.5.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_17.json" + }, + "13.5.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_18.json" + }, + "13.5.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_2.json" + }, + "13.5.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_3.json" + }, + "13.5.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_4.json" + }, + "13.5.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_5.json" + }, + "13.5.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_6.json" + }, + "13.5.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_7.json" + }, + "13.5.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_8.json" + }, + "13.5.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_5_9.json" + }, + "13.6.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_1.json" + }, + "13.6.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_10.json" + }, + "13.6.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_11.json" + }, + "13.6.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_12.json" + }, + "13.6.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_13.json" + }, + "13.6.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_14.json" + }, + "13.6.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_15.json" + }, + "13.6.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_16.json" + }, + "13.6.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_17.json" + }, + "13.6.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_18.json" + }, + "13.6.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_2.json" + }, + "13.6.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_3.json" + }, + "13.6.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_4.json" + }, + "13.6.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_5.json" + }, + "13.6.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_6.json" + }, + "13.6.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_7.json" + }, + "13.6.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_8.json" + }, + "13.6.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_6_9.json" + }, + "13.7.1": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_1.json" + }, + "13.7.10": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_10.json" + }, + "13.7.11": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_11.json" + }, + "13.7.12": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_12.json" + }, + "13.7.13": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_13.json" + }, + "13.7.14": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_14.json" + }, + "13.7.15": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_15.json" + }, + "13.7.16": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_16.json" + }, + "13.7.17": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_17.json" + }, + "13.7.18": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_18.json" + }, + "13.7.2": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_2.json" + }, + "13.7.3": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_3.json" + }, + "13.7.4": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_4.json" + }, + "13.7.5": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_5.json" + }, + "13.7.6": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_6.json" + }, + "13.7.7": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_7.json" + }, + "13.7.8": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_8.json" + }, + "13.7.9": { + "behavior": "UNIMPLEMENTED", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_13_7_9.json" + }, + "2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_1.json" + }, + "2.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 50, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_10.json" + }, + "2.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 72, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_11.json" + }, + "2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_2.json" + }, + "2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_3.json" + }, + "2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_4.json" + }, + "2.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_5.json" + }, + "2.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 66, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_6.json" + }, + "2.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_7.json" + }, + "2.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_8.json" + }, + "2.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 46, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_2_9.json" + }, + "3.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_3_1.json" + }, + "3.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_3_2.json" + }, + "3.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_3_3.json" + }, + "3.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 9, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_3_4.json" + }, + "3.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_3_5.json" + }, + "3.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_3_6.json" + }, + "3.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_3_7.json" + }, + "4.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_1_1.json" + }, + "4.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_1_2.json" + }, + "4.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_1_3.json" + }, + "4.1.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_1_4.json" + }, + "4.1.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_1_5.json" + }, + "4.2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_2_1.json" + }, + "4.2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_2_2.json" + }, + "4.2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_2_3.json" + }, + "4.2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_2_4.json" + }, + "4.2.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_4_2_5.json" + }, + "5.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_1.json" + }, + "5.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_10.json" + }, + "5.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 7, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_11.json" + }, + "5.12": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_12.json" + }, + "5.13": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_13.json" + }, + "5.14": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 4, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_14.json" + }, + "5.15": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_15.json" + }, + "5.16": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_16.json" + }, + "5.17": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_17.json" + }, + "5.18": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_18.json" + }, + "5.19": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1003, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_19.json" + }, + "5.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_2.json" + }, + "5.20": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1046, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_20.json" + }, + "5.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_3.json" + }, + "5.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_4.json" + }, + "5.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 51, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_5.json" + }, + "5.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_6.json" + }, + "5.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_7.json" + }, + "5.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 54, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_8.json" + }, + "5.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_5_9.json" + }, + "6.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_1_1.json" + }, + "6.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 47, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_1_2.json" + }, + "6.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 46, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_1_3.json" + }, + "6.10.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_10_1.json" + }, + "6.10.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_10_2.json" + }, + "6.10.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_10_3.json" + }, + "6.11.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 45, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_11_1.json" + }, + "6.11.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_11_2.json" + }, + "6.11.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_11_3.json" + }, + "6.11.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_11_4.json" + }, + "6.11.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_11_5.json" + }, + "6.12.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_12_1.json" + }, + "6.12.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_12_2.json" + }, + "6.12.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_12_3.json" + }, + "6.12.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_12_4.json" + }, + "6.12.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_12_5.json" + }, + "6.12.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_12_6.json" + }, + "6.12.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_12_7.json" + }, + "6.12.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_12_8.json" + }, + "6.13.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_13_1.json" + }, + "6.13.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_13_2.json" + }, + "6.13.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_13_3.json" + }, + "6.13.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_13_4.json" + }, + "6.13.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_13_5.json" + }, + "6.14.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_1.json" + }, + "6.14.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_10.json" + }, + "6.14.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_2.json" + }, + "6.14.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_3.json" + }, + "6.14.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_4.json" + }, + "6.14.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_5.json" + }, + "6.14.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_6.json" + }, + "6.14.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_7.json" + }, + "6.14.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_8.json" + }, + "6.14.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_14_9.json" + }, + "6.15.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_15_1.json" + }, + "6.16.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_16_1.json" + }, + "6.16.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_16_2.json" + }, + "6.16.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_16_3.json" + }, + "6.17.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_17_1.json" + }, + "6.17.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_17_2.json" + }, + "6.17.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_17_3.json" + }, + "6.17.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_17_4.json" + }, + "6.17.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_17_5.json" + }, + "6.18.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_18_1.json" + }, + "6.18.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_18_2.json" + }, + "6.18.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_18_3.json" + }, + "6.18.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_18_4.json" + }, + "6.18.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_18_5.json" + }, + "6.19.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_19_1.json" + }, + "6.19.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_19_2.json" + }, + "6.19.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_19_3.json" + }, + "6.19.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_19_4.json" + }, + "6.19.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_19_5.json" + }, + "6.2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_2_1.json" + }, + "6.2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_2_2.json" + }, + "6.2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 47, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_2_3.json" + }, + "6.2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 47, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_2_4.json" + }, + "6.20.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_20_1.json" + }, + "6.20.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_20_2.json" + }, + "6.20.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_20_3.json" + }, + "6.20.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_20_4.json" + }, + "6.20.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_20_5.json" + }, + "6.20.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_20_6.json" + }, + "6.20.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_20_7.json" + }, + "6.21.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_21_1.json" + }, + "6.21.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_21_2.json" + }, + "6.21.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_21_3.json" + }, + "6.21.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_21_4.json" + }, + "6.21.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_21_5.json" + }, + "6.21.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_21_6.json" + }, + "6.21.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_21_7.json" + }, + "6.21.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_21_8.json" + }, + "6.22.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 45, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_1.json" + }, + "6.22.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_10.json" + }, + "6.22.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_11.json" + }, + "6.22.12": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_12.json" + }, + "6.22.13": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_13.json" + }, + "6.22.14": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_14.json" + }, + "6.22.15": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_15.json" + }, + "6.22.16": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_16.json" + }, + "6.22.17": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_17.json" + }, + "6.22.18": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_18.json" + }, + "6.22.19": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_19.json" + }, + "6.22.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_2.json" + }, + "6.22.20": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_20.json" + }, + "6.22.21": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_21.json" + }, + "6.22.22": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_22.json" + }, + "6.22.23": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_23.json" + }, + "6.22.24": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_24.json" + }, + "6.22.25": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_25.json" + }, + "6.22.26": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_26.json" + }, + "6.22.27": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_27.json" + }, + "6.22.28": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_28.json" + }, + "6.22.29": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_29.json" + }, + "6.22.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_3.json" + }, + "6.22.30": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_30.json" + }, + "6.22.31": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 45, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_31.json" + }, + "6.22.32": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_32.json" + }, + "6.22.33": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_33.json" + }, + "6.22.34": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_34.json" + }, + "6.22.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_4.json" + }, + "6.22.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_5.json" + }, + "6.22.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_6.json" + }, + "6.22.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_7.json" + }, + "6.22.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_8.json" + }, + "6.22.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_22_9.json" + }, + "6.23.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_23_1.json" + }, + "6.23.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_23_2.json" + }, + "6.23.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_23_3.json" + }, + "6.23.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_23_4.json" + }, + "6.23.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_23_5.json" + }, + "6.23.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_23_6.json" + }, + "6.23.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_23_7.json" + }, + "6.3.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_3_1.json" + }, + "6.3.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 3, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_3_2.json" + }, + "6.4.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2002, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_4_1.json" + }, + "6.4.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2001, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_4_2.json" + }, + "6.4.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2003, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_4_3.json" + }, + "6.4.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2003, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_4_4.json" + }, + "6.5.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 46, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_5_1.json" + }, + "6.5.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_5_2.json" + }, + "6.5.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_5_3.json" + }, + "6.5.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_5_4.json" + }, + "6.5.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 46, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_5_5.json" + }, + "6.6.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_1.json" + }, + "6.6.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_10.json" + }, + "6.6.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_11.json" + }, + "6.6.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_2.json" + }, + "6.6.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_3.json" + }, + "6.6.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_4.json" + }, + "6.6.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 45, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_5.json" + }, + "6.6.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_6.json" + }, + "6.6.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_7.json" + }, + "6.6.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_8.json" + }, + "6.6.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_6_9.json" + }, + "6.7.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_7_1.json" + }, + "6.7.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_7_2.json" + }, + "6.7.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_7_3.json" + }, + "6.7.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 47, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_7_4.json" + }, + "6.8.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 4, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_8_1.json" + }, + "6.8.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_8_2.json" + }, + "6.9.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 47, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_9_1.json" + }, + "6.9.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 45, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_9_2.json" + }, + "6.9.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_9_3.json" + }, + "6.9.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_6_9_4.json" + }, + "7.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_1_1.json" + }, + "7.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_1_2.json" + }, + "7.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_1_3.json" + }, + "7.1.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_1_4.json" + }, + "7.1.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_1_5.json" + }, + "7.1.6": { + "behavior": "INFORMATIONAL", + "behaviorClose": "INFORMATIONAL", + "duration": 104, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_1_6.json" + }, + "7.13.1": { + "behavior": "INFORMATIONAL", + "behaviorClose": "INFORMATIONAL", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_13_1.json" + }, + "7.13.2": { + "behavior": "INFORMATIONAL", + "behaviorClose": "INFORMATIONAL", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_13_2.json" + }, + "7.3.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_3_1.json" + }, + "7.3.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_3_2.json" + }, + "7.3.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_3_3.json" + }, + "7.3.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_3_4.json" + }, + "7.3.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_3_5.json" + }, + "7.3.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_3_6.json" + }, + "7.5.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_5_1.json" + }, + "7.7.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_1.json" + }, + "7.7.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_10.json" + }, + "7.7.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_11.json" + }, + "7.7.12": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_12.json" + }, + "7.7.13": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_13.json" + }, + "7.7.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_2.json" + }, + "7.7.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_3.json" + }, + "7.7.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_4.json" + }, + "7.7.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_5.json" + }, + "7.7.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_6.json" + }, + "7.7.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_7.json" + }, + "7.7.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_8.json" + }, + "7.7.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_7_9.json" + }, + "7.9.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_1.json" + }, + "7.9.10": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_10.json" + }, + "7.9.11": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_11.json" + }, + "7.9.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_2.json" + }, + "7.9.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_3.json" + }, + "7.9.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_4.json" + }, + "7.9.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_5.json" + }, + "7.9.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_6.json" + }, + "7.9.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_7.json" + }, + "7.9.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_8.json" + }, + "7.9.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 0, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_7_9_9.json" + }, + "9.1.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 19, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_1_1.json" + }, + "9.1.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 67, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_1_2.json" + }, + "9.1.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 257, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_1_3.json" + }, + "9.1.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1004, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_1_4.json" + }, + "9.1.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1993, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_1_5.json" + }, + "9.1.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 4003, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_1_6.json" + }, + "9.2.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 19, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_2_1.json" + }, + "9.2.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 66, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_2_2.json" + }, + "9.2.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 255, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_2_3.json" + }, + "9.2.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1006, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_2_4.json" + }, + "9.2.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2003, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_2_5.json" + }, + "9.2.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 4071, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_2_6.json" + }, + "9.3.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2098, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_1.json" + }, + "9.3.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1530, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_2.json" + }, + "9.3.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1363, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_3.json" + }, + "9.3.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1289, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_4.json" + }, + "9.3.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1150, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_5.json" + }, + "9.3.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1038, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_6.json" + }, + "9.3.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1035, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_7.json" + }, + "9.3.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 986, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_8.json" + }, + "9.3.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 983, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_3_9.json" + }, + "9.4.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 2076, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_1.json" + }, + "9.4.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1500, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_2.json" + }, + "9.4.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1350, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_3.json" + }, + "9.4.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1293, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_4.json" + }, + "9.4.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1115, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_5.json" + }, + "9.4.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1021, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_6.json" + }, + "9.4.7": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 976, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_7.json" + }, + "9.4.8": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 968, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_8.json" + }, + "9.4.9": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 963, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_4_9.json" + }, + "9.5.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1012, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_5_1.json" + }, + "9.5.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 616, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_5_2.json" + }, + "9.5.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 418, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_5_3.json" + }, + "9.5.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 318, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_5_4.json" + }, + "9.5.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 269, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_5_5.json" + }, + "9.5.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 256, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_5_6.json" + }, + "9.6.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 1036, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_6_1.json" + }, + "9.6.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 632, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_6_2.json" + }, + "9.6.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 431, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_6_3.json" + }, + "9.6.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 322, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_6_4.json" + }, + "9.6.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 267, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_6_5.json" + }, + "9.6.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 255, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_6_6.json" + }, + "9.7.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43376, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_7_1.json" + }, + "9.7.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43431, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_7_2.json" + }, + "9.7.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43364, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_7_3.json" + }, + "9.7.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43667, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_7_4.json" + }, + "9.7.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43511, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_7_5.json" + }, + "9.7.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 47030, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_7_6.json" + }, + "9.8.1": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43414, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_8_1.json" + }, + "9.8.2": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43357, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_8_2.json" + }, + "9.8.3": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43340, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_8_3.json" + }, + "9.8.4": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 44120, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_8_4.json" + }, + "9.8.5": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 43581, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_8_5.json" + }, + "9.8.6": { + "behavior": "OK", + "behaviorClose": "OK", + "duration": 46744, + "remoteCloseCode": null, + "reportfile": "rust_websocket_case_9_8_6.json" + } + } +} diff --git a/examples/autobahn-server.rs b/examples/autobahn-server.rs index 10957f5..0a49f1f 100644 --- a/examples/autobahn-server.rs +++ b/examples/autobahn-server.rs @@ -33,7 +33,7 @@ fn handle_client(stream: TcpStream) -> Result<()> { fn main() { env_logger::init(); - let server = TcpListener::bind("127.0.0.1:9001").unwrap(); + let server = TcpListener::bind("127.0.0.1:9002").unwrap(); for stream in server.incoming() { spawn(move || { diff --git a/scripts/autobahn-client.sh b/scripts/autobahn-client.sh new file mode 100755 index 0000000..243ae87 --- /dev/null +++ b/scripts/autobahn-client.sh @@ -0,0 +1,34 @@ +#!/usr/bin/env bash +# Author michael +set -euo pipefail +set -x +SOURCE_DIR=$(readlink -f "${BASH_SOURCE[0]}") +SOURCE_DIR=$(dirname "$SOURCE_DIR") +cd "${SOURCE_DIR}/.." + +function cleanup() { + kill -9 ${FUZZINGSERVER_PID} +} +trap cleanup TERM EXIT + +function test_diff() { + DIFF=$(diff \ + <(jq -S 'del(."rust-websocket" | .. | .duration?)' 'autobahn/client-results.json') \ + <(jq -S 'del(."rust-websocket" | .. | .duration?)' 'autobahn/client/index.json') ) + + if [[ $DIFF ]]; then + echo 'Difference in results, either this is a regression or' \ + 'one should update autobahn/client-results.json with the new results.' \ + 'The results are:' + echo $DIFF + exit 64 + fi +} + +cargo build --release --example autobahn-client + +wstest -m fuzzingserver -s 'autobahn/fuzzingserver.json' & FUZZINGSERVER_PID=$! +sleep 3 +echo "Server PID: ${WSSERVER_PID}" +cargo run --release --example autobahn-client +test_diff diff --git a/scripts/autobahn-server.sh b/scripts/autobahn-server.sh new file mode 100755 index 0000000..a1fcc18 --- /dev/null +++ b/scripts/autobahn-server.sh @@ -0,0 +1,34 @@ +#!/usr/bin/env bash +# Author michael +set -euo pipefail +set -x +SOURCE_DIR=$(readlink -f "${BASH_SOURCE[0]}") +SOURCE_DIR=$(dirname "$SOURCE_DIR") +cd "${SOURCE_DIR}/.." +WSSERVER_PID= + +function cleanup() { + kill -9 ${WSSERVER_PID} +} +trap cleanup TERM EXIT + +function test_diff() { + DIFF=$(diff \ + <(jq -S 'del(."rust-websocket" | .. | .duration?)' 'autobahn/client-results.json') \ + <(jq -S 'del(."rust-websocket" | .. | .duration?)' 'autobahn/server/index.json') ) + + if [[ $DIFF ]]; then + echo Difference in results, either this is a regression or \ + one should update autobahn/server-results.json with the new results. \ + The results are: + echo $DIFF + exit 64 + fi +} + +cargo build --release --example autobahn-server +./target/debug/examples/autobahn-server & WSSERVER_PID=$! +echo "Server PID: ${WSSERVER_PID}" +sleep 3 +wstest -m fuzzingclient -s 'autobahn/fuzzingclient.json' +test_diff