From cb82af4de5859fdabba1c01358cbdcdf89a2ed5b Mon Sep 17 00:00:00 2001 From: Fred Klassen Date: Mon, 22 Jan 2018 12:58:43 -0800 Subject: [PATCH] #404 update tests --- test/Makefile.am | 75 +++++++++++++++++++++++++---------- test/test.cidr | Bin 60 -> 60 bytes test/test.cidr_reverse | Bin 60 -> 60 bytes test/test.exclude_packets | Bin 0 -> 60 bytes test/test.include_dest | Bin 0 -> 60 bytes test/test.include_packets | Bin 0 -> 60 bytes test/test.include_source | Bin 0 -> 60 bytes test/test.mac | Bin 60 -> 60 bytes test/test.mac_reverse | Bin 60 -> 60 bytes test/test.regex | Bin 60 -> 60 bytes test/test.rewrite_l7fuzzing | Bin 63699 -> 59881 bytes test/test.rewrite_pnat | Bin 64984 -> 64984 bytes test/test2.rewrite_l7fuzzing | Bin 63699 -> 59881 bytes test/test2.rewrite_pnat | Bin 64984 -> 64984 bytes 14 files changed, 55 insertions(+), 20 deletions(-) create mode 100644 test/test.exclude_packets create mode 100644 test/test.include_dest create mode 100644 test/test.include_packets create mode 100644 test/test.include_source diff --git a/test/Makefile.am b/test/Makefile.am index 08b3eed18..01f85d617 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -16,7 +16,9 @@ TCPBRIDGE=../src/tcpbridge EXTRA_DIST = test.pcap test.auto_bridge test.auto_client test.auto_router \ test.auto_server test.auto_first test.cidr test.comment test.port test.mac \ test.cidr_reverse test.mac_reverse test.regex_reverse \ - test.prep_config test.primary test.regex test.secondary \ + test.include_packets test.exclude_packets test.include_source \ + test.include_dest test.prep_config \ + test.primary test.regex test.secondary \ test.rewrite_seed test.rewrite_portmap test.rewrite_endpoint \ test.rewrite_pnat test.rewrite_pad test.rewrite_trunc \ test.rewrite_mac test.rewrite_layer2 test.rewrite_config \ @@ -24,7 +26,7 @@ EXTRA_DIST = test.pcap test.auto_bridge test.auto_client test.auto_router \ test.rewrite_vlandel test.rewrite_efcs test.rewrite_1ttl \ test.rewrite_2ttl test.rewrite_3ttl test.rewrite_enet_subsmac \ test.rewrite_mtutrunc test.rewrite_mac_seed test.rewrite_range_portmap \ - test.rewrite_mac_seed_keep test.rewrite_l7fuzzing\ + test.rewrite_mac_seed_keep test.rewrite_l7fuzzing \ test2.rewrite_seed test2.rewrite_portmap test2.rewrite_endpoint \ test2.rewrite_pnat test2.rewrite_pad test2.rewrite_trunc \ test2.rewrite_mac test2.rewrite_layer2 test2.rewrite_config \ @@ -58,20 +60,24 @@ standard: standard_prep $(STANDARD_REWRITE) $(PRINTF) "Warning: only creating %s endian standard test files\n" $(REWRITE_WARN) standard_prep: - $(TCPPREP) -i test.pcap -o test.auto_router -a router + $(TCPPREP) -i test.pcap -o test.auto_router -a router $(TCPPREP) -i test.pcap -o test.auto_bridge -a bridge $(TCPPREP) -i test.pcap -o test.auto_client -a client $(TCPPREP) -i test.pcap -o test.auto_server -a server $(TCPPREP) -i test.pcap -o test.auto_first -a first $(TCPPREP) --load-opts config -o test.prep_config $(TCPPREP) -i test.pcap -o test.port -p - $(TCPPREP) -i test.pcap -o test.mac -e 00:02:3b:00:3d:ce - $(TCPPREP) -i test.pcap -o test.cidr -c '216.27.178.0/24' - $(TCPPREP) -i test.pcap -o test.regex -r '216.27.178.*' + $(TCPPREP) -i test.pcap -o test.mac -e 00:1f:f3:3c:e1:13 + $(TCPPREP) -i test.pcap -o test.cidr -c '96.17.211.0/24' + $(TCPPREP) -i test.pcap -o test.regex -r '96.17.211.*' $(TCPPREP) -i test.pcap -o test.comment -C "This is a comment" -p - $(TCPPREP) -i test.pcap -o test.mac_reverse -e 00:02:3b:00:3d:ce --reverse - $(TCPPREP) -i test.pcap -o test.cidr_reverse -c '216.27.178.0/24' --reverse - $(TCPPREP) -i test.pcap -o test.regex_reverse -r '216.27.178.*' --reverse + $(TCPPREP) -i test.pcap -o test.mac_reverse -e 00:1f:f3:3c:e1:13 --reverse + $(TCPPREP) -i test.pcap -o test.cidr_reverse -c '96.17.211.0/24' --reverse + $(TCPPREP) -i test.pcap -o test.regex_reverse -r '96.17.211.*' --reverse + $(TCPPREP) -i test.pcap -o test.exclude_packets -c '96.17.211.0/24' --exclude 'P:61-65,88-91' + $(TCPPREP) -i test.pcap -o test.include_packets -c '96.17.211.0/24' --include 'P:61-65,88-91' + $(TCPPREP) -i test.pcap -o test.include_source -c '96.17.211.0/24' --include 'S:96.0.0.0/8' + $(TCPPREP) -i test.pcap -o test.include_dest -c '96.17.211.0/24' --include 'D:96.0.0.0/8' standard_bigendian: $(TCPREWRITE) -i test.pcap -o test.rewrite_seed -s 55 @@ -81,7 +87,7 @@ standard_bigendian: $(TCPREWRITE) -i test.pcap -o test.rewrite_endpoint \ -e 10.10.0.1:10.10.0.2 -c test.auto_router $(TCPREWRITE) -i test.pcap -o test.rewrite_pnat \ - -N 216.27.178.0/24:172.16.0.0/24 + -N 96.17.211.0/24:172.16.0.0/24 $(TCPREWRITE) -i test.pcap -o test.rewrite_pad -F pad $(TCPREWRITE) -i test.pcap -o test.rewrite_trunc -F trunc $(TCPREWRITE) -i test.pcap -o test.rewrite_mac \ @@ -122,7 +128,7 @@ standard_littleendian: $(TCPREWRITE) -i test.pcap -o test2.rewrite_endpoint \ -e 10.10.0.1:10.10.0.2 -c test.auto_router $(TCPREWRITE) -i test.pcap -o test2.rewrite_pnat \ - -N 216.27.178.0/24:172.16.0.0/24 + -N 96.17.211.0/24:172.16.0.0/24 $(TCPREWRITE) -i test.pcap -o test2.rewrite_pad -F pad $(TCPREWRITE) -i test.pcap -o test2.rewrite_trunc -F trunc $(TCPREWRITE) -i test.pcap -o test2.rewrite_mac \ @@ -157,7 +163,8 @@ standard_littleendian: tcpprep: auto_router auto_bridge auto_client auto_server auto_first cidr regex \ port mac comment print_info print_comment prep_config \ - mac_reverse cidr_reverse regex_reverse + mac_reverse cidr_reverse regex_reverse exclude_packets \ + include_packets include_source include_dest tcprewrite: rewrite_portmap rewrite_range_portmap rewrite_endpoint \ rewrite_pnat rewrite_trunc rewrite_pad rewrite_seed rewrite_mac \ @@ -215,14 +222,14 @@ auto_first: regex: $(PRINTF) "%s" "[tcpprep] Regex mode test: " $(PRINTF) "%s\n" "*** [tcpprep] Regex mode test: " >>test.log - $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -r '216.27.178.*' >>test.log 2>&1 + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -r '96.17.211.*' >>test.log 2>&1 diff test.$@ test.$@1 >>test.log 2>&1 if [ $? ] ; then $(PRINTF) "\t\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t\t%s\n" "OK"; fi cidr: $(PRINTF) "%s" "[tcpprep] CIDR mode test: " $(PRINTF) "%s\n" "*** [tcpprep] CIDR mode test: " >>test.log - $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -c '216.27.178.0/24' >>test.log 2>&1 + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -c '96.17.211.0/24' >>test.log 2>&1 diff test.$@ test.$@1 >>test.log 2>&1 if [ $? ] ; then $(PRINTF) "\t\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t\t%s\n" "OK"; fi @@ -236,7 +243,7 @@ port: mac: $(PRINTF) "%s" "[tcpprep] MAC mode test: " $(PRINTF) "%s\n" "*** [tcpprep] MAC mode test: " >>test.log - $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -e 00:02:3b:00:3d:ce >>test.log 2>&1 + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -e 00:1f:f3:3c:e1:13 >>test.log 2>&1 diff test.$@ test.$@1 >>test.log 2>&1 if [ $? ] ; then $(PRINTF) "\t\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t\t%s\n" "OK"; fi @@ -262,24 +269,52 @@ print_info: regex_reverse: $(PRINTF) "%s" "[tcpprep] Regex reverse mode test: " $(PRINTF) "%s\n" "*** [tcpprep] Regex reverse mode test: " >>test.log - $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -r '216.27.178.*' --reverse >>test.log 2>&1 + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -r '96.17.211.*' --reverse >>test.log 2>&1 diff test.$@ test.$@1 >>test.log 2>&1 if [ $? ] ; then $(PRINTF) "\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t%s\n" "OK"; fi cidr_reverse: $(PRINTF) "%s" "[tcpprep] CIDR reverse mode test: " $(PRINTF) "%s\n" "*** [tcpprep] CIDR reverse mode test: " >>test.log - $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -c '216.27.178.0/24' --reverse >>test.log 2>&1 + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -c '96.17.211.0/24' --reverse >>test.log 2>&1 diff test.$@ test.$@1 >>test.log 2>&1 if [ $? ] ; then $(PRINTF) "\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t%s\n" "OK"; fi mac_reverse: $(PRINTF) "%s" "[tcpprep] MAC reverse mode test: " $(PRINTF) "%s\n" "*** [tcpprep] MAC reverse mode test: " >>test.log - $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -e 00:02:3b:00:3d:ce --reverse >>test.log 2>&1 + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -e 00:1f:f3:3c:e1:13 --reverse >>test.log 2>&1 diff test.$@ test.$@1 >>test.log 2>&1 if [ $? ] ; then $(PRINTF) "\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t%s\n" "OK"; fi +exclude_packets: + $(PRINTF) "%s" "[tcpprep] exclude packets test: " + $(PRINTF) "%s\n" "*** [tcpprep] exclude packets test: " >>test.log + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -c '96.17.211.0/24' --exclude 'P:61-65,88-91' >>test.log 2>&1 + diff test.$@ test.$@1 >>test.log 2>&1 + if [ $? ] ; then $(PRINTF) "\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t%s\n" "OK"; fi + +include_packets: + $(PRINTF) "%s" "[tcpprep] include packets test: " + $(PRINTF) "%s\n" "*** [tcpprep] include packets test: " >>test.log + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -c '96.17.211.0/24' --include 'P:61-65,88-91' >>test.log 2>&1 + diff test.$@ test.$@1 >>test.log 2>&1 + if [ $? ] ; then $(PRINTF) "\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t%s\n" "OK"; fi + +include_source: + $(PRINTF) "%s" "[tcpprep] include source test: " + $(PRINTF) "%s\n" "*** [tcpprep] include source test: " >>test.log + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -c '96.17.211.0/24' --include 'S:96.0.0.0/8' >>test.log 2>&1 + diff test.$@ test.$@1 >>test.log 2>&1 + if [ $? ] ; then $(PRINTF) "\t\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t%s\n" "OK"; fi + +include_dest: + $(PRINTF) "%s" "[tcpprep] include destination test: " + $(PRINTF) "%s\n" "*** [tcpprep] include destination test: " >>test.log + $(TCPPREP) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 -c '96.17.211.0/24' --include 'D:96.0.0.0/8' >>test.log 2>&1 + diff test.$@ test.$@1 >>test.log 2>&1 + if [ $? ] ; then $(PRINTF) "\t\t%s\n" "FAILED"; else $(PRINTF) "\t\t%s\n" "OK"; fi + replay_basic: $(PRINTF) "%s" "[tcpreplay] Basic test: " $(PRINTF) "%s\n" "*** [tcpreplay] Basic test: " >>test.log @@ -342,7 +377,7 @@ rewrite_pnat: $(PRINTF) "%s" "[tcprewrite] Pseudo NAT test: " $(PRINTF) "%s\n" "*** [tcprewrite] Pseudo NAT test: " >>test.log $(TCPREWRITE) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 \ - -N 216.27.178.0/24:172.16.0.0/24 >>test.log 2>&1 + -N 96.17.211.0/24:172.16.0.0/24 >>test.log 2>&1 if WORDS_BIGENDIAN diff test.$@ test.$@1 >>test.log 2>&1 else @@ -574,7 +609,7 @@ endif rewrite_l7fuzzing: $(PRINTF) "%s" "[tcprewrite] L7 fuzzing test: " $(PRINTF) "%s\n" "*** [tcprewrite] L7 fuzzing test: " >>test.log - $(TCPREWRITE) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 --fuzz-seed=42 >>test.log 2>&1 + $(TCPREWRITE) $(ENABLE_DEBUG) -i test.pcap -o test.$@1 --fuzz-seed=42 --fuzz-factor=2 >>test.log 2>&1 if WORDS_BIGENDIAN diff test.$@ test.$@1 >>test.log 2>&1 else diff --git a/test/test.cidr b/test/test.cidr index 5442042e9c53d260228c933cb76b90bc03831fe8..51a5783e52ed2d518c407f2420ce18b8c95889a4 100644 GIT binary patch delta 32 hcmcDqnV=~B`qwHT*tHHs{(HB3*Xnn>K};ZE0sub<6h8m} literal 60 ccmXR(E+{BUEnqM(VSs^N1{MZ}RfGW(0FT!jGynhq diff --git a/test/test.cidr_reverse b/test/test.cidr_reverse index f6a524b676981d87fc1f86865392cee8387ee01b..ebd45079b07ea24125554b2c7a667faa2b816f56 100644 GIT binary patch delta 32 hcmcDqnV=}WZ~cEDc>fzjuHOCb{lDGsKujQD1^|EN8F~N! delta 32 QcmcDqnV=~BA17c20Gft)u0%On9>#pnX`?{{{uB*H5?*6;(ukY@^`@5?HS9%^D literal 60 ccmXR(E+{BUEnqM(VSs^N1{MZ}|AYZE0Bp1-)Bpeg diff --git a/test/test.regex b/test/test.regex index 5442042e9c53d260228c933cb76b90bc03831fe8..51a5783e52ed2d518c407f2420ce18b8c95889a4 100644 GIT binary patch delta 32 hcmcDqnV=~B`qwHT*tHHs{(HB3*Xnn>K};ZE0sub<6h8m} literal 60 ccmXR(E+{BUEnqM(VSs^N1{MZ}RfGW(0FT!jGynhq diff --git a/test/test.rewrite_l7fuzzing b/test/test.rewrite_l7fuzzing index 42dcee223278b3660f454bf20b91f277c57fadb9..acbe8d2a5ac141ac4c5a3af409ee261da277de44 100644 GIT binary patch delta 1188 zcmZXTdrVVT9LLW+xA(RnmCI$pTCt!ti-v&;MoaNgN-7CKMVB##1er5N6EwO~;(UZ6 zkYF?m?EFy|vc-WfP!RKTla4I1_}J!*lQ5P{F+L);C`GAGyZE@Cdv9A`zvSke`^)!y z&iDL&=M0RqBLi$xfmnH{Ij#8L53ZayrJr#dBq^u!WZ6tMIX505tl>^EEXy*CF4nlK zUWx=cz}l0uS4IV#Ea>pn{7yv{jn!g-m+UbtM&#;n-qu%!E{?nPwZUK4R zKG5pJdCA*#QOO&SXVVM#I5ETtwPgq~%xfB~p1ejY*7ol@x5<*zvT;5L45h5x2$xbr zoMAJT)wNcmtCrPT}A1w+8F=l0olk)Gcde$|> zNnw*c3!ps9&r$QJNH#d?z4EhLkfg82p(OiLZG3fg!0Dnf$K{%T>OU9BwIzxODQG76 zMFb7$xxdJaH$sSOI_xFSmlg@LPex?w2xa-_#RP;Lqh4QWq*y-=LS|_o;T?t)^v{L4 zl~p{?IO*Y>aO_Jbqf>TgXY?yaKfSGzPrkP}+BDkLH(byuEUDSg8eR^n3Juo9X4QWi zm5>L!^R!h;;SkBLE5O5rq@iw+{w>S!SKTAM0e8!?e8(r5e{LNpII8OSO8lmKmwQ;;8NWp8Xp>J@NW~zY#45}p+Lye`Pc^85Ns(Vm8uJo}^G+|Xu7);W6Qf>(ruKW?Expz9bu|7@93ystN&;ur{JkuA(JjR1 zG**CT1Y`Vk09x)Fm<$=994%&9A)OkP@4W(}&*eg_*aIqd;LioO8&?O`!9G0$nHvEFPxa=YDZhP0p*UI2R^XRxB&Z2eoc UBXOZN`UF#U$k17#DfAh?0zyXP6951J delta 4174 zcmZu!bzD?kx1Jtqh(VAV8bo2}a-@}1LKFo=LP}c65rm;b0fB>{k`jWHz(Go+8zqDn z2?1Y_l2R;0;?9WrecpTL_nY}+ooB7*nZ3_m&tA*J@Zpc}1U>AI9Q0Y|_@TiLZhTWP z+x~uEY=wmgoJ)BG0)ZirRZut_4uw+Da0G@cLdYKk3<3eN;Tl}mTmAr$6hP4;sha|# z0Kh$XF$@ba+RfJZPl5m_Gc#z-ZjSzyThH-3cg!Aq!MlZI%dLPwe#tyhv>04|M&@G#S!fI}gyI0d z3Ui>?GIsty#3-7AAUWSrgM37d?2qw3#g{PB(j7?eaQ;oh7j%$JDNX*9g!7D<(`tx5 zg1ISm@=&{(_vHJCjLTgwkDQuZ@-IHgnLN%HUlPrH{E3ULZwL}vo_6+&cQXsB!NMl| zy}Ho2-n_4mg>3x#NT+4J)tKNdCsNRge*ANfK*n?_MEzCw@HnD3VN90~RN^R)D0!tZ z9}zn&6l5l}8#MeHC+#-1H{x(ptv&nmv^2BPvlgcpqT&*DetN9m>MHwo!=!k4Rs4jj zXV;8%AuvP)>Z9^Pr0{O!biG}F|pjl!Dw`*Ngn;>$E* zF~W^a%y)4W=R;C+^~Bp0!OvfeA4jlWKjt9HUbueE!6gJAhN99k&FZ8*5hCM>UNpma z*(MKEH|Z?=oBQH!#0zcPb$a1|$8+6zF-Pb9Z`;bf?oz{^%)GN8ZW=8w;rKGat@DHD zJXciA%lo4Dff{Tf&4ir+G+`gE@q&L}75pj(@M zyyglgmegtkleknvyt~79;f`DM`FMDE#D~Jr02)180lS?T8Cf?L8EbnMOA>2lt8@Fs znRLkp+fEO430QL(?{b%W<7@N~NNW zQBbtFC>m;`crE4nGjnZ65*Ok_C8J%`7-o0VO1klZ z;hV|GWHlx{E8nWcpQNS9SLUjqA2MNb%dNRS3JRCcZBDR*9mx=suM|m0#tHX1kLb2e=?#kRPR6%n|lAr;Q!{oLB|!_#3jr86lfSlU{I}VB>BSce~qUxZz_FBeDgT0 zlCJ--80$Mfkz0<1QJoW>VwfI}X@1&Mu1~4hl^@-a5gnd3Q+LVY=4e!`Wu>~C!#KWh zyePDTZ?}|xt4fqbO0;J#wtLc2cW~lJ&rtL`HA_Qb=1to2q&BYx*9tkHr^U_X`gzaX zmy=yX3$7D>-!(`sS@ML%c^}j@Tw(g*jv-N!O$pD?wl``q>ZXoU+qp=kFE@34R8qsd zT!S|n>-?^>jTqF8uM42K@ReCrlz~ zWOHu5hY0kfMVW>3fBo!P}P&XZkv;RuIidfF;Av4(+gCjs6 zbjac`qb2>|c5_`vbf6dS?v^#j+|)(we*#s@ZhL)ueoN?y>`)p_Ye*!g^4^OJu2EM` z)QSr0_6ohzP)}Baa_}Q77IL@}>-EO=ZmieKmY#OW-5ZUh=bX7pZLhB(Z8sn3zZUw0 zqj>Wso$r+V16z@580VGI>qI?~8%&FgR@%hJy}U6*-N0D@pP21pmXypwv+%CpC*$M2 zs|~W)xD7R=Co(D8JgGJXtEXR>K&_*5)A(9`jE-(v_)7V}s&J9pS??7>e4&Fus;eE~ zobKj14M^gpf7wSL_IF?ZA^>{hmyp;UO^6XCwpuq>AI!MFpHvLG%UndG;qXJ{WYYr- z37o(p0R!YH9~06lH)MF(uW#F*jb+W=lQ?ie1dNKtfYY^rYz|6f%Y=g83D1#0^auvY zNS7eH0d%Vwu|0cpU?MW%_ij^gKRpVL=KtwYdg{4Yrk{qnX#QJWT{yURZjI@`)NL7) z)onU!fxGtJC}0@H2FAGBKuKa!_kr*H%qFNb>8NshEUS!F-cCX+)zbyP3CVLSld8`~ zR03A5=T_BC9GfQSDk65LI(F}0me1UH#Gq*F6nf=$>bumH<(cCSyFA5PbkTBLok4+2 zkC=~}x3%7FpYqz6hm&B9qYbjUP7Oj|xG_!4X$HpVv{{2(<5L%h>^4c&&jr`E*M*0L z*w(u+_w@B0en_mCOj3@wYC%)z+u-~u{yqb+>a?4UdI&vy^r2dHpqxldWvx-(F=P1# ztEMOkW5EJUicJWYZo}O2^mmIsg^`@71)ZnRl1<~WcDx<8bH%uS^J;Xq(|rz+8y=;d zoNxJEFhv4E5_!Akg{0~lxP(?DB6BG|?;XoZz9uo0Ly_sI)T~EgmHF&Z-WaH)NU5Sw zfN;Q|+2m|R zwv2MA6a~+cLqGV^&WI*^?!x+p3BlzE^j4;y?sS>}`JZN=Yt$Pe#v`% z%*aCqCx$4V$57X_59=tU>oPENUiP#OZtS^?>^ILi8nP&wK@8q6jGZ%ur4_`tWd;PD z(dy9D1x-f0a3>jy8zACxg+`z09^B~ALT$BB`*1@KMT?U-+)b(JORX5Rwx>qG6UOh- zNsd`EZ*iqsQ+bl|QaMgST^DKwb{o)@-|E%3O6u56JY{zV*{&$)`j!0aU}LQr7g;$t zC61r1HtQn=$e{#YT_q&+Ia0tK<`}t@H67NKa}*g&__7Z6XQMal zW#n^DpT!*!SWXzb)V6k^=E7Bb%gn>(@7H%i)8VFBq^6wqzBhvmK~+LLrxuIH_=sgC zJhTJ{Da+st>wA55PaAR(36ll8k7;7x9x~r`tgtmIF6;(+(P+DwqBm6=IWBW?ywyV_ zlnm{vlO_|rrR<9*>9vh#u6_lJQ#cPx%(ll8eBOM`2rZm4*mN`Tz%jnzCXBknm-9Oc zzr4o@k>16$e!}ox#t+*!x2sy(l_7qIZ%LYeGGGXd^;zJfummn^LkvQjQ8q`uBliC^~`!u6he z*ncP;Cdj;fi1_L_&qVG{GJ#NTHUTE zpuWTbR(t!xc`qaW(>P_q?=z7bq6(#P{zM|&r~oM_2jD>DLpvWdO(34A2b(hnCWy)) zuWtwx$QnR{S^h*iw$nO)F7_%#iy`X=71GoxZ57as;)O|%fG$y`Nb0N2dwDr!mpmVV zd~rw=APYS#*+ZiSQA6SNDR+L#-T#jd)bryhKA^hwcWqD<*r%mrDq3HlWTrs>ZzevF zk|~?_SLWt{s-pd$svNU;VPk<{Ox6=5`cwSJuFzC=P&L2fzyRt`;eH!{rys~t+k&JJ z0&CCd1pk((+d&~>v-q0`{Qf+g4n?sEa|&gFC`@jgKo$-bOv~M-QmbV^If+6`N82;}yfT*jYAdr0~dLpGN z`3r4#hR8wiHKXNXP;xoS>45yhbPjO?IfOCNp(3vN|;_HBtSq>1fKnIsGAj1s)f>G+IwWN@L snDmw@f+)fua$P+TF?!`ufe`Xovm^|NEN75!MqEU4I-t7DNgnwB2Qr~kmH+?% diff --git a/test/test.rewrite_pnat b/test/test.rewrite_pnat index 25aab90a0a0437a723c8ee12874d63102ce4ece2..3ae14b64a5dd96604fad5f9d840435ebd8650d8d 100644 GIT binary patch delta 1403 zcmZ{jZAepL6vww~i^$dP%*Cujq*U~RR1lYPBx$p?V6|QdZHT=nkz}7D6#cNQ^&yC6 z4-sW6dl4I2+0=Y0tZm{|O%vNx_K@vJhl+e67msUvC_QT_8rYNp{A~tVRQ9kfa(@y!*@e@y z#%Dv1pDHM&vQKOicj-EaDpZ%Uu+Fs}t;@-VJj4` zW!G>|&N@yb*Fbu+fzvKPE6v$(LSnxp+Ik?3zA#be?g~_G79bFr5g<;}R~$Ak=b+-i zUwwx{wvsj{uXX!k$Y2pP&5H?u>=px;+lP-@PG^C(ok_Q=>_K;Z+hiDT%F(RqT-b7q z0alegT3K*s5{NuRhY2t(tnFfL<5^;9r(t<*sI@v99A}v!QKFqdE;?8QqeW)~*iYjA z^J+?f3|2f3A3wvwy5%x(gBtYIl?~Ci?3YAWccq%5Zt7fh9HpES!2fzifH+I{;o@^$ zd0-eFsP8dkp^6}%IG-|;_SZ53{O*QWvAI-Pi!IjQhQas7Kjta;DckVk9q zi?z+2q|dQ0h3KXvK#F6!qPbI67`5)A1^BxZOagt!zl!IjbktrSl6nL%bSV^8nnSeG z;h}>p3Zm7$0;G~cnkw#mJsKQo{@AMzxpnQYEL9Z&Yoy3uuhBF2nYPkH@ zS(UVjyZCYHc-@b#4hm3_KV89(%L}g8x}WVuUkT7z#=4LXQ#SmN4WH5GApvw#ld=aP zX_CG0m*a~=g&b6QnL?QbA@(f6bB3)PxIBzdj!FnV9hZ%eQBwyLeUjaJUK(_JN1R5T zK7Rs#`R3P;Z7rh;Yu=+VDfu^P(rps} delta 1403 zcmZ{jZAep57{|A3Mxo>;SW6zLgdhS_B5tI$Fjv!RI)o%M(cV}{eoaV;rA=C4%??Dd zMwXh26}L`AYN%P1ZnfTK-SDLslg!-IS$!yRopXn$YpwhFcYn|G|KI0|zrw^{VM6^n zDDAnXiij*wzq&THMPYOs_B~aQN8kd1qs?ep(o!_IE)J~K4ALu%9)s`t4CH--mnBWk zg&mz#K`DiCYKxE=^^~aG)zJ&9rxQ?OiWb_cm?AjGO(3^f6$qrBLnl*sSmO){XaWJp zdEA$h$c0NYkXjeRS=4BSP79x3vsZ#^-4MNP$<*mAMrAr4QoSJo;=KI@dvwb=@bCO< zZ@1fUpv$a^w5=IKF?v2cA(jBhsE^@V`>;uWED0=+nKVsdblK{kH%WlIc~HwWFdXyM=^_DXQ8TCpm>mpZQ$qUZ`9);|mh5a(bP-e2){Gn}4~ zl|}cqxNP+gXjwTbl=FlKYuf*Sh9kJ?$v`+*^|Oha@iU4zAFg{zh}!3D4Jmv51Hpc$ zhwSO!wHsX$c{r6bTXCmHQfMM=q8d+#t}r<1`d86XNTX)AAhC~!({E&oblSsMNv?wi zLEUI&KM$4NAptTYVl6K1PgTObMm9sLGuI(j6%5lEm$sqa0UqMN%M^Ngm>$Ep!%P$z zlQ{m}E+s5>Fokr!;||f=o=+8zYH-c_eH=`zmO1EO6}(R3xVi|(4dyCg!CB^zeyamr zLZ)hxI<)W5g-<;Avu7(*lhT2!BWf@Kt6lH@K{Nn zVAd>XNPdfbKAjS3PO%wMk~~4I+Vg|XuyZJ5oQGBOWr{yDG*QX@?YMfJC^D@~Aw~5& QMQ=wDRdlA_@{19_0c~B02mk;8 diff --git a/test/test2.rewrite_l7fuzzing b/test/test2.rewrite_l7fuzzing index 2b06a98ba404af7335b134c0c3457febccf9621b..13d587e6ebd11e2b8caa067ef4eefedce7a204ae 100644 GIT binary patch delta 1130 zcmZ9Le@v4{7{~AK?fbScDlcU~El^-Ji-w_-CazGYrG$|fRNOLDB-pvd%nZ#&DVcGG zB9LG-26lgRhHO!EZs0)7qZ^g@BRV(d%%)*1QCYT`u@oQl8UA1{Di;fx!_lYon9IF zyaCYaXXh1v|K;es5&5=0gx69dqTF1A5XO(yV8h&vT0`@-onLRY*}JwZ0U0xuHCy0H zZbZ!3MmViYjPq^N){5N}(L8G={QbO1$~E`J0A|+S8&DJuXn#g(P?NRLkWqf;)qnd( zMP=6G;7d?z4T{V=s^tDA{8vwTWkuOH4eN^5YLgoqLv9a?7d@UOC;sx#5=W{5Auj!9 z7^~7yP;#1UJP~qI#}PlBd8JZbbX?`41E?v#Xh=b*Y{DO?j@Rns2ozR_QvRo*goBG= zab3M6x!GoJO!4M4I8*P!5_fQI9z9r}4TJB$BW2xQrgn|B^$8zr2+Ny35{!>VVuXh1 z60NQKRfOK%RjO@>mJZRPmK9{Ig0{81tbfWh{Md3&pFsvVR$lgc;rH*2eg4BiZla`1 z!&^Y_cjl78-yr?NJ~2VnhATcI&50{=@|gMN@-cu%U&p@WL5UG_zSVoxYT(?aNL}M;(l=oTDwgQ_8%`2BKtI0mrNEYG)y>1Q;T%6A z`i)y8 zi>Je(KnIRBwWH_uK-W+szg(t&XxX?^W>Dzt#-CP(FMH)=d%FvKdti6ludu^;lK;cUW7dj z>+Z+0XbNY&*^- delta 4197 zcmZWscRW@98^8Nnmut&)ZBq6g*=1*>6cWkGF7rlQdz5@}iVBetS>eb^wyZMZDJp5hRz|Fbsx3p{w9XBoYp%qTvjQQi4$~6aoeVvXRT-h?Yh;qc@UXO|DewtK1@kNZkpFi)>I8_z{fU?L{D^bF(xP0zlgwLa z{G(79?3VEYXO? z3pX|~-y&9=3Qx;5lxR}|KYccT7|nM1u(Rla!nI4z?&0E*7%E-MtY@@G!exE13syK^ zhnxM?P5Se1bD!Ueey-=RMlT%vaJDNi{?J^|bqD!ZotjKX@BK3`VHu|&>GC4U^VtWV zIj-3F7k5N&hkoc_K2f$dHAUKOB(F>^Nv)#CDj&7&WqsXH)xE}1mNb!k&<~X$#Z}k( zv4TI8Zc;B&g#MPexJyP=M#W1ehlJxn42N;xYwq!~u2;lL5AiLFs*kr@k$8DAXM@@d z<(dlwCUUDiLh@`4>DCV4>3=-qP9-9vqCXTy1k)Hg2srM<%gTAO%AR*(wI#FNYjtZs zGhL7Dw6(rub1A~Qw#T(XE6IDyxSgZc=;1lAK+Je zz|By-h?_3Ww7Dx;i_jJptjW0!{qr^q2qY;NiCOT8Kd`~kNJ}{@;b_{1i8&sVu4z=X z@rp_|XGA0Hl`f@TeqycXLgqq!sKh(gY=C21^>P8&n5X*RDvvXrEdLkNd99S*(=5LM z?atrZ6~g6SY?XD3Qo1#-KenP@%0E`@>?@CJNIU{*0}%bRt5m5?&8SoQC9DRVNK zlc$**)QIFmnOG_V)-_ep*|QEG^KF?`j!s*hn7HQHRdl$)Cb^_ikSsCN{A{jRIuLv3 zsmO9qUi{!l(DmH~XO`0xM_T5GSI!SvIjL!i__2<0CRjP}D#ZYqUGHy4qioA$s#30e zVEAe=JW-8{%F4HE2_oz2@RfNe8i$WtT=Q(MkA))@a+{MJ5eG8`6)HuNZW7zN$>DC_aL_ou;j+F!LsDc}kmagGYrt(B0zce)*J7 z?u&`e!FiAIz;D`Q_bdgKg*kuBC1PO)d&i(C*}jBlaN7^F5PMbMwe4h#>gTHl{_1Iw zz8+!gjdg*SIfhN@#?}P9Vv`PRf=jtJ2c|zMFj;@+bVWPy=c%}5n;!YJRMj8YTRCnK zLnD`S^*v0WJ3ZFOXXnJ{GVhY_8V?oBxu`e#?a1mx#?UT0GNJE6zPeb>t3fNdc$0%b zFMQC39dAoNu-#nO5f|diySsIsb9VBK-oGIlW!HVbKD{RNNNzBlrZqfXf>t9Q zaTaf0r3;u;xa%NNjUZeYxlA$?xx%=Bx6>m%?BR_k8HCIL;>p?WRw*}GY3ASc`Dbq2 zzStngbYoo;?SoE+^Mv2BN@Ah2Nt%Zv z;FjU(GX+SA%ltBrUZ&rD{j&h*C%%Yg+R=fTL9vy(f%-7~{(ed^=p}mwi$x+?$|>dt zn5qz{VKB&295&&=MxcbKZn-JLi#}tAzHBD8>^;e!o`^zF(U=fC3Mdw#N-1osN2_}3<%AS1sI))ppjM%6XOpXU9kSG zwJr+WJGsjEKU%lUDOxw(birLG9}K|kOaQNWoQIRer0)RV_?ay*=`yk9PE2gFc6mEV z2~>~g1IMLKE>CDY8CDNoIX}CiW#Q5^PFE4VJK3>&=bXa5^#=?}4z3XwuBW|ATV9%0 zcHZSF-lB_>=Xw?z!uWt$*}ARuR{Nyy`W%vsXdG#fGjMGX`pk`MVoo z7gkx%9O8|KONo>!2?YxW4_HmiG>3^qBCbe>-?xmIXE5{Lw!mk9y_guQx;UqOAE!vC z=<#6Dk4eJ5>u&w*zcCLijYF0t9}oH8GaS?0cu=PIw$v-QTgA_n>irh`v1-0shb*0i z$f-K5Ao{NMC5vXgFQ+;*N!6ORiKFjNz0(h>9_YWH!jn#2x;3pAKY7dWt`f2;$v z>1(`hf#8Fmn<=p=z@1T}VbEEAM9QG|Bs-CAtS{HMWpDA9Y)7&XBN0I#tkb1#oU;=@ zalCIOuZZZ69#B5(w>E0#ElU(b70=IWQ?9K2vSgOAeOD2)w*Z+Ilu0nN~VwvrQN67iioR7s)!ZO-od5 zQ0CrgxYwSqHJ!Sh&5fcr8FOF8k<$xRPgY;Z8qx^0x;?J2nQq%~c`V<8Pv>&e{mY+< zZp&RfhE9+pjMo%O*$Zud$-*aAG2V8!2?|dM;VIeLS6_I(J&siqH`+N^z#ZulvzRp% z*_m?)9j5Ym4eZOtt~<#p;#db;NHMJL;P?AGtsb|Ny6mRaPcoc7+= z0}P>6LOjP7ibwfKWhFecD$dfjVVUP|_trgb$VDYh6zo2vNqECzz3WopU{+k%1@vIC zj?+c2tJZVeXK(OU50Wvmv@5PUjP$m0&mU#fHXgtD1uRY_uuIOgC#d+p{*oC{IBBx! zY2i)8zvfmM@j@=;cNBhpPZT1*i*Nmi<2@%nzoI`9*`$;dBt3q$=#h?SfA^CN4Fi;;G6#UW0 za9-{h0gb>v6T|P3LjCth0bzZ1k-%G70$A-AfaE!c`fn?hjk?1~X^iT>TPc+%3Xqm1 z0L~;ntlQ7t2_%vX5wqsNI7toU4G4z=S^ZcrD~LqLW~Be;b6>q^A$$#D(n<&3h7ke7 zSRRDTFz6mzil)BUyqA|#cGl+s$ae#Q0c2!3rMhV}VVW3mV`vb727*84P|q(8nS;jG z-<3g8V22jUR5*Vc%1nj-f2Mc{lqr|@SLP<9X}<`N28h7LEFQ#Y2pFIB2#x)ixX~Gr zb^z4K@A&Bg^~Z?6UBD+0WUXyPLv+CEQ#!%F1sZffG#oa6(}3TeM$us)uducOBYR9y z0KAc)x~U0M!6d#q&p1@_YveH)O}3j@4?de2MlmU%`)3i#Asm7Z0n*C7gMyjDVK7sm ze1HXD?&m|$Dgp}q)yPY(KEQf^9zM(Hzs!`x!$9tUHp1j1xG*3Nr*py4;Ao&S3VT1! z5j^s;2Zc}#1hB8xfVwOB;N4MCINF;sM|uNh>MY0YP5Geh+)Ib#K{9vrU}nR{A2LT* zo9v*GHJ;}Wn-+ylLQm%uucWV|q=T=Wud9QdgSVHTkGF@fotIM}Aoi*o;sEZBS_2YO zSm2Zz9#EYU1|-KA!NIWvIMa?k%&a%*;rsIRCjrnVnx6-}C$#Z9dJx;N@n%mLp5aIp zJJ>RTKp-ZYz>Y}{IAAJ1$Ytd*Fv<$F1_sTXhSM`?Lns{>EUM)iB{ns?14mQ-6fhg$%`^+ZGtUm_ z&nY465)nZ03;{&VQzOwPlw}iWnW)*43WI4f8ZJTPkO-K3XE#iYUTs7moHExe3Q}*i cAYt|ty#0@IN0%ZfA4*&#N&wJUB2donKg<$dg#Z8m diff --git a/test/test2.rewrite_pnat b/test/test2.rewrite_pnat index 2ef0a9c502cbfa9cfafae73224495cf47ba1694b..f88589b798849d62be805990d9ba705b626552c7 100644 GIT binary patch delta 1403 zcmZ{jZAepL6vww~i>TG^%*CujU{sVL6~v_+N!n~JSgjYr8e*mqiS{W%(GSa7AA)H1 z5K*?W7qOwmwWp*U^foMYx(}jt&6gAn#By62eoCr!nP zH9H{ga~;1#TgR*FruV4qL0ewCihLp$jcR--DRng(+_4t;2Mn^P?47pIlNsn-H%>~O zSO~p-s-Tq0KD|dgplc_pU{(BzD%V!DB|Qx?5mUtK1PK&$^3iDPO>`w)0AFBUz!;6L zy^VX*w{RM{2GW}ioOU_dU`~Ux68k0A)>CQhwTU_pmY{O80Ii{U0pc`$$DQVN9F!dY ztM6dYcB3`z6-ZBdH>%hdMVFqWH@K_?zYhh_m1b&cEE9 z35E$pShR0fz+K~~VGZcfu{Htteg6YCm*LvBehu)}xkP=+jKUkn)g6S`)WO=2N2~FR zl?`2_&+)-*bWai>-Z59v&?PI3T6fNJ{8I|Vfxi7;MPmUSwaw>o*9$&`rh5FmkEuJTn+ zjD$Nzto+Mk8Dsm@jjWr9<{)hlC7Aq99HHAp5P)cF^nJQ#P^bwV_K5}9GuLQIzSqp7-OyQs7B#_gj^7&Fup{isa*7ODhG(MmG zG#*M`#f3;SkXjeTnbl~yP75DivRC|T-4NYvNz~a}ipq67q__hD#CiK8cIlRJ;N9`p z-cF~XsN19pv#yy$QF=ZkA%+0RsE^`Whj6j}Xd;*&F=?8@=&)Yuo-JczDGDy%1b2%W zkghOJmgO|e0>uK_Lx4GDr3tpH$B3nemKC=Rb(CwtRn83l5j_Ml(_qE7P)r36Pwoc< zNU-5hyuX5#b>1AsS ztSq{>*ENTA(t{lQwACH89ML(Cg89%Ft^WaO*332f$TSLm;*eTeW z`^lc(ox9LEk%#J>xr*j~Nudd|ifTM9I)b3e@vow#ghtJ7LE;b(wXbA~blSsYS+1Q1 zK|N^2Fb_370Rb{2bS*wSoT7w#O>Bl#XRckWD;TFU&TU15BRs@^l_~V}FkOZzyNM_= zW^nxLol00_XA0?jr|hD;J)bJN8gRp#LJp=^%N+Et@?R%$T#m+ZW4THQKgk@@Z&lPS zWU6MUL;D(?dB=k{d#*w?BOSOp%(^-YeIh`{{s4wAl3@gGc+bP}KS|jKA#IYoSYL`y zywBs{Ya>(0yC8%E@ci*~4u07fA&*K3%MyHGf<&zumF-DxtEI$YZJID?BGk{m