git: db0468e57826 - main - net/tcptestsuite: Update to 20220401

From: Olivier Cochard <olivier_at_FreeBSD.org>
Date: Wed, 20 Apr 2022 16:16:27 UTC
The branch main has been updated by olivier:

URL: https://cgit.FreeBSD.org/ports/commit/?id=db0468e5782643e9c43805c4a84daf9d54fd3f61

commit db0468e5782643e9c43805c4a84daf9d54fd3f61
Author:     Olivier Cochard <olivier@FreeBSD.org>
AuthorDate: 2022-04-20 16:11:05 +0000
Commit:     Olivier Cochard <olivier@FreeBSD.org>
CommitDate: 2022-04-20 16:16:07 +0000

    net/tcptestsuite: Update to 20220401
    
    PR:             262769
    Approved by:    maintainer-timeout
    Sponsored by:   Netflix
---
 net/tcptestsuite/Makefile                    |    8 +-
 net/tcptestsuite/distinfo                    |    6 +-
 net/tcptestsuite/files/tcptestsuite_atf_test | 4278 +++++++++++++++++++++-----
 net/tcptestsuite/pkg-plist                   |   89 +-
 4 files changed, 3553 insertions(+), 828 deletions(-)

diff --git a/net/tcptestsuite/Makefile b/net/tcptestsuite/Makefile
index e8369205d96f..493644a8b1ae 100644
--- a/net/tcptestsuite/Makefile
+++ b/net/tcptestsuite/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	tcptestsuite
-DISTVERSION=	g20210322
+DISTVERSION=	g20220401
 PORTEPOCH=	1
 CATEGORIES=	net
 
@@ -13,7 +13,7 @@ RUN_DEPENDS=	packetdrill:net/packetdrill
 USE_GITHUB=	yes
 GH_ACCOUNT=	freebsd-net
 GH_PROJECT=	tcp-testsuite
-GH_TAGNAME=	30b7eb8
+GH_TAGNAME=	4b0d4c2
 
 NO_ARCH=	yes
 NO_BUILD=	yes
@@ -23,9 +23,11 @@ _TEST_DIR=	${STAGEDIR}${PREFIX}/tests/${PORTNAME}
 do-install:
 	${INSTALL_SCRIPT} ${WRKSRC}/run-all-tests ${STAGEDIR}${PREFIX}/bin
 	(cd ${WRKSRC} && \
-		${COPYTREE_SHARE} "fast-open snd-syn socket-api rcv-data-segments rcv-icmp snippets state-event-engine" ${STAGEDIR}${DATADIR})
+		${COPYTREE_SHARE} "fast-open snd-syn socket-api rcv-data-segments rcv-icmp snippets state-event-engine tcp-over-udp" ${STAGEDIR}${DATADIR})
 	${MKDIR} ${_TEST_DIR}
+	${INSTALL_SCRIPT} ${WRKSRC}/double-check.sh ${STAGEDIR}${DATADIR}
 	${INSTALL_SCRIPT} ${FILESDIR}/tcptestsuite_atf_test ${_TEST_DIR}
+	@${REINPLACE_CMD} -e 's|/usr/local|${PREFIX}|g' ${_TEST_DIR}/tcptestsuite_atf_test
 	${INSTALL_DATA} ${FILESDIR}/Kyuafile ${_TEST_DIR}
 
 .include <bsd.port.mk>
