More corpus tinkering. Missing coverage for Node256

2024-02-01 18:22:45 -08:00
parent aa8327cb5d
commit 20bd5c2fa6
169 changed files with 1 additions and 3 deletions
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -892,7 +892,6 @@ struct __attribute__((visibility("hidden"))) ConflictSet::Impl {
        if (insertedEnd) {
          auto *p = prevLogical(end);
          assert(p != nullptr);
-          end->entryPresent = true;
          end->entry.pointVersion = p->entry.rangeVersion;
          end->entry.rangeVersion = p->entry.rangeVersion;
        }
--- a/corpus/00232851b5b99a6f44bbbb4c460d478e482d8533
+++ b/corpus/00232851b5b99a6f44bbbb4c460d478e482d8533
--- a/corpus/0243fe177c83df30945bd33968bc325f47c7990e
+++ b/corpus/0243fe177c83df30945bd33968bc325f47c7990e
--- a/corpus/049002a43161e4dd910762e2a835451e44626451
+++ b/corpus/049002a43161e4dd910762e2a835451e44626451
--- a/corpus/05f6fce77ae87f37f9f7cb8ae393427a8ac124bf
+++ b/corpus/05f6fce77ae87f37f9f7cb8ae393427a8ac124bf
--- a/corpus/07533ae737b551dd530c9e700824e2f9ebe78b9a
+++ b/corpus/07533ae737b551dd530c9e700824e2f9ebe78b9a
--- a/corpus/0949315a1f9a513b851b14445125bbe2d66eeb14
+++ b/corpus/0949315a1f9a513b851b14445125bbe2d66eeb14
--- a/corpus/09740e0334c3c465488fdfe0b8c995a199c160cf
+++ b/corpus/09740e0334c3c465488fdfe0b8c995a199c160cf
--- a/corpus/0a53d79ee3ea03fa1efc5824d00ce59a6aee238a
+++ b/corpus/0a53d79ee3ea03fa1efc5824d00ce59a6aee238a
--- a/corpus/0d28ffdd529238766ef9f5e047f2c94e868f9e43
+++ b/corpus/0d28ffdd529238766ef9f5e047f2c94e868f9e43
--- a/corpus/0fff174a15d67da596151cb534f35fc861a4da63
+++ b/corpus/0fff174a15d67da596151cb534f35fc861a4da63
--- a/corpus/13d94638f8945bdad34a75427a7e0d320c987daa
+++ b/corpus/13d94638f8945bdad34a75427a7e0d320c987daa
--- a/corpus/1417a935473dfad58434444f0552f065e951e580
+++ b/corpus/1417a935473dfad58434444f0552f065e951e580
--- a/corpus/151cd3aba24873a7cce28da7bcf96e6bfadb0306
+++ b/corpus/151cd3aba24873a7cce28da7bcf96e6bfadb0306
@@ -0,0 +1 @@
+z<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>G<EFBFBD><EFBFBD><01><01>1
--- a/corpus/15c3c5339ad6c36a358f87a193b81efc68f1b06b
+++ b/corpus/15c3c5339ad6c36a358f87a193b81efc68f1b06b
--- a/corpus/16c60c7e6e45085480dda170c9108faa7c2133f9
+++ b/corpus/16c60c7e6e45085480dda170c9108faa7c2133f9
--- a/corpus/18a63531f514d17f172181a0375092a53b31c53f
+++ b/corpus/18a63531f514d17f172181a0375092a53b31c53f
--- a/corpus/197466219d75e59cc76fe9d97eeb8cdaba9ba804
+++ b/corpus/197466219d75e59cc76fe9d97eeb8cdaba9ba804
--- a/corpus/1a7600888db9bba42e38fcda20c3ab111d2f7439
+++ b/corpus/1a7600888db9bba42e38fcda20c3ab111d2f7439
--- a/corpus/1ba095a2a6da039a106b9678306130c701116878
+++ b/corpus/1ba095a2a6da039a106b9678306130c701116878
--- a/corpus/1bc22534fe7d6bfdf10910f1071ea6d1c9a373bb
+++ b/corpus/1bc22534fe7d6bfdf10910f1071ea6d1c9a373bb
--- a/corpus/1f36401f9c168614f0cbdc514953ae1cded4487d
+++ b/corpus/1f36401f9c168614f0cbdc514953ae1cded4487d
--- a/corpus/20bf12fd8efbb79791b0390a12a66d7cadbbaff9
+++ b/corpus/20bf12fd8efbb79791b0390a12a66d7cadbbaff9
--- a/corpus/20d75e6c273fdef9356d79fcb9f9078874a367a2
+++ b/corpus/20d75e6c273fdef9356d79fcb9f9078874a367a2
--- a/corpus/20f7f5fbc851d2db48e5e1994bdf0304f04d5a5f
+++ b/corpus/20f7f5fbc851d2db48e5e1994bdf0304f04d5a5f
--- a/corpus/22209d1c793ca9c8b7205b22285c5d6bdfd46ea7
+++ b/corpus/22209d1c793ca9c8b7205b22285c5d6bdfd46ea7
--- a/corpus/24724bc3981036faac77cab66f8c9aa1c5136c30
+++ b/corpus/24724bc3981036faac77cab66f8c9aa1c5136c30
--- a/corpus/25e9808f286a80d7ebe7b699867049ceec3b446d
+++ b/corpus/25e9808f286a80d7ebe7b699867049ceec3b446d
--- a/corpus/26794fc3b5358c383006192a1b10e49351133bb5
+++ b/corpus/26794fc3b5358c383006192a1b10e49351133bb5
--- a/corpus/28dc5290adf2dafef1987f8892d4e29f80dc2a92
+++ b/corpus/28dc5290adf2dafef1987f8892d4e29f80dc2a92
--- a/corpus/2941280e532f7e2e6d3a8fc1dc7d4170977c0211
+++ b/corpus/2941280e532f7e2e6d3a8fc1dc7d4170977c0211
--- a/corpus/2ab29a01646ae084de553ba1aa40d517fe63324a
+++ b/corpus/2ab29a01646ae084de553ba1aa40d517fe63324a
--- a/corpus/2ae4050051817241b7c13988c135ab5dcab9b09a
+++ b/corpus/2ae4050051817241b7c13988c135ab5dcab9b09a
--- a/corpus/2b9d936133ed76159b3af093c3e822bfe0f37674
+++ b/corpus/2b9d936133ed76159b3af093c3e822bfe0f37674
--- a/corpus/2bf8f87c51541ef95b6a03b28af922c97bd75fb0
+++ b/corpus/2bf8f87c51541ef95b6a03b28af922c97bd75fb0
--- a/corpus/2c95fb2614cec8d89e176476c12e9d9a53fcbe03
+++ b/corpus/2c95fb2614cec8d89e176476c12e9d9a53fcbe03
--- a/corpus/307ee96d0f8955d597c7e1d913cf7639c7eadd05
+++ b/corpus/307ee96d0f8955d597c7e1d913cf7639c7eadd05
--- a/corpus/339f25e33f9d872c0b6efc8a06ee82eda9b66439
+++ b/corpus/339f25e33f9d872c0b6efc8a06ee82eda9b66439
--- a/corpus/34df64cd6962f2d95ac75a9b38f742ee94519f1d
+++ b/corpus/34df64cd6962f2d95ac75a9b38f742ee94519f1d
--- a/corpus/3563a945a90f812d3d14893de5ff0cd89fe88f1a
+++ b/corpus/3563a945a90f812d3d14893de5ff0cd89fe88f1a
--- a/corpus/38c2cb26105880d0fff10b7e072b8397fca6f439
+++ b/corpus/38c2cb26105880d0fff10b7e072b8397fca6f439
--- a/corpus/394b0800c514676aebf015e12b002e95e40e525c
+++ b/corpus/394b0800c514676aebf015e12b002e95e40e525c
--- a/corpus/39a8c94e82c757aa0098c4e0bd3fefbb5ece6e28
+++ b/corpus/39a8c94e82c757aa0098c4e0bd3fefbb5ece6e28
--- a/corpus/3df6655d8a46272d2fe6d8be4fe73083d402ea45
+++ b/corpus/3df6655d8a46272d2fe6d8be4fe73083d402ea45
--- a/corpus/3e4310286d5e5ecd9bb7e01b177653eff4a57295
+++ b/corpus/3e4310286d5e5ecd9bb7e01b177653eff4a57295
--- a/corpus/3f2bff767ecd081edcb4ecf9acd943a12b481c42
+++ b/corpus/3f2bff767ecd081edcb4ecf9acd943a12b481c42
--- a/corpus/3ff3bbf4cdc3402829e13c08336c2385e50a2ca4
+++ b/corpus/3ff3bbf4cdc3402829e13c08336c2385e50a2ca4
--- a/corpus/40fef9ec084be3d92b6df4fe4f54374ce550250e
+++ b/corpus/40fef9ec084be3d92b6df4fe4f54374ce550250e
--- a/corpus/458dfbe4fff883e58d825395827b03902ed85265
+++ b/corpus/458dfbe4fff883e58d825395827b03902ed85265
--- a/corpus/46071f42a563cd8ad5ceb1969ff17b3bd4fb2332
+++ b/corpus/46071f42a563cd8ad5ceb1969ff17b3bd4fb2332
--- a/corpus/47aec039510f7decad88c4d5f356239b056ee57b
+++ b/corpus/47aec039510f7decad88c4d5f356239b056ee57b
--- a/corpus/4811c24531019b7736e5ee5cbd69983a1a152ce6
+++ b/corpus/4811c24531019b7736e5ee5cbd69983a1a152ce6
--- a/corpus/4988c142ba85e2378bebadab27ed9dbf73c459fc
+++ b/corpus/4988c142ba85e2378bebadab27ed9dbf73c459fc
--- a/corpus/4b46e1ad7b05605e72b1febc58ebad8f285248b3
+++ b/corpus/4b46e1ad7b05605e72b1febc58ebad8f285248b3
--- a/corpus/4dfdbd5f4f0f66c92381e95d9929731d4db1fe97
+++ b/corpus/4dfdbd5f4f0f66c92381e95d9929731d4db1fe97
--- a/corpus/50eb9b1bc9550e40f007138971a7fdce8839af77
+++ b/corpus/50eb9b1bc9550e40f007138971a7fdce8839af77
--- a/corpus/51ee0fb3b5488a35bb231fd1219153a00dfd5ab3
+++ b/corpus/51ee0fb3b5488a35bb231fd1219153a00dfd5ab3
--- a/corpus/52666d8c5562706f718dfa4c78f4c58cdd74673f
+++ b/corpus/52666d8c5562706f718dfa4c78f4c58cdd74673f
--- a/corpus/53422e50a3c93074e1dcb90ab437d60379adf8a9
+++ b/corpus/53422e50a3c93074e1dcb90ab437d60379adf8a9
--- a/corpus/537db10b3c4ff660545628b93d6290073d098589
+++ b/corpus/537db10b3c4ff660545628b93d6290073d098589
--- a/corpus/54011184e0189a3e6b388af7153ffdc18840300a
+++ b/corpus/54011184e0189a3e6b388af7153ffdc18840300a
--- a/corpus/54b72db6e374f4c80f17c5c03dd8facdfb393cfb
+++ b/corpus/54b72db6e374f4c80f17c5c03dd8facdfb393cfb
--- a/corpus/554dfc43161509da23a32811207ddabae8dd5167
+++ b/corpus/554dfc43161509da23a32811207ddabae8dd5167
--- a/corpus/5684a7322929620d3c3d4bcdc4b029077823cb0d
+++ b/corpus/5684a7322929620d3c3d4bcdc4b029077823cb0d
--- a/corpus/588ddaa2efa11564d2c337a5e8ea2b944597fc82
+++ b/corpus/588ddaa2efa11564d2c337a5e8ea2b944597fc82
--- a/corpus/59984184155e9ee8c287ee361501e0c4b11446e8
+++ b/corpus/59984184155e9ee8c287ee361501e0c4b11446e8
--- a/corpus/5a2cfeb567fababd2d5fde208e3f23afc54a68de
+++ b/corpus/5a2cfeb567fababd2d5fde208e3f23afc54a68de
--- a/corpus/5e174bfe04b35935e43f7327a0494d53221ce9f0
+++ b/corpus/5e174bfe04b35935e43f7327a0494d53221ce9f0
--- a/corpus/5eab66fb75d98e46adc9be0904809b2b58c1ce50
+++ b/corpus/5eab66fb75d98e46adc9be0904809b2b58c1ce50
--- a/corpus/5f26c7e27f6401b43ef98c0d3bced90372e176b2
+++ b/corpus/5f26c7e27f6401b43ef98c0d3bced90372e176b2
--- a/corpus/5fa042e0608dd1b867de1378045f940688237d5a
+++ b/corpus/5fa042e0608dd1b867de1378045f940688237d5a
--- a/corpus/636fb8cdffdbfe00952b08273555aba7fc035133
+++ b/corpus/636fb8cdffdbfe00952b08273555aba7fc035133
--- a/corpus/652d1074cc314e7c6b1d5995c3cef9cf39f23bfd
+++ b/corpus/652d1074cc314e7c6b1d5995c3cef9cf39f23bfd
--- a/corpus/669d748fb2e58c81b769812eab40d0d424623762
+++ b/corpus/669d748fb2e58c81b769812eab40d0d424623762
--- a/corpus/67b4287cedf230a9beb497302d767080f35a8d13
+++ b/corpus/67b4287cedf230a9beb497302d767080f35a8d13
--- a/corpus/68bc125681572bf1af8fe9bdc0843e1cae8b7d0d
+++ b/corpus/68bc125681572bf1af8fe9bdc0843e1cae8b7d0d
--- a/corpus/6d893dc0d15772b6fdc037906361e966f429496d
+++ b/corpus/6d893dc0d15772b6fdc037906361e966f429496d
--- a/corpus/705ebafd97c469f9c26de3aad64d88527ceebbbc
+++ b/corpus/705ebafd97c469f9c26de3aad64d88527ceebbbc
--- a/corpus/712328045cf14a72e74a12857d6711e39787c881
+++ b/corpus/712328045cf14a72e74a12857d6711e39787c881
--- a/corpus/7202b91bf1861eeacfb0a6a49b237afecce266e0
+++ b/corpus/7202b91bf1861eeacfb0a6a49b237afecce266e0
--- a/corpus/7308f8f33bf028e91bb7354fd270bbf7fbaa2859
+++ b/corpus/7308f8f33bf028e91bb7354fd270bbf7fbaa2859
--- a/corpus/763040f4dc3a836a8a29267e2054fabf0c605888
+++ b/corpus/763040f4dc3a836a8a29267e2054fabf0c605888
--- a/corpus/76709247c14bffd59e3a0f104399d3e6687895f9
+++ b/corpus/76709247c14bffd59e3a0f104399d3e6687895f9
--- a/corpus/768727d4dbddb4fa09c563ade423f7154f4f4776
+++ b/corpus/768727d4dbddb4fa09c563ade423f7154f4f4776
--- a/corpus/788ab2441418e8f0ee97b1ec2d34bc2dd611fedf
+++ b/corpus/788ab2441418e8f0ee97b1ec2d34bc2dd611fedf
--- a/corpus/78dae0910c777d48ce6fcdc19e86c72de64a4829
+++ b/corpus/78dae0910c777d48ce6fcdc19e86c72de64a4829
--- a/corpus/7952dfcd24a7f3efa0e3945a06238ef9576ba688
+++ b/corpus/7952dfcd24a7f3efa0e3945a06238ef9576ba688
--- a/corpus/7b935c4defb16fce9944e6424632b89f38c21d8b
+++ b/corpus/7b935c4defb16fce9944e6424632b89f38c21d8b
--- a/corpus/7ccbdc6257f14e3b198d39a686ec95cbf20bb364
+++ b/corpus/7ccbdc6257f14e3b198d39a686ec95cbf20bb364
--- a/corpus/7d9b50c23e280bd6dd74c29bf3a623a00e60eb1d
+++ b/corpus/7d9b50c23e280bd6dd74c29bf3a623a00e60eb1d
--- a/corpus/7dcbef768ab9999b8a313598a5e52793fe68f43c
+++ b/corpus/7dcbef768ab9999b8a313598a5e52793fe68f43c
--- a/corpus/7ef986e5cfb4a01a1064f99b6ab27c4129d20c49
+++ b/corpus/7ef986e5cfb4a01a1064f99b6ab27c4129d20c49
--- a/corpus/7fa667d83a01a8092e75b772f446d347b21a523b
+++ b/corpus/7fa667d83a01a8092e75b772f446d347b21a523b
--- a/corpus/8099e587322e1ea4428a2edb03a90456718ef9bd
+++ b/corpus/8099e587322e1ea4428a2edb03a90456718ef9bd
--- a/corpus/81959d849965d40d9b9f95cabf041c75ba6c7308
+++ b/corpus/81959d849965d40d9b9f95cabf041c75ba6c7308
--- a/corpus/8225e579ef5a4f10f7e0f4485cffd1753e412737
+++ b/corpus/8225e579ef5a4f10f7e0f4485cffd1753e412737
--- a/corpus/8368d4c578792f4f5a3ce3bbc050863a6443fe4e
+++ b/corpus/8368d4c578792f4f5a3ce3bbc050863a6443fe4e
--- a/corpus/8509388e91f2346309ee543d792cabbc082ba6b8
+++ b/corpus/8509388e91f2346309ee543d792cabbc082ba6b8
--- a/corpus/8525034b24fe8be8a5b3e51f2eca18f4647996bd
+++ b/corpus/8525034b24fe8be8a5b3e51f2eca18f4647996bd
--- a/corpus/8738cb7144352c493c962629f27d3e4adc8e9801
+++ b/corpus/8738cb7144352c493c962629f27d3e4adc8e9801
--- a/Show More
+++ b/Show More
				`@@ -0,0 +1 @@`
				`z<EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>G<EFBFBD><EFBFBD><01><01>1`