Update corpus

Explicitly say that begin must be < end in interface
2024-07-10 18:49:41 -07:00 · 2024-07-10 17:05:08 -07:00
712 changed files with 8 additions and 13 deletions
--- a/corpus/005e2b0059b0261bc2288a5843a31e098d31013b
+++ b/corpus/005e2b0059b0261bc2288a5843a31e098d31013b
--- a/corpus/0063b93252ca70953300cad44698a17baad92efa
+++ b/corpus/0063b93252ca70953300cad44698a17baad92efa
--- a/corpus/007b752a8b713ca7d9c9ad9f437af86372842294
+++ b/corpus/007b752a8b713ca7d9c9ad9f437af86372842294
--- a/corpus/0125f120343f7f62c8ba06a5dda992948aff6976
+++ b/corpus/0125f120343f7f62c8ba06a5dda992948aff6976
--- a/corpus/0164498b5d5fbc2a3a5979deec1a0446c0e1abb6
+++ b/corpus/0164498b5d5fbc2a3a5979deec1a0446c0e1abb6
--- a/corpus/01cab80c8efd804c267cc9242a12a4dac2959f98
+++ b/corpus/01cab80c8efd804c267cc9242a12a4dac2959f98
--- a/corpus/0238340d4a6e588e2f721e375916197806e9e4a2
+++ b/corpus/0238340d4a6e588e2f721e375916197806e9e4a2
--- a/corpus/027cb1a49430f1677a7bb0510841e2078c69a40e
+++ b/corpus/027cb1a49430f1677a7bb0510841e2078c69a40e
--- a/corpus/028811e14d54e1094773c8b099968d4772debc6a
+++ b/corpus/028811e14d54e1094773c8b099968d4772debc6a
--- a/corpus/02feb57a35b1aff93e0a39b1c8bdbe4fb4c68bb3
+++ b/corpus/02feb57a35b1aff93e0a39b1c8bdbe4fb4c68bb3
--- a/corpus/037a852532d83bba4b2a366b1c2e88902ec43a62
+++ b/corpus/037a852532d83bba4b2a366b1c2e88902ec43a62
--- a/corpus/04cddf0d0e2f0466d26efa1595a76858bcde4c94
+++ b/corpus/04cddf0d0e2f0466d26efa1595a76858bcde4c94
--- a/corpus/04ee8a49d63dde5f8fb0217581aac1349c8bef6e
+++ b/corpus/04ee8a49d63dde5f8fb0217581aac1349c8bef6e
--- a/corpus/065c5f5e542abe1b5c8b931894a4e3f2089d8be3
+++ b/corpus/065c5f5e542abe1b5c8b931894a4e3f2089d8be3
--- a/corpus/066d231a61a7b4f1fb3b3d6b3feab2360bd0586e
+++ b/corpus/066d231a61a7b4f1fb3b3d6b3feab2360bd0586e
--- a/corpus/076b27f409c8bda741fb719e5d10681e5ae1db31
+++ b/corpus/076b27f409c8bda741fb719e5d10681e5ae1db31
--- a/corpus/077281b9908bdf8bc13273ebb8fab9f0e56e6414
+++ b/corpus/077281b9908bdf8bc13273ebb8fab9f0e56e6414
--- a/corpus/07af0cd9aa92b3167dde6cdc24efe99d59f246d1
+++ b/corpus/07af0cd9aa92b3167dde6cdc24efe99d59f246d1
--- a/corpus/091f1883731c2f0ba9d3705b44bfcd6dd3bf88db
+++ b/corpus/091f1883731c2f0ba9d3705b44bfcd6dd3bf88db
--- a/corpus/0974b99f57e954e667861e9ae4119e262f2703a8
+++ b/corpus/0974b99f57e954e667861e9ae4119e262f2703a8
--- a/corpus/0a1e8a6619e2097d1d376a53993302878b7cdc5d
+++ b/corpus/0a1e8a6619e2097d1d376a53993302878b7cdc5d
--- a/corpus/0a674f2c935665bcb0ed565f8cb86ac1b35516d8
+++ b/corpus/0a674f2c935665bcb0ed565f8cb86ac1b35516d8
--- a/corpus/0add1f7bc40446f0b565ffa8a01344ef0e6989ca
+++ b/corpus/0add1f7bc40446f0b565ffa8a01344ef0e6989ca
--- a/corpus/0ae06dc325d95c19967ac97b3de10c2fc8983b1b
+++ b/corpus/0ae06dc325d95c19967ac97b3de10c2fc8983b1b
--- a/corpus/0b626de7d1730e4a677757381713ba32ddbc943c
+++ b/corpus/0b626de7d1730e4a677757381713ba32ddbc943c
--- a/corpus/0b6558613333c201962d579fad084b280bd96aa7
+++ b/corpus/0b6558613333c201962d579fad084b280bd96aa7
--- a/corpus/0b82dea314f067dc8fd7b52459c1b855c784fde4
+++ b/corpus/0b82dea314f067dc8fd7b52459c1b855c784fde4
--- a/corpus/0bc38a2aff322bfcf5ca402f996ba12f8daf31d1
+++ b/corpus/0bc38a2aff322bfcf5ca402f996ba12f8daf31d1
--- a/corpus/0cabceb6692bc5ad27cffc1f00d412e6c1b0afc0
+++ b/corpus/0cabceb6692bc5ad27cffc1f00d412e6c1b0afc0
--- a/corpus/0cb1c7a2c5ad6f089cd3b2d48c658974aa338b2c
+++ b/corpus/0cb1c7a2c5ad6f089cd3b2d48c658974aa338b2c
--- a/corpus/0d80bd248e2de36bf251d8b7ffe315e0811fce57
+++ b/corpus/0d80bd248e2de36bf251d8b7ffe315e0811fce57
--- a/corpus/0d9431e398a37214417d6bef63ac6c986773b06d
+++ b/corpus/0d9431e398a37214417d6bef63ac6c986773b06d
--- a/corpus/0da6dc7ca616a5de655f860192079e4859382371
+++ b/corpus/0da6dc7ca616a5de655f860192079e4859382371
--- a/corpus/0e33e7ae09777d9c6b81e8cee7d5c4de1c62ff2d
+++ b/corpus/0e33e7ae09777d9c6b81e8cee7d5c4de1c62ff2d
--- a/corpus/0e410d4488defd877d2c9690a26970f57ab78b0c
+++ b/corpus/0e410d4488defd877d2c9690a26970f57ab78b0c
@@ -1,4 +0,0 @@
-*
-
-
-
--- a/corpus/0ef85a238153205a34565c63f4ad6c373a90b73e
+++ b/corpus/0ef85a238153205a34565c63f4ad6c373a90b73e
--- a/corpus/0f045e5e1a36ee449803f31d0ec334fb1218cc33
+++ b/corpus/0f045e5e1a36ee449803f31d0ec334fb1218cc33
--- a/corpus/0f2e401e0fe0e1d6267142355cc156ee7d2c3c87
+++ b/corpus/0f2e401e0fe0e1d6267142355cc156ee7d2c3c87
--- a/corpus/0fc692696f94afbb5d2027bc12fa3dc4a19ac3a9
+++ b/corpus/0fc692696f94afbb5d2027bc12fa3dc4a19ac3a9
--- a/corpus/10571ac120215c69cd97f409bf35143b5b917812
+++ b/corpus/10571ac120215c69cd97f409bf35143b5b917812
--- a/corpus/1095006f5706eb8e27faf1d3c1acd6af1b6718e3
+++ b/corpus/1095006f5706eb8e27faf1d3c1acd6af1b6718e3
--- a/corpus/113ddcf047b2f8c3684853b0f086ead6f056fac2
+++ b/corpus/113ddcf047b2f8c3684853b0f086ead6f056fac2
--- a/corpus/114c0edc40b90c08e0a4a6f15e8f49764cb5f241
+++ b/corpus/114c0edc40b90c08e0a4a6f15e8f49764cb5f241
--- a/corpus/11510f8502ab47f7d57cc205f3d6af50f36eb98c
+++ b/corpus/11510f8502ab47f7d57cc205f3d6af50f36eb98c
--- a/corpus/11919ca53b7efc88c8501dddde8fad916197f54c
+++ b/corpus/11919ca53b7efc88c8501dddde8fad916197f54c
--- a/corpus/11f83645fe98bd2419197f30080be51ff76bc6e2
+++ b/corpus/11f83645fe98bd2419197f30080be51ff76bc6e2
--- a/corpus/12a815319620aa136dd77ceb9f6389fd74765f8d
+++ b/corpus/12a815319620aa136dd77ceb9f6389fd74765f8d
--- a/corpus/12b2f725568909759c8eb8d3cd6e762b97adcf8c
+++ b/corpus/12b2f725568909759c8eb8d3cd6e762b97adcf8c
--- a/corpus/133c0de112bdcb419b188a1fe8574941517764e8
+++ b/corpus/133c0de112bdcb419b188a1fe8574941517764e8
--- a/corpus/135debe2b0cde6a9d63eb07116d7c85c8dbcc268
+++ b/corpus/135debe2b0cde6a9d63eb07116d7c85c8dbcc268
--- a/corpus/14ba3bc0137f0791498781c534a4a81c41e5f565
+++ b/corpus/14ba3bc0137f0791498781c534a4a81c41e5f565
--- a/corpus/1534c7f0f2bac8015e9df650deb62fe383c58440
+++ b/corpus/1534c7f0f2bac8015e9df650deb62fe383c58440
--- a/corpus/15ec9e0a7a3ff3be4d02366c14e50256463f5ad9
+++ b/corpus/15ec9e0a7a3ff3be4d02366c14e50256463f5ad9
--- a/corpus/16032af55a737dededa0c4155bf2d21ffb54716c
+++ b/corpus/16032af55a737dededa0c4155bf2d21ffb54716c
--- a/corpus/1681caabc3d5e8d79b4dd79a465a3678bc6ab498
+++ b/corpus/1681caabc3d5e8d79b4dd79a465a3678bc6ab498
--- a/corpus/16da9b15792f7c488d3d9f8354199cc512cd012f
+++ b/corpus/16da9b15792f7c488d3d9f8354199cc512cd012f
--- a/corpus/16e88b562a6862401460f25825f2bff30fd55267
+++ b/corpus/16e88b562a6862401460f25825f2bff30fd55267
--- a/corpus/17f44a42bb6e083988b3eb00ee6f14dccc10bcbf
+++ b/corpus/17f44a42bb6e083988b3eb00ee6f14dccc10bcbf
--- a/corpus/180e912ab1eee5ccaa1cab79c9fd4d81d2009b6a
+++ b/corpus/180e912ab1eee5ccaa1cab79c9fd4d81d2009b6a
--- a/corpus/18114c1ea60aec549bd286b1b69419e724e8f21f
+++ b/corpus/18114c1ea60aec549bd286b1b69419e724e8f21f
--- a/corpus/182e6bc1f0cc00a80f5a6b588e0db7e603ab5f67
+++ b/corpus/182e6bc1f0cc00a80f5a6b588e0db7e603ab5f67
--- a/corpus/1906d18823ade0beb690c68d8585dfb3b565956f
+++ b/corpus/1906d18823ade0beb690c68d8585dfb3b565956f
--- a/corpus/197cfb242d7638d21096b0eed211adbd7a1cf041
+++ b/corpus/197cfb242d7638d21096b0eed211adbd7a1cf041
--- a/corpus/199d8d206d74e0e77ac21334cfe398a3885d84a2
+++ b/corpus/199d8d206d74e0e77ac21334cfe398a3885d84a2
--- a/corpus/1ae168891529281e4d601dbbe83a064fb330e722
+++ b/corpus/1ae168891529281e4d601dbbe83a064fb330e722
--- a/corpus/1af2516afd85fafa8a6c40dae32059f8b60536b0
+++ b/corpus/1af2516afd85fafa8a6c40dae32059f8b60536b0
--- a/corpus/1af26a82f432e06da3d093435c1baa2251955ee7
+++ b/corpus/1af26a82f432e06da3d093435c1baa2251955ee7
--- a/corpus/1b590e4d1b29a6140055510b81af0ec758197b05
+++ b/corpus/1b590e4d1b29a6140055510b81af0ec758197b05
--- a/corpus/1c2b4d5da82dc79063550e5cf0c15b867098b47c
+++ b/corpus/1c2b4d5da82dc79063550e5cf0c15b867098b47c
--- a/corpus/1cbd253ecbe54b30051695216915f273716fb7eb
+++ b/corpus/1cbd253ecbe54b30051695216915f273716fb7eb
--- a/corpus/1d4c3da489e29554871120e2f9eb1227c92e9737
+++ b/corpus/1d4c3da489e29554871120e2f9eb1227c92e9737
--- a/corpus/1ddcfcbbf1b9ce188c2509aa99b2d10b26cdec38
+++ b/corpus/1ddcfcbbf1b9ce188c2509aa99b2d10b26cdec38
--- a/corpus/1e272a9a43badbbd8b66eb08ba49fc1650557df1
+++ b/corpus/1e272a9a43badbbd8b66eb08ba49fc1650557df1
--- a/corpus/1f03804706499daec8988095a00faa51cffa139f
+++ b/corpus/1f03804706499daec8988095a00faa51cffa139f
--- a/corpus/1f3676c7a663a9ef780aa996ea88a905b25bd8d2
+++ b/corpus/1f3676c7a663a9ef780aa996ea88a905b25bd8d2
--- a/corpus/1f3e8fba12eab3f4019d41a4818bf20599af0f20
+++ b/corpus/1f3e8fba12eab3f4019d41a4818bf20599af0f20
--- a/corpus/2002d20caa25f4a189811044fc8605ded3b8e7de
+++ b/corpus/2002d20caa25f4a189811044fc8605ded3b8e7de
--- a/corpus/20bea5c29b0f49a3a7aa78d2237341895a3cb0da
+++ b/corpus/20bea5c29b0f49a3a7aa78d2237341895a3cb0da
--- a/corpus/2170d4c6e441dff70a24d5dc3de7229afc2a0450
+++ b/corpus/2170d4c6e441dff70a24d5dc3de7229afc2a0450
--- a/corpus/21dc5306743b5c81261800b3a8bb65e9a42c0738
+++ b/corpus/21dc5306743b5c81261800b3a8bb65e9a42c0738
--- a/corpus/221318f0be1a1ad5ada43568dcc677405ade50fd
+++ b/corpus/221318f0be1a1ad5ada43568dcc677405ade50fd
--- a/corpus/222a983c4f1ab6b78288e51da692baecbc662928
+++ b/corpus/222a983c4f1ab6b78288e51da692baecbc662928
--- a/corpus/2235efbdee0d8983c7a37e67e02b514d223bab70
+++ b/corpus/2235efbdee0d8983c7a37e67e02b514d223bab70
--- a/corpus/22b32d6fd448f613abf904370dc69bd962cf547f
+++ b/corpus/22b32d6fd448f613abf904370dc69bd962cf547f
--- a/corpus/22c0cdb7ca97288ede20571b4a2fa3582090f541
+++ b/corpus/22c0cdb7ca97288ede20571b4a2fa3582090f541
--- a/corpus/22c23c2418773edaaff055ed387f82c8ad078f9f
+++ b/corpus/22c23c2418773edaaff055ed387f82c8ad078f9f
@@ -1,2 +0,0 @@
-*
-
--- a/corpus/234e754ea806b2caa38c95ca634b5c29db721559
+++ b/corpus/234e754ea806b2caa38c95ca634b5c29db721559
--- a/corpus/24813b940f1d10951ef34c33945948f8e88e9589
+++ b/corpus/24813b940f1d10951ef34c33945948f8e88e9589
--- a/corpus/24c2be04754d36985bbda27392a7dbba7db93cb4
+++ b/corpus/24c2be04754d36985bbda27392a7dbba7db93cb4
--- a/corpus/25b030f34cc663a76475722a1a2bf6be4d3f1881
+++ b/corpus/25b030f34cc663a76475722a1a2bf6be4d3f1881
--- a/corpus/25b41c96e5ecaaaacb8b0a7ef0c883097aa0a092
+++ b/corpus/25b41c96e5ecaaaacb8b0a7ef0c883097aa0a092
--- a/corpus/26072a35b4deea0b87b1f749347d4e9b4eacd141
+++ b/corpus/26072a35b4deea0b87b1f749347d4e9b4eacd141
--- a/corpus/26370aebd23c738f4d9735316e0c6a59f762e9af
+++ b/corpus/26370aebd23c738f4d9735316e0c6a59f762e9af
--- a/corpus/2794dbc3009c98cea71b31661443d2967196b20e
+++ b/corpus/2794dbc3009c98cea71b31661443d2967196b20e
--- a/corpus/27c6893c3d3a1f01c190f1951ad5655dd68a7644
+++ b/corpus/27c6893c3d3a1f01c190f1951ad5655dd68a7644
--- a/corpus/27e237ee8d94bef5a61df6028f6ae3026ec45ca8
+++ b/corpus/27e237ee8d94bef5a61df6028f6ae3026ec45ca8
--- a/corpus/283d6572a2891ce3297a9a48269ddb0e5144e1a5
+++ b/corpus/283d6572a2891ce3297a9a48269ddb0e5144e1a5
--- a/corpus/283d92aaef9b1c009c6b40ab5aff2327da4c6054
+++ b/corpus/283d92aaef9b1c009c6b40ab5aff2327da4c6054
--- a/corpus/285920f0298f1496ee2b6bf617aa7bd6aaa1a2fe
+++ b/corpus/285920f0298f1496ee2b6bf617aa7bd6aaa1a2fe
--- a/corpus/2859728efc6ae0b51cc4245f682d9eacbac6ed65
+++ b/corpus/2859728efc6ae0b51cc4245f682d9eacbac6ed65
--- a/Show More
+++ b/Show More
Author	SHA1	Message	Date
Andrew Noyes	60cb274a15	Update corpus All checks were successful Tests / Clang total: 1533, passed: 1533 Details Clang \|Total\|New\|Outstanding\|Fixed\|Trend \|:-:\|:-:\|:-:\|:-:\|:-: \|0\|0\|0\|0\|:clap: Details Tests / SIMD fallback total: 1533, passed: 1533 Details Tests / Release [gcc] total: 1533, passed: 1533 Details GNU C Compiler (gcc) \|Total\|New\|Outstanding\|Fixed\|Trend \|:-:\|:-:\|:-:\|:-:\|:-: \|2\|0\|2\|0\|:zzz: Details Tests / Release [gcc,aarch64] total: 1144, passed: 1144 Details Tests / Coverage total: 1151, passed: 1151 Details Code Coverage #### Project Overview No changes detected, that affect the code coverage. * Line Coverage: 98.71% (1606/1627) * Branch Coverage: 65.63% (1472/2243) * Complexity Density: 0.00 * Lines of Code: 1627 #### Quality Gates Summary Output truncated. Details weaselab/conflict-set/pipeline/head This commit looks good Details	2024-07-10 18:49:41 -07:00
Andrew Noyes	687bc9c935	Explicitly say that begin must be < end in interface	2024-07-10 17:05:08 -07:00