diff --git a/net/tcptestsuite/distinfo b/net/tcptestsuite/distinfo
index 7d0a655d7945..d938487e1878 100644
--- a/net/tcptestsuite/distinfo
+++ b/net/tcptestsuite/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1616444719
-SHA256 (freebsd-net-tcp-testsuite-g20210322-30b7eb8_GH0.tar.gz) = 449557751a637f2ffc9805e0f1d78834943b7efecd170883b4ef6a19d70f740e
-SIZE (freebsd-net-tcp-testsuite-g20210322-30b7eb8_GH0.tar.gz) = 100844
+TIMESTAMP = 1648846948
+SHA256 (freebsd-net-tcp-testsuite-g20220401-4b0d4c2_GH0.tar.gz) = 8938d4a90348f53e393b9dca3513a6c463125859ccd700b95075c1f62bc6ba7d
+SIZE (freebsd-net-tcp-testsuite-g20220401-4b0d4c2_GH0.tar.gz) = 110299
diff --git a/net/tcptestsuite/files/tcptestsuite_atf_test b/net/tcptestsuite/files/tcptestsuite_atf_test
index c072b09676fa..63091ac6129b 100644
--- a/net/tcptestsuite/files/tcptestsuite_atf_test
+++ b/net/tcptestsuite/files/tcptestsuite_atf_test
@@ -1,6 +1,7 @@
 #! /usr/libexec/atf-sh
 # This file is @generated by make_atf.sh
 # in the tcptestsuite distribution.
+
 save_sysctls() {
     sed -n 's/.*sysctl -w \([^=]*\)=.*/\1/p' < $1 \
     | sort -u \
@@ -12,6 +13,7 @@ restore_sysctls() {
     atf_check test $? -eq 0
     rm saved_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_01 cleanup
 client_handle_cookie_reject_of_length_01_head() {
     atf_set timeout 10
@@ -19,12 +21,14 @@ client_handle_cookie_reject_of_length_01_head() {
 }
 client_handle_cookie_reject_of_length_01_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-01.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-01.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-01.pkt
 }
 client_handle_cookie_reject_of_length_01_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_02 cleanup
 client_handle_cookie_reject_of_length_02_head() {
     atf_set timeout 10
@@ -32,12 +36,14 @@ client_handle_cookie_reject_of_length_02_head() {
 }
 client_handle_cookie_reject_of_length_02_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-02.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-02.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-02.pkt
 }
 client_handle_cookie_reject_of_length_02_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_03 cleanup
 client_handle_cookie_reject_of_length_03_head() {
     atf_set timeout 10
@@ -45,12 +51,14 @@ client_handle_cookie_reject_of_length_03_head() {
 }
 client_handle_cookie_reject_of_length_03_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-03.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-03.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-03.pkt
 }
 client_handle_cookie_reject_of_length_03_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_04 cleanup
 client_handle_cookie_reject_of_length_04_head() {
     atf_set timeout 10
@@ -58,12 +66,14 @@ client_handle_cookie_reject_of_length_04_head() {
 }
 client_handle_cookie_reject_of_length_04_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-04.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-04.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-04.pkt
 }
 client_handle_cookie_reject_of_length_04_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_05 cleanup
 client_handle_cookie_reject_of_length_05_head() {
     atf_set timeout 10
@@ -71,12 +81,14 @@ client_handle_cookie_reject_of_length_05_head() {
 }
 client_handle_cookie_reject_of_length_05_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-05.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-05.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-05.pkt
 }
 client_handle_cookie_reject_of_length_05_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_06 cleanup
 client_handle_cookie_reject_of_length_06_head() {
     atf_set timeout 10
@@ -84,12 +96,14 @@ client_handle_cookie_reject_of_length_06_head() {
 }
 client_handle_cookie_reject_of_length_06_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-06.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-06.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-06.pkt
 }
 client_handle_cookie_reject_of_length_06_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_07 cleanup
 client_handle_cookie_reject_of_length_07_head() {
     atf_set timeout 10
@@ -97,12 +111,14 @@ client_handle_cookie_reject_of_length_07_head() {
 }
 client_handle_cookie_reject_of_length_07_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-07.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-07.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-07.pkt
 }
 client_handle_cookie_reject_of_length_07_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_08 cleanup
 client_handle_cookie_reject_of_length_08_head() {
     atf_set timeout 10
@@ -110,12 +126,14 @@ client_handle_cookie_reject_of_length_08_head() {
 }
 client_handle_cookie_reject_of_length_08_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-08.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-08.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-08.pkt
 }
 client_handle_cookie_reject_of_length_08_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_09 cleanup
 client_handle_cookie_reject_of_length_09_head() {
     atf_set timeout 10
@@ -123,12 +141,14 @@ client_handle_cookie_reject_of_length_09_head() {
 }
 client_handle_cookie_reject_of_length_09_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-09.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-09.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-09.pkt
 }
 client_handle_cookie_reject_of_length_09_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_10 cleanup
 client_handle_cookie_reject_of_length_10_head() {
     atf_set timeout 10
@@ -136,12 +156,14 @@ client_handle_cookie_reject_of_length_10_head() {
 }
 client_handle_cookie_reject_of_length_10_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-10.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-10.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-10.pkt
 }
 client_handle_cookie_reject_of_length_10_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_11 cleanup
 client_handle_cookie_reject_of_length_11_head() {
     atf_set timeout 10
@@ -149,12 +171,14 @@ client_handle_cookie_reject_of_length_11_head() {
 }
 client_handle_cookie_reject_of_length_11_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-11.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-11.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-11.pkt
 }
 client_handle_cookie_reject_of_length_11_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_12 cleanup
 client_handle_cookie_reject_of_length_12_head() {
     atf_set timeout 10
@@ -162,12 +186,14 @@ client_handle_cookie_reject_of_length_12_head() {
 }
 client_handle_cookie_reject_of_length_12_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-12.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-12.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-12.pkt
 }
 client_handle_cookie_reject_of_length_12_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_13 cleanup
 client_handle_cookie_reject_of_length_13_head() {
     atf_set timeout 10
@@ -175,12 +201,14 @@ client_handle_cookie_reject_of_length_13_head() {
 }
 client_handle_cookie_reject_of_length_13_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-13.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-13.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-13.pkt
 }
 client_handle_cookie_reject_of_length_13_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_14 cleanup
 client_handle_cookie_reject_of_length_14_head() {
     atf_set timeout 10
@@ -188,12 +216,14 @@ client_handle_cookie_reject_of_length_14_head() {
 }
 client_handle_cookie_reject_of_length_14_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-14.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-14.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-14.pkt
 }
 client_handle_cookie_reject_of_length_14_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_15 cleanup
 client_handle_cookie_reject_of_length_15_head() {
     atf_set timeout 10
@@ -201,12 +231,14 @@ client_handle_cookie_reject_of_length_15_head() {
 }
 client_handle_cookie_reject_of_length_15_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-15.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-15.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-15.pkt
 }
 client_handle_cookie_reject_of_length_15_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_16 cleanup
 client_handle_cookie_reject_of_length_16_head() {
     atf_set timeout 10
@@ -214,12 +246,14 @@ client_handle_cookie_reject_of_length_16_head() {
 }
 client_handle_cookie_reject_of_length_16_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-16.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-16.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-16.pkt
 }
 client_handle_cookie_reject_of_length_16_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_17 cleanup
 client_handle_cookie_reject_of_length_17_head() {
     atf_set timeout 10
@@ -227,12 +261,14 @@ client_handle_cookie_reject_of_length_17_head() {
 }
 client_handle_cookie_reject_of_length_17_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-17.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-17.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-17.pkt
 }
 client_handle_cookie_reject_of_length_17_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_18 cleanup
 client_handle_cookie_reject_of_length_18_head() {
     atf_set timeout 10
@@ -240,12 +276,14 @@ client_handle_cookie_reject_of_length_18_head() {
 }
 client_handle_cookie_reject_of_length_18_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-18.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-18.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-18.pkt
 }
 client_handle_cookie_reject_of_length_18_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_19 cleanup
 client_handle_cookie_reject_of_length_19_head() {
     atf_set timeout 10
@@ -253,12 +291,14 @@ client_handle_cookie_reject_of_length_19_head() {
 }
 client_handle_cookie_reject_of_length_19_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-19.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-19.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-19.pkt
 }
 client_handle_cookie_reject_of_length_19_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_20 cleanup
 client_handle_cookie_reject_of_length_20_head() {
     atf_set timeout 10
@@ -266,12 +306,14 @@ client_handle_cookie_reject_of_length_20_head() {
 }
 client_handle_cookie_reject_of_length_20_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-20.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-20.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-20.pkt
 }
 client_handle_cookie_reject_of_length_20_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_21 cleanup
 client_handle_cookie_reject_of_length_21_head() {
     atf_set timeout 10
@@ -279,12 +321,14 @@ client_handle_cookie_reject_of_length_21_head() {
 }
 client_handle_cookie_reject_of_length_21_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-21.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-21.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-21.pkt
 }
 client_handle_cookie_reject_of_length_21_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_22 cleanup
 client_handle_cookie_reject_of_length_22_head() {
     atf_set timeout 10
@@ -292,12 +336,14 @@ client_handle_cookie_reject_of_length_22_head() {
 }
 client_handle_cookie_reject_of_length_22_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-22.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-22.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-22.pkt
 }
 client_handle_cookie_reject_of_length_22_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_23 cleanup
 client_handle_cookie_reject_of_length_23_head() {
     atf_set timeout 10
@@ -305,12 +351,14 @@ client_handle_cookie_reject_of_length_23_head() {
 }
 client_handle_cookie_reject_of_length_23_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-23.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-23.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-23.pkt
 }
 client_handle_cookie_reject_of_length_23_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_24 cleanup
 client_handle_cookie_reject_of_length_24_head() {
     atf_set timeout 10
@@ -318,12 +366,14 @@ client_handle_cookie_reject_of_length_24_head() {
 }
 client_handle_cookie_reject_of_length_24_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-24.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-24.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-24.pkt
 }
 client_handle_cookie_reject_of_length_24_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_25 cleanup
 client_handle_cookie_reject_of_length_25_head() {
     atf_set timeout 10
@@ -331,12 +381,14 @@ client_handle_cookie_reject_of_length_25_head() {
 }
 client_handle_cookie_reject_of_length_25_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-25.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-25.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-25.pkt
 }
 client_handle_cookie_reject_of_length_25_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_26 cleanup
 client_handle_cookie_reject_of_length_26_head() {
     atf_set timeout 10
@@ -344,12 +396,14 @@ client_handle_cookie_reject_of_length_26_head() {
 }
 client_handle_cookie_reject_of_length_26_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-26.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-26.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-26.pkt
 }
 client_handle_cookie_reject_of_length_26_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_27 cleanup
 client_handle_cookie_reject_of_length_27_head() {
     atf_set timeout 10
@@ -357,12 +411,14 @@ client_handle_cookie_reject_of_length_27_head() {
 }
 client_handle_cookie_reject_of_length_27_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-27.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-27.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-27.pkt
 }
 client_handle_cookie_reject_of_length_27_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_28 cleanup
 client_handle_cookie_reject_of_length_28_head() {
     atf_set timeout 10
@@ -370,12 +426,14 @@ client_handle_cookie_reject_of_length_28_head() {
 }
 client_handle_cookie_reject_of_length_28_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-28.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-28.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-28.pkt
 }
 client_handle_cookie_reject_of_length_28_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_29 cleanup
 client_handle_cookie_reject_of_length_29_head() {
     atf_set timeout 10
@@ -383,12 +441,14 @@ client_handle_cookie_reject_of_length_29_head() {
 }
 client_handle_cookie_reject_of_length_29_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-29.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-29.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-29.pkt
 }
 client_handle_cookie_reject_of_length_29_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_30 cleanup
 client_handle_cookie_reject_of_length_30_head() {
     atf_set timeout 10
@@ -396,12 +456,14 @@ client_handle_cookie_reject_of_length_30_head() {
 }
 client_handle_cookie_reject_of_length_30_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-30.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-30.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-30.pkt
 }
 client_handle_cookie_reject_of_length_30_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_31 cleanup
 client_handle_cookie_reject_of_length_31_head() {
     atf_set timeout 10
@@ -409,12 +471,14 @@ client_handle_cookie_reject_of_length_31_head() {
 }
 client_handle_cookie_reject_of_length_31_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-31.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-31.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-31.pkt
 }
 client_handle_cookie_reject_of_length_31_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_32 cleanup
 client_handle_cookie_reject_of_length_32_head() {
     atf_set timeout 10
@@ -422,12 +486,14 @@ client_handle_cookie_reject_of_length_32_head() {
 }
 client_handle_cookie_reject_of_length_32_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-32.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-32.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-32.pkt
 }
 client_handle_cookie_reject_of_length_32_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_33 cleanup
 client_handle_cookie_reject_of_length_33_head() {
     atf_set timeout 10
@@ -435,12 +501,14 @@ client_handle_cookie_reject_of_length_33_head() {
 }
 client_handle_cookie_reject_of_length_33_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-33.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-33.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-33.pkt
 }
 client_handle_cookie_reject_of_length_33_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_34 cleanup
 client_handle_cookie_reject_of_length_34_head() {
     atf_set timeout 10
@@ -448,12 +516,14 @@ client_handle_cookie_reject_of_length_34_head() {
 }
 client_handle_cookie_reject_of_length_34_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-34.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-34.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-34.pkt
 }
 client_handle_cookie_reject_of_length_34_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_35 cleanup
 client_handle_cookie_reject_of_length_35_head() {
     atf_set timeout 10
@@ -461,12 +531,14 @@ client_handle_cookie_reject_of_length_35_head() {
 }
 client_handle_cookie_reject_of_length_35_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-35.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-35.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-35.pkt
 }
 client_handle_cookie_reject_of_length_35_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_36 cleanup
 client_handle_cookie_reject_of_length_36_head() {
     atf_set timeout 10
@@ -474,12 +546,14 @@ client_handle_cookie_reject_of_length_36_head() {
 }
 client_handle_cookie_reject_of_length_36_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-36.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-36.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-36.pkt
 }
 client_handle_cookie_reject_of_length_36_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_37 cleanup
 client_handle_cookie_reject_of_length_37_head() {
     atf_set timeout 10
@@ -487,12 +561,14 @@ client_handle_cookie_reject_of_length_37_head() {
 }
 client_handle_cookie_reject_of_length_37_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-37.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-37.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-37.pkt
 }
 client_handle_cookie_reject_of_length_37_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_reject_of_length_38 cleanup
 client_handle_cookie_reject_of_length_38_head() {
     atf_set timeout 10
@@ -500,51 +576,59 @@ client_handle_cookie_reject_of_length_38_head() {
 }
 client_handle_cookie_reject_of_length_38_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-38.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-38.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-reject-of-length-38.pkt
 }
 client_handle_cookie_reject_of_length_38_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_01 cleanup
 client_handle_cookie_update_of_length_01_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_01_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-01.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-01.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-01.pkt
 }
 client_handle_cookie_update_of_length_01_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_02 cleanup
 client_handle_cookie_update_of_length_02_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_02_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-02.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-02.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-02.pkt
 }
 client_handle_cookie_update_of_length_02_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_03 cleanup
 client_handle_cookie_update_of_length_03_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_03_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-03.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-03.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-03.pkt
 }
 client_handle_cookie_update_of_length_03_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_04 cleanup
 client_handle_cookie_update_of_length_04_head() {
     atf_set timeout 10
@@ -552,25 +636,29 @@ client_handle_cookie_update_of_length_04_head() {
 }
 client_handle_cookie_update_of_length_04_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-04.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-04.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-04.pkt
 }
 client_handle_cookie_update_of_length_04_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_05 cleanup
 client_handle_cookie_update_of_length_05_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_05_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-05.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-05.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-05.pkt
 }
 client_handle_cookie_update_of_length_05_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_06 cleanup
 client_handle_cookie_update_of_length_06_head() {
     atf_set timeout 10
@@ -578,25 +666,29 @@ client_handle_cookie_update_of_length_06_head() {
 }
 client_handle_cookie_update_of_length_06_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-06.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-06.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-06.pkt
 }
 client_handle_cookie_update_of_length_06_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_07 cleanup
 client_handle_cookie_update_of_length_07_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_07_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-07.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-07.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-07.pkt
 }
 client_handle_cookie_update_of_length_07_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_08 cleanup
 client_handle_cookie_update_of_length_08_head() {
     atf_set timeout 10
@@ -604,25 +696,29 @@ client_handle_cookie_update_of_length_08_head() {
 }
 client_handle_cookie_update_of_length_08_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-08.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-08.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-08.pkt
 }
 client_handle_cookie_update_of_length_08_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_09 cleanup
 client_handle_cookie_update_of_length_09_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_09_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-09.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-09.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-09.pkt
 }
 client_handle_cookie_update_of_length_09_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_10 cleanup
 client_handle_cookie_update_of_length_10_head() {
     atf_set timeout 10
@@ -630,25 +726,29 @@ client_handle_cookie_update_of_length_10_head() {
 }
 client_handle_cookie_update_of_length_10_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-10.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-10.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-10.pkt
 }
 client_handle_cookie_update_of_length_10_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_11 cleanup
 client_handle_cookie_update_of_length_11_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_11_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-11.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-11.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-11.pkt
 }
 client_handle_cookie_update_of_length_11_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_12 cleanup
 client_handle_cookie_update_of_length_12_head() {
     atf_set timeout 10
@@ -656,25 +756,29 @@ client_handle_cookie_update_of_length_12_head() {
 }
 client_handle_cookie_update_of_length_12_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-12.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-12.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-12.pkt
 }
 client_handle_cookie_update_of_length_12_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_13 cleanup
 client_handle_cookie_update_of_length_13_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_13_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-13.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-13.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-13.pkt
 }
 client_handle_cookie_update_of_length_13_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_14 cleanup
 client_handle_cookie_update_of_length_14_head() {
     atf_set timeout 10
@@ -682,25 +786,29 @@ client_handle_cookie_update_of_length_14_head() {
 }
 client_handle_cookie_update_of_length_14_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-14.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-14.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-14.pkt
 }
 client_handle_cookie_update_of_length_14_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_15 cleanup
 client_handle_cookie_update_of_length_15_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_15_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-15.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-15.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-15.pkt
 }
 client_handle_cookie_update_of_length_15_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_16 cleanup
 client_handle_cookie_update_of_length_16_head() {
     atf_set timeout 10
@@ -708,298 +816,344 @@ client_handle_cookie_update_of_length_16_head() {
 }
 client_handle_cookie_update_of_length_16_body() {
     
+    
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-16.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-16.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-16.pkt
 }
 client_handle_cookie_update_of_length_16_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_17 cleanup
 client_handle_cookie_update_of_length_17_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_17_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-17.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-17.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-17.pkt
 }
 client_handle_cookie_update_of_length_17_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_18 cleanup
 client_handle_cookie_update_of_length_18_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_18_body() {
+    atf_expect_fail "Bug."
     
     save_sysctls /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-18.pkt
-    atf_check -o ignore /usr/local/bin/packetdrill 	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-18.pkt
+    atf_check -o ignore -e ignore /usr/local/share/tcptestsuite/double-check.sh	        /usr/local/bin/packetdrill --tun_dev=tun0 --persistent_tun_dev	        /usr/local/share/tcptestsuite/fast-open/client/client-handle-cookie-update-of-length-18.pkt
 }
 client_handle_cookie_update_of_length_18_cleanup() {
     restore_sysctls
 }
+
 atf_test_case client_handle_cookie_update_of_length_19 cleanup
 client_handle_cookie_update_of_length_19_head() {
     atf_set timeout 10
     atf_set require.config allow_sysctl_side_effects
 }
 client_handle_cookie_update_of_length_19_body() {
+    atf_expect_fail "Bug."
     
*** 13286 LINES SKIPPED ***