diff options
author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2017-03-09 08:14:32 +0100 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2017-03-13 17:31:22 +0100 |
commit | 0938e6f0b3772e4d2947665710a4a506f2bc1db6 (patch) | |
tree | f9fc8e6624d64a42cb25a87abcb3dcd07112eef0 /tests | |
parent | fb09dd618ac784e9c9cd30f382997453f6d8e1bc (diff) | |
download | gnutls-0938e6f0b3772e4d2947665710a4a506f2bc1db6.tar.gz |
tests: added a certificate parsing coverage test
This inputs a large set of valid and invalid certificates in
the certificate parser with the intention to stress test its
error checking, and prevent regressions.
Signed-off-by: Nikos Mavrogiannopoulos <nmav@redhat.com>
Diffstat (limited to 'tests')
486 files changed, 124 insertions, 1 deletions
diff --git a/tests/suite/Makefile.am b/tests/suite/Makefile.am index bacc485ff5..b620599e6d 100644 --- a/tests/suite/Makefile.am +++ b/tests/suite/Makefile.am @@ -26,6 +26,7 @@ AM_CPPFLAGS = \ -I$(top_srcdir)/extra/includes \ -I$(top_builddir)/extra/includes \ -I$(top_srcdir)/lib \ + -I$(top_srcdir)/tests \ -I$(top_srcdir)/doc/examples \ -I$(top_srcdir)/tests/suite/ecore/src/include \ -I$(top_srcdir)/tests/suite/ecore/src/lib @@ -34,7 +35,7 @@ EXTRA_DIST = crl/long.crl crl/long.pem data/test1.cat data/test2.cat \ data/test1.cat.data data/test2.cat.data \ data/test1.cat.out data/test2.cat.out data/ca.pem -check_PROGRAMS = rng prime-check +check_PROGRAMS = rng prime-check cert-coverage AM_LDFLAGS = -no-install LDADD = ../../lib/libgnutls.la \ ../../gl/libgnu.la \ diff --git a/tests/suite/cert-coverage.c b/tests/suite/cert-coverage.c new file mode 100644 index 0000000000..6043aa1738 --- /dev/null +++ b/tests/suite/cert-coverage.c @@ -0,0 +1,120 @@ +/* + * Copyright (C) 2016-2017 Red Hat, Inc. + * + * Author: Nikos Mavrogiannopoulos + * + * This file is part of GnuTLS. + * + * GnuTLS is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 3 of the License, or + * (at your option) any later version. + * + * GnuTLS is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with GnuTLS; if not, write to the Free Software Foundation, + * Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA + */ + +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif + +#include <gnutls/gnutls.h> +#include <gnutls/x509.h> +#include <stdlib.h> +#include <limits.h> +#include <dirent.h> + +#include "utils.h" + +/* This program will load certificates from CERT_DIR and try to print + * them if they can be imported. The purpose of the certs is to increase + * coverage in error paths. + */ + +#define CERT_DIR "certs-coverage" + +static int getnextcert(DIR **dirp, gnutls_datum_t *der) +{ + struct dirent *d; + char path[256]; + char cert_dir[256]; + const char *src; + int ret; + + src = getenv("srcdir"); + if (src == NULL) + src = "."; + + snprintf(cert_dir, sizeof(cert_dir), "%s/%s", src, CERT_DIR); + + if (*dirp == NULL) { + *dirp = opendir(cert_dir); + if (*dirp == NULL) + return -1; + } + + do { + d = readdir(*dirp); + if (d != NULL +#ifdef _DIRENT_HAVE_D_TYPE + && d->d_type == DT_REG +#endif + ) { + snprintf(path, sizeof(path), "%s/%s", cert_dir, d->d_name); + + success("Loading %s\n", path); + ret = gnutls_load_file(path, der); + if (ret < 0) { + return -1; + } + + return 0; + } + } while(d != NULL); + + closedir(*dirp); + return -1; /* finished */ +} + +void doit(void) +{ + int ret; + gnutls_x509_crt_t cert; + gnutls_datum_t der; + DIR *dirp = NULL; + + ret = global_init(); + if (ret < 0) + fail("init %d\n", ret); + + while (getnextcert(&dirp, &der)==0) { + ret = gnutls_x509_crt_init(&cert); + if (ret < 0) + fail("crt_init %d\n", ret); + + ret = gnutls_x509_crt_import(cert, &der, GNUTLS_X509_FMT_DER); + + if (ret == 0) { + /* attempt to fully decode */ + gnutls_datum_t out; + ret = gnutls_x509_crt_print(cert, GNUTLS_CRT_PRINT_FULL, &out); + if (ret < 0) { + fail("print: %s\n", gnutls_strerror(ret)); + } + gnutls_free(out.data); + } + + gnutls_x509_crt_deinit(cert); + gnutls_free(der.data); + der.data = NULL; + der.size = 0; + } + + gnutls_global_deinit(); +} diff --git a/tests/suite/certs-coverage/id:000000,orig:cert0.der b/tests/suite/certs-coverage/id:000000,orig:cert0.der new file mode 100644 index 0000000000..bfe8a5c0aa --- /dev/null +++ b/tests/suite/certs-coverage/id:000000,orig:cert0.der @@ -0,0 +1 @@ +0‚
\ No newline at end of file diff --git a/tests/suite/certs-coverage/id:000006,orig:cert6.der b/tests/suite/certs-coverage/id:000006,orig:cert6.der Binary files differnew file mode 100644 index 0000000000..58f458981e --- /dev/null +++ b/tests/suite/certs-coverage/id:000006,orig:cert6.der diff --git a/tests/suite/certs-coverage/id:000010,src:000000,op:havoc,rep:4,+cov b/tests/suite/certs-coverage/id:000010,src:000000,op:havoc,rep:4,+cov new file mode 100644 index 0000000000..b1f7375517 --- /dev/null +++ b/tests/suite/certs-coverage/id:000010,src:000000,op:havoc,rep:4,+cov @@ -0,0 +1 @@ +0ü
\ No newline at end of file diff --git a/tests/suite/certs-coverage/id:000011,src:000001,op:flip1,pos:11,+cov b/tests/suite/certs-coverage/id:000011,src:000001,op:flip1,pos:11,+cov Binary files differnew file mode 100644 index 0000000000..ee5c46b2a1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000011,src:000001,op:flip1,pos:11,+cov diff --git a/tests/suite/certs-coverage/id:000058,src:000000+000014,op:splice,rep:2,+cov b/tests/suite/certs-coverage/id:000058,src:000000+000014,op:splice,rep:2,+cov Binary files differnew file mode 100644 index 0000000000..7adfcd1286 --- /dev/null +++ b/tests/suite/certs-coverage/id:000058,src:000000+000014,op:splice,rep:2,+cov diff --git a/tests/suite/certs-coverage/id:000071,src:000000+000035,op:splice,rep:4 b/tests/suite/certs-coverage/id:000071,src:000000+000035,op:splice,rep:4 Binary files differnew file mode 100644 index 0000000000..eb95c0beed --- /dev/null +++ b/tests/suite/certs-coverage/id:000071,src:000000+000035,op:splice,rep:4 diff --git a/tests/suite/certs-coverage/id:000072,src:000001,op:arith8,pos:28,val:-6 b/tests/suite/certs-coverage/id:000072,src:000001,op:arith8,pos:28,val:-6 Binary files differnew file mode 100644 index 0000000000..4606ba0d23 --- /dev/null +++ b/tests/suite/certs-coverage/id:000072,src:000001,op:arith8,pos:28,val:-6 diff --git a/tests/suite/certs-coverage/id:000078,src:000001,op:arith8,pos:57,val:-33,+cov b/tests/suite/certs-coverage/id:000078,src:000001,op:arith8,pos:57,val:-33,+cov Binary files differnew file mode 100644 index 0000000000..e3d43bf02e --- /dev/null +++ b/tests/suite/certs-coverage/id:000078,src:000001,op:arith8,pos:57,val:-33,+cov diff --git a/tests/suite/certs-coverage/id:000095,src:000000+000001,op:splice,rep:4,+cov b/tests/suite/certs-coverage/id:000095,src:000000+000001,op:splice,rep:4,+cov Binary files differnew file mode 100644 index 0000000000..e123947917 --- /dev/null +++ b/tests/suite/certs-coverage/id:000095,src:000000+000001,op:splice,rep:4,+cov diff --git a/tests/suite/certs-coverage/id:000110,src:000001,op:havoc,rep:2,+cov b/tests/suite/certs-coverage/id:000110,src:000001,op:havoc,rep:2,+cov Binary files differnew file mode 100644 index 0000000000..0943d2b4ab --- /dev/null +++ b/tests/suite/certs-coverage/id:000110,src:000001,op:havoc,rep:2,+cov diff --git a/tests/suite/certs-coverage/id:000124,src:000000+000001,op:splice,rep:2 b/tests/suite/certs-coverage/id:000124,src:000000+000001,op:splice,rep:2 Binary files differnew file mode 100644 index 0000000000..ae90d36ae4 --- /dev/null +++ b/tests/suite/certs-coverage/id:000124,src:000000+000001,op:splice,rep:2 diff --git a/tests/suite/certs-coverage/id:000126,src:000002,op:flip1,pos:152 b/tests/suite/certs-coverage/id:000126,src:000002,op:flip1,pos:152 Binary files differnew file mode 100644 index 0000000000..8db61f8dfe --- /dev/null +++ b/tests/suite/certs-coverage/id:000126,src:000002,op:flip1,pos:152 diff --git a/tests/suite/certs-coverage/id:000137,src:000002,op:flip1,pos:473,+cov b/tests/suite/certs-coverage/id:000137,src:000002,op:flip1,pos:473,+cov Binary files differnew file mode 100644 index 0000000000..388f532b4b --- /dev/null +++ b/tests/suite/certs-coverage/id:000137,src:000002,op:flip1,pos:473,+cov diff --git a/tests/suite/certs-coverage/id:000152,src:000002,op:flip2,pos:470 b/tests/suite/certs-coverage/id:000152,src:000002,op:flip2,pos:470 Binary files differnew file mode 100644 index 0000000000..0d25074cad --- /dev/null +++ b/tests/suite/certs-coverage/id:000152,src:000002,op:flip2,pos:470 diff --git a/tests/suite/certs-coverage/id:000175,sync:fuzzer02,src:000027 b/tests/suite/certs-coverage/id:000175,sync:fuzzer02,src:000027 Binary files differnew file mode 100644 index 0000000000..7d023c6f3e --- /dev/null +++ b/tests/suite/certs-coverage/id:000175,sync:fuzzer02,src:000027 diff --git a/tests/suite/certs-coverage/id:000187,src:000002,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000187,src:000002,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..61789f4b52 --- /dev/null +++ b/tests/suite/certs-coverage/id:000187,src:000002,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000188,sync:fuzzer03,src:000186 b/tests/suite/certs-coverage/id:000188,sync:fuzzer03,src:000186 Binary files differnew file mode 100644 index 0000000000..e6ab7dd5c9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000188,sync:fuzzer03,src:000186 diff --git a/tests/suite/certs-coverage/id:000196,sync:fuzzer02,src:000087 b/tests/suite/certs-coverage/id:000196,sync:fuzzer02,src:000087 Binary files differnew file mode 100644 index 0000000000..f1893632be --- /dev/null +++ b/tests/suite/certs-coverage/id:000196,sync:fuzzer02,src:000087 diff --git a/tests/suite/certs-coverage/id:000197,sync:fuzzer03,src:000072,+cov b/tests/suite/certs-coverage/id:000197,sync:fuzzer03,src:000072,+cov Binary files differnew file mode 100644 index 0000000000..0a87deb9fd --- /dev/null +++ b/tests/suite/certs-coverage/id:000197,sync:fuzzer03,src:000072,+cov diff --git a/tests/suite/certs-coverage/id:000199,sync:fuzzer02,src:000011 b/tests/suite/certs-coverage/id:000199,sync:fuzzer02,src:000011 Binary files differnew file mode 100644 index 0000000000..c8cb5867dc --- /dev/null +++ b/tests/suite/certs-coverage/id:000199,sync:fuzzer02,src:000011 diff --git a/tests/suite/certs-coverage/id:000200,src:000002,op:havoc,rep:8 b/tests/suite/certs-coverage/id:000200,src:000002,op:havoc,rep:8 Binary files differnew file mode 100644 index 0000000000..b0c5137de5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000200,src:000002,op:havoc,rep:8 diff --git a/tests/suite/certs-coverage/id:000201,src:000002,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000201,src:000002,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..b59cd9e708 --- /dev/null +++ b/tests/suite/certs-coverage/id:000201,src:000002,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000204,sync:fuzzer01,src:000037,+cov b/tests/suite/certs-coverage/id:000204,sync:fuzzer01,src:000037,+cov Binary files differnew file mode 100644 index 0000000000..c414dec0cc --- /dev/null +++ b/tests/suite/certs-coverage/id:000204,sync:fuzzer01,src:000037,+cov diff --git a/tests/suite/certs-coverage/id:000208,sync:fuzzer03,src:000190 b/tests/suite/certs-coverage/id:000208,sync:fuzzer03,src:000190 Binary files differnew file mode 100644 index 0000000000..2c38a210fa --- /dev/null +++ b/tests/suite/certs-coverage/id:000208,sync:fuzzer03,src:000190 diff --git a/tests/suite/certs-coverage/id:000209,src:000003,op:flip1,pos:156 b/tests/suite/certs-coverage/id:000209,src:000003,op:flip1,pos:156 Binary files differnew file mode 100644 index 0000000000..4504e866ab --- /dev/null +++ b/tests/suite/certs-coverage/id:000209,src:000003,op:flip1,pos:156 diff --git a/tests/suite/certs-coverage/id:000209,sync:fuzzer03,src:000185 b/tests/suite/certs-coverage/id:000209,sync:fuzzer03,src:000185 Binary files differnew file mode 100644 index 0000000000..00f6dab2a7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000209,sync:fuzzer03,src:000185 diff --git a/tests/suite/certs-coverage/id:000210,sync:fuzzer03,src:000062 b/tests/suite/certs-coverage/id:000210,sync:fuzzer03,src:000062 Binary files differnew file mode 100644 index 0000000000..e0965616b9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000210,sync:fuzzer03,src:000062 diff --git a/tests/suite/certs-coverage/id:000213,sync:fuzzer03,src:000198 b/tests/suite/certs-coverage/id:000213,sync:fuzzer03,src:000198 Binary files differnew file mode 100644 index 0000000000..cf6cfcadf5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000213,sync:fuzzer03,src:000198 diff --git a/tests/suite/certs-coverage/id:000214,sync:fuzzer01,src:000025 b/tests/suite/certs-coverage/id:000214,sync:fuzzer01,src:000025 Binary files differnew file mode 100644 index 0000000000..4591f5d00f --- /dev/null +++ b/tests/suite/certs-coverage/id:000214,sync:fuzzer01,src:000025 diff --git a/tests/suite/certs-coverage/id:000215,sync:fuzzer01,src:000087 b/tests/suite/certs-coverage/id:000215,sync:fuzzer01,src:000087 Binary files differnew file mode 100644 index 0000000000..d5b5dc0172 --- /dev/null +++ b/tests/suite/certs-coverage/id:000215,sync:fuzzer01,src:000087 diff --git a/tests/suite/certs-coverage/id:000216,sync:fuzzer01,src:000069 b/tests/suite/certs-coverage/id:000216,sync:fuzzer01,src:000069 Binary files differnew file mode 100644 index 0000000000..ce00a4fb8a --- /dev/null +++ b/tests/suite/certs-coverage/id:000216,sync:fuzzer01,src:000069 diff --git a/tests/suite/certs-coverage/id:000217,src:000003,op:flip4,pos:140,+cov b/tests/suite/certs-coverage/id:000217,src:000003,op:flip4,pos:140,+cov Binary files differnew file mode 100644 index 0000000000..9918f4fa97 --- /dev/null +++ b/tests/suite/certs-coverage/id:000217,src:000003,op:flip4,pos:140,+cov diff --git a/tests/suite/certs-coverage/id:000217,sync:fuzzer03,src:000094,+cov b/tests/suite/certs-coverage/id:000217,sync:fuzzer03,src:000094,+cov Binary files differnew file mode 100644 index 0000000000..ddb42e6e18 --- /dev/null +++ b/tests/suite/certs-coverage/id:000217,sync:fuzzer03,src:000094,+cov diff --git a/tests/suite/certs-coverage/id:000219,sync:fuzzer03,src:000216,+cov b/tests/suite/certs-coverage/id:000219,sync:fuzzer03,src:000216,+cov Binary files differnew file mode 100644 index 0000000000..876f120b94 --- /dev/null +++ b/tests/suite/certs-coverage/id:000219,sync:fuzzer03,src:000216,+cov diff --git a/tests/suite/certs-coverage/id:000221,sync:fuzzer03,src:000219,+cov b/tests/suite/certs-coverage/id:000221,sync:fuzzer03,src:000219,+cov Binary files differnew file mode 100644 index 0000000000..40ff7dcb1e --- /dev/null +++ b/tests/suite/certs-coverage/id:000221,sync:fuzzer03,src:000219,+cov diff --git a/tests/suite/certs-coverage/id:000222,sync:fuzzer03,src:000201,+cov b/tests/suite/certs-coverage/id:000222,sync:fuzzer03,src:000201,+cov Binary files differnew file mode 100644 index 0000000000..56f9289c6e --- /dev/null +++ b/tests/suite/certs-coverage/id:000222,sync:fuzzer03,src:000201,+cov diff --git a/tests/suite/certs-coverage/id:000223,sync:fuzzer03,src:000041 b/tests/suite/certs-coverage/id:000223,sync:fuzzer03,src:000041 Binary files differnew file mode 100644 index 0000000000..2cfa8efb71 --- /dev/null +++ b/tests/suite/certs-coverage/id:000223,sync:fuzzer03,src:000041 diff --git a/tests/suite/certs-coverage/id:000228,sync:fuzzer03,src:000173 b/tests/suite/certs-coverage/id:000228,sync:fuzzer03,src:000173 Binary files differnew file mode 100644 index 0000000000..7cccd15f73 --- /dev/null +++ b/tests/suite/certs-coverage/id:000228,sync:fuzzer03,src:000173 diff --git a/tests/suite/certs-coverage/id:000229,sync:fuzzer03,src:000147 b/tests/suite/certs-coverage/id:000229,sync:fuzzer03,src:000147 Binary files differnew file mode 100644 index 0000000000..fae924d26e --- /dev/null +++ b/tests/suite/certs-coverage/id:000229,sync:fuzzer03,src:000147 diff --git a/tests/suite/certs-coverage/id:000229,sync:fuzzer03,src:000178,+cov b/tests/suite/certs-coverage/id:000229,sync:fuzzer03,src:000178,+cov Binary files differnew file mode 100644 index 0000000000..f2d9bf2255 --- /dev/null +++ b/tests/suite/certs-coverage/id:000229,sync:fuzzer03,src:000178,+cov diff --git a/tests/suite/certs-coverage/id:000241,sync:fuzzer03,src:000200,+cov b/tests/suite/certs-coverage/id:000241,sync:fuzzer03,src:000200,+cov Binary files differnew file mode 100644 index 0000000000..7e34dbb87d --- /dev/null +++ b/tests/suite/certs-coverage/id:000241,sync:fuzzer03,src:000200,+cov diff --git a/tests/suite/certs-coverage/id:000267,sync:fuzzer03,src:000166 b/tests/suite/certs-coverage/id:000267,sync:fuzzer03,src:000166 Binary files differnew file mode 100644 index 0000000000..2ff90d05eb --- /dev/null +++ b/tests/suite/certs-coverage/id:000267,sync:fuzzer03,src:000166 diff --git a/tests/suite/certs-coverage/id:000273,sync:fuzzer03,src:000188 b/tests/suite/certs-coverage/id:000273,sync:fuzzer03,src:000188 Binary files differnew file mode 100644 index 0000000000..e624db3e84 --- /dev/null +++ b/tests/suite/certs-coverage/id:000273,sync:fuzzer03,src:000188 diff --git a/tests/suite/certs-coverage/id:000277,sync:fuzzer03,src:000197,+cov b/tests/suite/certs-coverage/id:000277,sync:fuzzer03,src:000197,+cov Binary files differnew file mode 100644 index 0000000000..cb9d7d3f11 --- /dev/null +++ b/tests/suite/certs-coverage/id:000277,sync:fuzzer03,src:000197,+cov diff --git a/tests/suite/certs-coverage/id:000301,src:000004,op:havoc,rep:8 b/tests/suite/certs-coverage/id:000301,src:000004,op:havoc,rep:8 Binary files differnew file mode 100644 index 0000000000..134fd265c2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000301,src:000004,op:havoc,rep:8 diff --git a/tests/suite/certs-coverage/id:000301,sync:fuzzer07,src:000292 b/tests/suite/certs-coverage/id:000301,sync:fuzzer07,src:000292 Binary files differnew file mode 100644 index 0000000000..22d23f8c47 --- /dev/null +++ b/tests/suite/certs-coverage/id:000301,sync:fuzzer07,src:000292 diff --git a/tests/suite/certs-coverage/id:000303,src:000005,op:flip1,pos:241,+cov b/tests/suite/certs-coverage/id:000303,src:000005,op:flip1,pos:241,+cov Binary files differnew file mode 100644 index 0000000000..8ffbf74834 --- /dev/null +++ b/tests/suite/certs-coverage/id:000303,src:000005,op:flip1,pos:241,+cov diff --git a/tests/suite/certs-coverage/id:000312,src:000008,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000312,src:000008,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..e6409f5627 --- /dev/null +++ b/tests/suite/certs-coverage/id:000312,src:000008,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000313,src:000005,op:arith8,pos:265,val:-7,+cov b/tests/suite/certs-coverage/id:000313,src:000005,op:arith8,pos:265,val:-7,+cov Binary files differnew file mode 100644 index 0000000000..e75a9897b1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000313,src:000005,op:arith8,pos:265,val:-7,+cov diff --git a/tests/suite/certs-coverage/id:000320,sync:fuzzer03,src:000112 b/tests/suite/certs-coverage/id:000320,sync:fuzzer03,src:000112 Binary files differnew file mode 100644 index 0000000000..12e84efb19 --- /dev/null +++ b/tests/suite/certs-coverage/id:000320,sync:fuzzer03,src:000112 diff --git a/tests/suite/certs-coverage/id:000325,src:000008,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000325,src:000008,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..a14e73c80c --- /dev/null +++ b/tests/suite/certs-coverage/id:000325,src:000008,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000327,sync:fuzzer08,src:000300 b/tests/suite/certs-coverage/id:000327,sync:fuzzer08,src:000300 Binary files differnew file mode 100644 index 0000000000..30165fd04a --- /dev/null +++ b/tests/suite/certs-coverage/id:000327,sync:fuzzer08,src:000300 diff --git a/tests/suite/certs-coverage/id:000328,sync:fuzzer08,src:000296 b/tests/suite/certs-coverage/id:000328,sync:fuzzer08,src:000296 Binary files differnew file mode 100644 index 0000000000..8db3db0ade --- /dev/null +++ b/tests/suite/certs-coverage/id:000328,sync:fuzzer08,src:000296 diff --git a/tests/suite/certs-coverage/id:000330,src:000008,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000330,src:000008,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..a2910505b0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000330,src:000008,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000336,sync:fuzzer03,src:000222 b/tests/suite/certs-coverage/id:000336,sync:fuzzer03,src:000222 Binary files differnew file mode 100644 index 0000000000..714cf10c0a --- /dev/null +++ b/tests/suite/certs-coverage/id:000336,sync:fuzzer03,src:000222 diff --git a/tests/suite/certs-coverage/id:000342,sync:fuzzer03,src:000159 b/tests/suite/certs-coverage/id:000342,sync:fuzzer03,src:000159 Binary files differnew file mode 100644 index 0000000000..23d341abfc --- /dev/null +++ b/tests/suite/certs-coverage/id:000342,sync:fuzzer03,src:000159 diff --git a/tests/suite/certs-coverage/id:000348,sync:fuzzer03,src:000256,+cov b/tests/suite/certs-coverage/id:000348,sync:fuzzer03,src:000256,+cov Binary files differnew file mode 100644 index 0000000000..2b40cccc89 --- /dev/null +++ b/tests/suite/certs-coverage/id:000348,sync:fuzzer03,src:000256,+cov diff --git a/tests/suite/certs-coverage/id:000349,sync:fuzzer04,src:000327 b/tests/suite/certs-coverage/id:000349,sync:fuzzer04,src:000327 Binary files differnew file mode 100644 index 0000000000..f16de15473 --- /dev/null +++ b/tests/suite/certs-coverage/id:000349,sync:fuzzer04,src:000327 diff --git a/tests/suite/certs-coverage/id:000350,sync:fuzzer03,src:000338 b/tests/suite/certs-coverage/id:000350,sync:fuzzer03,src:000338 Binary files differnew file mode 100644 index 0000000000..7dcaecb6cb --- /dev/null +++ b/tests/suite/certs-coverage/id:000350,sync:fuzzer03,src:000338 diff --git a/tests/suite/certs-coverage/id:000354,sync:fuzzer03,src:000234 b/tests/suite/certs-coverage/id:000354,sync:fuzzer03,src:000234 Binary files differnew file mode 100644 index 0000000000..00c59abcd3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000354,sync:fuzzer03,src:000234 diff --git a/tests/suite/certs-coverage/id:000358,sync:fuzzer03,src:000120,+cov b/tests/suite/certs-coverage/id:000358,sync:fuzzer03,src:000120,+cov Binary files differnew file mode 100644 index 0000000000..767e480638 --- /dev/null +++ b/tests/suite/certs-coverage/id:000358,sync:fuzzer03,src:000120,+cov diff --git a/tests/suite/certs-coverage/id:000360,sync:fuzzer05,src:000306,+cov b/tests/suite/certs-coverage/id:000360,sync:fuzzer05,src:000306,+cov Binary files differnew file mode 100644 index 0000000000..0dde1ab7ca --- /dev/null +++ b/tests/suite/certs-coverage/id:000360,sync:fuzzer05,src:000306,+cov diff --git a/tests/suite/certs-coverage/id:000365,sync:fuzzer03,src:000269 b/tests/suite/certs-coverage/id:000365,sync:fuzzer03,src:000269 Binary files differnew file mode 100644 index 0000000000..8369fd9f6e --- /dev/null +++ b/tests/suite/certs-coverage/id:000365,sync:fuzzer03,src:000269 diff --git a/tests/suite/certs-coverage/id:000365,sync:fuzzer03,src:000307 b/tests/suite/certs-coverage/id:000365,sync:fuzzer03,src:000307 Binary files differnew file mode 100644 index 0000000000..682601be70 --- /dev/null +++ b/tests/suite/certs-coverage/id:000365,sync:fuzzer03,src:000307 diff --git a/tests/suite/certs-coverage/id:000368,sync:fuzzer03,src:000268,+cov b/tests/suite/certs-coverage/id:000368,sync:fuzzer03,src:000268,+cov Binary files differnew file mode 100644 index 0000000000..a1fddb59fe --- /dev/null +++ b/tests/suite/certs-coverage/id:000368,sync:fuzzer03,src:000268,+cov diff --git a/tests/suite/certs-coverage/id:000373,sync:fuzzer03,src:000300,+cov b/tests/suite/certs-coverage/id:000373,sync:fuzzer03,src:000300,+cov Binary files differnew file mode 100644 index 0000000000..83760d8425 --- /dev/null +++ b/tests/suite/certs-coverage/id:000373,sync:fuzzer03,src:000300,+cov diff --git a/tests/suite/certs-coverage/id:000374,sync:fuzzer03,src:000311 b/tests/suite/certs-coverage/id:000374,sync:fuzzer03,src:000311 Binary files differnew file mode 100644 index 0000000000..6a3a4cbde0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000374,sync:fuzzer03,src:000311 diff --git a/tests/suite/certs-coverage/id:000383,sync:fuzzer03,src:000236,+cov b/tests/suite/certs-coverage/id:000383,sync:fuzzer03,src:000236,+cov Binary files differnew file mode 100644 index 0000000000..68a1dbb04c --- /dev/null +++ b/tests/suite/certs-coverage/id:000383,sync:fuzzer03,src:000236,+cov diff --git a/tests/suite/certs-coverage/id:000385,sync:fuzzer03,src:000272 b/tests/suite/certs-coverage/id:000385,sync:fuzzer03,src:000272 Binary files differnew file mode 100644 index 0000000000..6709f5acc1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000385,sync:fuzzer03,src:000272 diff --git a/tests/suite/certs-coverage/id:000386,sync:fuzzer03,src:000281,+cov b/tests/suite/certs-coverage/id:000386,sync:fuzzer03,src:000281,+cov Binary files differnew file mode 100644 index 0000000000..977f81d594 --- /dev/null +++ b/tests/suite/certs-coverage/id:000386,sync:fuzzer03,src:000281,+cov diff --git a/tests/suite/certs-coverage/id:000388,sync:fuzzer03,src:000344,+cov b/tests/suite/certs-coverage/id:000388,sync:fuzzer03,src:000344,+cov Binary files differnew file mode 100644 index 0000000000..25c9a580a1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000388,sync:fuzzer03,src:000344,+cov diff --git a/tests/suite/certs-coverage/id:000389,sync:fuzzer03,src:000322 b/tests/suite/certs-coverage/id:000389,sync:fuzzer03,src:000322 Binary files differnew file mode 100644 index 0000000000..ded8b32279 --- /dev/null +++ b/tests/suite/certs-coverage/id:000389,sync:fuzzer03,src:000322 diff --git a/tests/suite/certs-coverage/id:000391,sync:fuzzer03,src:000239 b/tests/suite/certs-coverage/id:000391,sync:fuzzer03,src:000239 Binary files differnew file mode 100644 index 0000000000..0d1b65badd --- /dev/null +++ b/tests/suite/certs-coverage/id:000391,sync:fuzzer03,src:000239 diff --git a/tests/suite/certs-coverage/id:000392,sync:fuzzer08,src:000384 b/tests/suite/certs-coverage/id:000392,sync:fuzzer08,src:000384 Binary files differnew file mode 100644 index 0000000000..b3c01e88ff --- /dev/null +++ b/tests/suite/certs-coverage/id:000392,sync:fuzzer08,src:000384 diff --git a/tests/suite/certs-coverage/id:000393,sync:fuzzer03,src:000331 b/tests/suite/certs-coverage/id:000393,sync:fuzzer03,src:000331 Binary files differnew file mode 100644 index 0000000000..481b4cf4ed --- /dev/null +++ b/tests/suite/certs-coverage/id:000393,sync:fuzzer03,src:000331 diff --git a/tests/suite/certs-coverage/id:000393,sync:fuzzer07,src:000282 b/tests/suite/certs-coverage/id:000393,sync:fuzzer07,src:000282 Binary files differnew file mode 100644 index 0000000000..f0e5dfdb5d --- /dev/null +++ b/tests/suite/certs-coverage/id:000393,sync:fuzzer07,src:000282 diff --git a/tests/suite/certs-coverage/id:000394,sync:fuzzer07,src:000385,+cov b/tests/suite/certs-coverage/id:000394,sync:fuzzer07,src:000385,+cov Binary files differnew file mode 100644 index 0000000000..95d9192846 --- /dev/null +++ b/tests/suite/certs-coverage/id:000394,sync:fuzzer07,src:000385,+cov diff --git a/tests/suite/certs-coverage/id:000397,sync:fuzzer03,src:000226 b/tests/suite/certs-coverage/id:000397,sync:fuzzer03,src:000226 Binary files differnew file mode 100644 index 0000000000..151f350d09 --- /dev/null +++ b/tests/suite/certs-coverage/id:000397,sync:fuzzer03,src:000226 diff --git a/tests/suite/certs-coverage/id:000397,sync:fuzzer07,src:000373 b/tests/suite/certs-coverage/id:000397,sync:fuzzer07,src:000373 Binary files differnew file mode 100644 index 0000000000..4289f23120 --- /dev/null +++ b/tests/suite/certs-coverage/id:000397,sync:fuzzer07,src:000373 diff --git a/tests/suite/certs-coverage/id:000399,sync:fuzzer03,src:000327,+cov b/tests/suite/certs-coverage/id:000399,sync:fuzzer03,src:000327,+cov Binary files differnew file mode 100644 index 0000000000..dad6b4ad7f --- /dev/null +++ b/tests/suite/certs-coverage/id:000399,sync:fuzzer03,src:000327,+cov diff --git a/tests/suite/certs-coverage/id:000402,sync:fuzzer07,src:000361,+cov b/tests/suite/certs-coverage/id:000402,sync:fuzzer07,src:000361,+cov Binary files differnew file mode 100644 index 0000000000..eb0478693d --- /dev/null +++ b/tests/suite/certs-coverage/id:000402,sync:fuzzer07,src:000361,+cov diff --git a/tests/suite/certs-coverage/id:000403,sync:fuzzer07,src:000393,+cov b/tests/suite/certs-coverage/id:000403,sync:fuzzer07,src:000393,+cov Binary files differnew file mode 100644 index 0000000000..f4d48f987e --- /dev/null +++ b/tests/suite/certs-coverage/id:000403,sync:fuzzer07,src:000393,+cov diff --git a/tests/suite/certs-coverage/id:000406,sync:fuzzer07,src:000370 b/tests/suite/certs-coverage/id:000406,sync:fuzzer07,src:000370 Binary files differnew file mode 100644 index 0000000000..ece5a59d2d --- /dev/null +++ b/tests/suite/certs-coverage/id:000406,sync:fuzzer07,src:000370 diff --git a/tests/suite/certs-coverage/id:000407,sync:fuzzer03,src:000230 b/tests/suite/certs-coverage/id:000407,sync:fuzzer03,src:000230 Binary files differnew file mode 100644 index 0000000000..ba8c19bd03 --- /dev/null +++ b/tests/suite/certs-coverage/id:000407,sync:fuzzer03,src:000230 diff --git a/tests/suite/certs-coverage/id:000407,sync:fuzzer07,src:000403,+cov b/tests/suite/certs-coverage/id:000407,sync:fuzzer07,src:000403,+cov Binary files differnew file mode 100644 index 0000000000..ddfb1a3221 --- /dev/null +++ b/tests/suite/certs-coverage/id:000407,sync:fuzzer07,src:000403,+cov diff --git a/tests/suite/certs-coverage/id:000409,sync:fuzzer07,src:000367,+cov b/tests/suite/certs-coverage/id:000409,sync:fuzzer07,src:000367,+cov Binary files differnew file mode 100644 index 0000000000..c133f29cea --- /dev/null +++ b/tests/suite/certs-coverage/id:000409,sync:fuzzer07,src:000367,+cov diff --git a/tests/suite/certs-coverage/id:000412,sync:fuzzer07,src:000307,+cov b/tests/suite/certs-coverage/id:000412,sync:fuzzer07,src:000307,+cov Binary files differnew file mode 100644 index 0000000000..1d6b5c895e --- /dev/null +++ b/tests/suite/certs-coverage/id:000412,sync:fuzzer07,src:000307,+cov diff --git a/tests/suite/certs-coverage/id:000414,sync:fuzzer03,src:000107,+cov b/tests/suite/certs-coverage/id:000414,sync:fuzzer03,src:000107,+cov Binary files differnew file mode 100644 index 0000000000..1c06619d8b --- /dev/null +++ b/tests/suite/certs-coverage/id:000414,sync:fuzzer03,src:000107,+cov diff --git a/tests/suite/certs-coverage/id:000414,sync:fuzzer07,src:000355 b/tests/suite/certs-coverage/id:000414,sync:fuzzer07,src:000355 Binary files differnew file mode 100644 index 0000000000..c7ec25f3ee --- /dev/null +++ b/tests/suite/certs-coverage/id:000414,sync:fuzzer07,src:000355 diff --git a/tests/suite/certs-coverage/id:000423,sync:fuzzer03,src:000339,+cov b/tests/suite/certs-coverage/id:000423,sync:fuzzer03,src:000339,+cov Binary files differnew file mode 100644 index 0000000000..08ea765e86 --- /dev/null +++ b/tests/suite/certs-coverage/id:000423,sync:fuzzer03,src:000339,+cov diff --git a/tests/suite/certs-coverage/id:000424,sync:fuzzer07,src:000294 b/tests/suite/certs-coverage/id:000424,sync:fuzzer07,src:000294 Binary files differnew file mode 100644 index 0000000000..beca0623f2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000424,sync:fuzzer07,src:000294 diff --git a/tests/suite/certs-coverage/id:000426,sync:fuzzer07,src:000408,+cov b/tests/suite/certs-coverage/id:000426,sync:fuzzer07,src:000408,+cov Binary files differnew file mode 100644 index 0000000000..461755f060 --- /dev/null +++ b/tests/suite/certs-coverage/id:000426,sync:fuzzer07,src:000408,+cov diff --git a/tests/suite/certs-coverage/id:000431,sync:fuzzer03,src:000354 b/tests/suite/certs-coverage/id:000431,sync:fuzzer03,src:000354 Binary files differnew file mode 100644 index 0000000000..47f5d78cdb --- /dev/null +++ b/tests/suite/certs-coverage/id:000431,sync:fuzzer03,src:000354 diff --git a/tests/suite/certs-coverage/id:000432,sync:fuzzer08,src:000405,+cov b/tests/suite/certs-coverage/id:000432,sync:fuzzer08,src:000405,+cov Binary files differnew file mode 100644 index 0000000000..0db418b4ad --- /dev/null +++ b/tests/suite/certs-coverage/id:000432,sync:fuzzer08,src:000405,+cov diff --git a/tests/suite/certs-coverage/id:000437,sync:fuzzer05,src:000434 b/tests/suite/certs-coverage/id:000437,sync:fuzzer05,src:000434 Binary files differnew file mode 100644 index 0000000000..9918fad07b --- /dev/null +++ b/tests/suite/certs-coverage/id:000437,sync:fuzzer05,src:000434 diff --git a/tests/suite/certs-coverage/id:000440,sync:fuzzer03,src:000399,+cov b/tests/suite/certs-coverage/id:000440,sync:fuzzer03,src:000399,+cov Binary files differnew file mode 100644 index 0000000000..cef4a6ce8e --- /dev/null +++ b/tests/suite/certs-coverage/id:000440,sync:fuzzer03,src:000399,+cov diff --git a/tests/suite/certs-coverage/id:000442,sync:fuzzer05,src:000424 b/tests/suite/certs-coverage/id:000442,sync:fuzzer05,src:000424 Binary files differnew file mode 100644 index 0000000000..dedf54afdf --- /dev/null +++ b/tests/suite/certs-coverage/id:000442,sync:fuzzer05,src:000424 diff --git a/tests/suite/certs-coverage/id:000442,sync:fuzzer07,src:000374,+cov b/tests/suite/certs-coverage/id:000442,sync:fuzzer07,src:000374,+cov Binary files differnew file mode 100644 index 0000000000..25da2fa6e3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000442,sync:fuzzer07,src:000374,+cov diff --git a/tests/suite/certs-coverage/id:000443,sync:fuzzer03,src:000439 b/tests/suite/certs-coverage/id:000443,sync:fuzzer03,src:000439 Binary files differnew file mode 100644 index 0000000000..78d2aecee6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000443,sync:fuzzer03,src:000439 diff --git a/tests/suite/certs-coverage/id:000444,src:000033,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000444,src:000033,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..40a6bb4b52 --- /dev/null +++ b/tests/suite/certs-coverage/id:000444,src:000033,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000444,sync:fuzzer07,src:000383,+cov b/tests/suite/certs-coverage/id:000444,sync:fuzzer07,src:000383,+cov Binary files differnew file mode 100644 index 0000000000..886b55eeb7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000444,sync:fuzzer07,src:000383,+cov diff --git a/tests/suite/certs-coverage/id:000445,sync:fuzzer07,src:000431,+cov b/tests/suite/certs-coverage/id:000445,sync:fuzzer07,src:000431,+cov Binary files differnew file mode 100644 index 0000000000..7f974e5fd1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000445,sync:fuzzer07,src:000431,+cov diff --git a/tests/suite/certs-coverage/id:000446,sync:fuzzer03,src:000280 b/tests/suite/certs-coverage/id:000446,sync:fuzzer03,src:000280 Binary files differnew file mode 100644 index 0000000000..4226fcbad0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000446,sync:fuzzer03,src:000280 diff --git a/tests/suite/certs-coverage/id:000449,sync:fuzzer05,src:000326,+cov b/tests/suite/certs-coverage/id:000449,sync:fuzzer05,src:000326,+cov Binary files differnew file mode 100644 index 0000000000..b886411f55 --- /dev/null +++ b/tests/suite/certs-coverage/id:000449,sync:fuzzer05,src:000326,+cov diff --git a/tests/suite/certs-coverage/id:000451,sync:fuzzer07,src:000404 b/tests/suite/certs-coverage/id:000451,sync:fuzzer07,src:000404 Binary files differnew file mode 100644 index 0000000000..6b2c4a002f --- /dev/null +++ b/tests/suite/certs-coverage/id:000451,sync:fuzzer07,src:000404 diff --git a/tests/suite/certs-coverage/id:000452,sync:fuzzer07,src:000364 b/tests/suite/certs-coverage/id:000452,sync:fuzzer07,src:000364 Binary files differnew file mode 100644 index 0000000000..10db063b20 --- /dev/null +++ b/tests/suite/certs-coverage/id:000452,sync:fuzzer07,src:000364 diff --git a/tests/suite/certs-coverage/id:000454,sync:fuzzer07,src:000284,+cov b/tests/suite/certs-coverage/id:000454,sync:fuzzer07,src:000284,+cov Binary files differnew file mode 100644 index 0000000000..a9905d30f1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000454,sync:fuzzer07,src:000284,+cov diff --git a/tests/suite/certs-coverage/id:000455,sync:fuzzer03,src:000321 b/tests/suite/certs-coverage/id:000455,sync:fuzzer03,src:000321 Binary files differnew file mode 100644 index 0000000000..fe8f8dc24c --- /dev/null +++ b/tests/suite/certs-coverage/id:000455,sync:fuzzer03,src:000321 diff --git a/tests/suite/certs-coverage/id:000455,sync:fuzzer07,src:000395,+cov b/tests/suite/certs-coverage/id:000455,sync:fuzzer07,src:000395,+cov Binary files differnew file mode 100644 index 0000000000..f5e26b4592 --- /dev/null +++ b/tests/suite/certs-coverage/id:000455,sync:fuzzer07,src:000395,+cov diff --git a/tests/suite/certs-coverage/id:000457,sync:fuzzer03,src:000409,+cov b/tests/suite/certs-coverage/id:000457,sync:fuzzer03,src:000409,+cov Binary files differnew file mode 100644 index 0000000000..a67a09395c --- /dev/null +++ b/tests/suite/certs-coverage/id:000457,sync:fuzzer03,src:000409,+cov diff --git a/tests/suite/certs-coverage/id:000457,sync:fuzzer07,src:000286 b/tests/suite/certs-coverage/id:000457,sync:fuzzer07,src:000286 Binary files differnew file mode 100644 index 0000000000..2b17f41985 --- /dev/null +++ b/tests/suite/certs-coverage/id:000457,sync:fuzzer07,src:000286 diff --git a/tests/suite/certs-coverage/id:000458,sync:fuzzer03,src:000385,+cov b/tests/suite/certs-coverage/id:000458,sync:fuzzer03,src:000385,+cov Binary files differnew file mode 100644 index 0000000000..f9b23bdbe9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000458,sync:fuzzer03,src:000385,+cov diff --git a/tests/suite/certs-coverage/id:000458,sync:fuzzer03,src:000448,+cov b/tests/suite/certs-coverage/id:000458,sync:fuzzer03,src:000448,+cov Binary files differnew file mode 100644 index 0000000000..f2cff993d5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000458,sync:fuzzer03,src:000448,+cov diff --git a/tests/suite/certs-coverage/id:000458,sync:fuzzer08,src:000439 b/tests/suite/certs-coverage/id:000458,sync:fuzzer08,src:000439 Binary files differnew file mode 100644 index 0000000000..ff9673dc73 --- /dev/null +++ b/tests/suite/certs-coverage/id:000458,sync:fuzzer08,src:000439 diff --git a/tests/suite/certs-coverage/id:000460,sync:fuzzer07,src:000435,+cov b/tests/suite/certs-coverage/id:000460,sync:fuzzer07,src:000435,+cov Binary files differnew file mode 100644 index 0000000000..82c6fb6179 --- /dev/null +++ b/tests/suite/certs-coverage/id:000460,sync:fuzzer07,src:000435,+cov diff --git a/tests/suite/certs-coverage/id:000462,sync:fuzzer07,src:000121 b/tests/suite/certs-coverage/id:000462,sync:fuzzer07,src:000121 Binary files differnew file mode 100644 index 0000000000..2bfccda598 --- /dev/null +++ b/tests/suite/certs-coverage/id:000462,sync:fuzzer07,src:000121 diff --git a/tests/suite/certs-coverage/id:000464,sync:fuzzer07,src:000461 b/tests/suite/certs-coverage/id:000464,sync:fuzzer07,src:000461 Binary files differnew file mode 100644 index 0000000000..ea57131707 --- /dev/null +++ b/tests/suite/certs-coverage/id:000464,sync:fuzzer07,src:000461 diff --git a/tests/suite/certs-coverage/id:000465,sync:fuzzer03,src:000172 b/tests/suite/certs-coverage/id:000465,sync:fuzzer03,src:000172 Binary files differnew file mode 100644 index 0000000000..f230a706f6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000465,sync:fuzzer03,src:000172 diff --git a/tests/suite/certs-coverage/id:000465,sync:fuzzer03,src:000398 b/tests/suite/certs-coverage/id:000465,sync:fuzzer03,src:000398 Binary files differnew file mode 100644 index 0000000000..80bfd9214f --- /dev/null +++ b/tests/suite/certs-coverage/id:000465,sync:fuzzer03,src:000398 diff --git a/tests/suite/certs-coverage/id:000466,sync:fuzzer07,src:000464 b/tests/suite/certs-coverage/id:000466,sync:fuzzer07,src:000464 Binary files differnew file mode 100644 index 0000000000..4d2da31aee --- /dev/null +++ b/tests/suite/certs-coverage/id:000466,sync:fuzzer07,src:000464 diff --git a/tests/suite/certs-coverage/id:000468,src:000021,op:havoc,rep:2,+cov b/tests/suite/certs-coverage/id:000468,src:000021,op:havoc,rep:2,+cov Binary files differnew file mode 100644 index 0000000000..f28d1b4fca --- /dev/null +++ b/tests/suite/certs-coverage/id:000468,src:000021,op:havoc,rep:2,+cov diff --git a/tests/suite/certs-coverage/id:000468,sync:fuzzer07,src:000357,+cov b/tests/suite/certs-coverage/id:000468,sync:fuzzer07,src:000357,+cov Binary files differnew file mode 100644 index 0000000000..c7bfb516cd --- /dev/null +++ b/tests/suite/certs-coverage/id:000468,sync:fuzzer07,src:000357,+cov diff --git a/tests/suite/certs-coverage/id:000469,sync:fuzzer01,src:000222 b/tests/suite/certs-coverage/id:000469,sync:fuzzer01,src:000222 Binary files differnew file mode 100644 index 0000000000..0b53ae76cb --- /dev/null +++ b/tests/suite/certs-coverage/id:000469,sync:fuzzer01,src:000222 diff --git a/tests/suite/certs-coverage/id:000469,sync:fuzzer03,src:000421,+cov b/tests/suite/certs-coverage/id:000469,sync:fuzzer03,src:000421,+cov Binary files differnew file mode 100644 index 0000000000..2c471ee26b --- /dev/null +++ b/tests/suite/certs-coverage/id:000469,sync:fuzzer03,src:000421,+cov diff --git a/tests/suite/certs-coverage/id:000469,sync:fuzzer07,src:000418 b/tests/suite/certs-coverage/id:000469,sync:fuzzer07,src:000418 Binary files differnew file mode 100644 index 0000000000..b88b55de59 --- /dev/null +++ b/tests/suite/certs-coverage/id:000469,sync:fuzzer07,src:000418 diff --git a/tests/suite/certs-coverage/id:000470,sync:fuzzer03,src:000348 b/tests/suite/certs-coverage/id:000470,sync:fuzzer03,src:000348 Binary files differnew file mode 100644 index 0000000000..e28aeca52b --- /dev/null +++ b/tests/suite/certs-coverage/id:000470,sync:fuzzer03,src:000348 diff --git a/tests/suite/certs-coverage/id:000470,sync:fuzzer07,src:000465 b/tests/suite/certs-coverage/id:000470,sync:fuzzer07,src:000465 Binary files differnew file mode 100644 index 0000000000..67f8041680 --- /dev/null +++ b/tests/suite/certs-coverage/id:000470,sync:fuzzer07,src:000465 diff --git a/tests/suite/certs-coverage/id:000471,sync:fuzzer07,src:000424 b/tests/suite/certs-coverage/id:000471,sync:fuzzer07,src:000424 Binary files differnew file mode 100644 index 0000000000..c6104862ea --- /dev/null +++ b/tests/suite/certs-coverage/id:000471,sync:fuzzer07,src:000424 diff --git a/tests/suite/certs-coverage/id:000472,sync:fuzzer04,src:000452 b/tests/suite/certs-coverage/id:000472,sync:fuzzer04,src:000452 Binary files differnew file mode 100644 index 0000000000..b00a6c6af2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000472,sync:fuzzer04,src:000452 diff --git a/tests/suite/certs-coverage/id:000473,src:000049,op:havoc,rep:8 b/tests/suite/certs-coverage/id:000473,src:000049,op:havoc,rep:8 Binary files differnew file mode 100644 index 0000000000..f8aa95c58a --- /dev/null +++ b/tests/suite/certs-coverage/id:000473,src:000049,op:havoc,rep:8 diff --git a/tests/suite/certs-coverage/id:000473,sync:fuzzer03,src:000319 b/tests/suite/certs-coverage/id:000473,sync:fuzzer03,src:000319 Binary files differnew file mode 100644 index 0000000000..275c0a8007 --- /dev/null +++ b/tests/suite/certs-coverage/id:000473,sync:fuzzer03,src:000319 diff --git a/tests/suite/certs-coverage/id:000473,sync:fuzzer07,src:000468 b/tests/suite/certs-coverage/id:000473,sync:fuzzer07,src:000468 Binary files differnew file mode 100644 index 0000000000..9b93c1975f --- /dev/null +++ b/tests/suite/certs-coverage/id:000473,sync:fuzzer07,src:000468 diff --git a/tests/suite/certs-coverage/id:000474,sync:fuzzer07,src:000416 b/tests/suite/certs-coverage/id:000474,sync:fuzzer07,src:000416 Binary files differnew file mode 100644 index 0000000000..604de9d790 --- /dev/null +++ b/tests/suite/certs-coverage/id:000474,sync:fuzzer07,src:000416 diff --git a/tests/suite/certs-coverage/id:000476,src:000059,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000476,src:000059,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..a39de98b4f --- /dev/null +++ b/tests/suite/certs-coverage/id:000476,src:000059,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000477,sync:fuzzer03,src:000431,+cov b/tests/suite/certs-coverage/id:000477,sync:fuzzer03,src:000431,+cov Binary files differnew file mode 100644 index 0000000000..8a873b2c34 --- /dev/null +++ b/tests/suite/certs-coverage/id:000477,sync:fuzzer03,src:000431,+cov diff --git a/tests/suite/certs-coverage/id:000480,sync:fuzzer03,src:000301 b/tests/suite/certs-coverage/id:000480,sync:fuzzer03,src:000301 Binary files differnew file mode 100644 index 0000000000..5058e212ba --- /dev/null +++ b/tests/suite/certs-coverage/id:000480,sync:fuzzer03,src:000301 diff --git a/tests/suite/certs-coverage/id:000482,sync:fuzzer03,src:000473 b/tests/suite/certs-coverage/id:000482,sync:fuzzer03,src:000473 Binary files differnew file mode 100644 index 0000000000..5160dc3a13 --- /dev/null +++ b/tests/suite/certs-coverage/id:000482,sync:fuzzer03,src:000473 diff --git a/tests/suite/certs-coverage/id:000486,sync:fuzzer03,src:000366,+cov b/tests/suite/certs-coverage/id:000486,sync:fuzzer03,src:000366,+cov Binary files differnew file mode 100644 index 0000000000..e5e90c6eb4 --- /dev/null +++ b/tests/suite/certs-coverage/id:000486,sync:fuzzer03,src:000366,+cov diff --git a/tests/suite/certs-coverage/id:000486,sync:fuzzer03,src:000471,+cov b/tests/suite/certs-coverage/id:000486,sync:fuzzer03,src:000471,+cov Binary files differnew file mode 100644 index 0000000000..e9f1adf308 --- /dev/null +++ b/tests/suite/certs-coverage/id:000486,sync:fuzzer03,src:000471,+cov diff --git a/tests/suite/certs-coverage/id:000487,sync:fuzzer03,src:000476 b/tests/suite/certs-coverage/id:000487,sync:fuzzer03,src:000476 Binary files differnew file mode 100644 index 0000000000..74ab8d43a3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000487,sync:fuzzer03,src:000476 diff --git a/tests/suite/certs-coverage/id:000488,sync:fuzzer03,src:000458 b/tests/suite/certs-coverage/id:000488,sync:fuzzer03,src:000458 Binary files differnew file mode 100644 index 0000000000..5a53ba88e0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000488,sync:fuzzer03,src:000458 diff --git a/tests/suite/certs-coverage/id:000489,sync:fuzzer03,src:000453 b/tests/suite/certs-coverage/id:000489,sync:fuzzer03,src:000453 Binary files differnew file mode 100644 index 0000000000..dbcf0d293f --- /dev/null +++ b/tests/suite/certs-coverage/id:000489,sync:fuzzer03,src:000453 diff --git a/tests/suite/certs-coverage/id:000491,sync:fuzzer03,src:000406 b/tests/suite/certs-coverage/id:000491,sync:fuzzer03,src:000406 Binary files differnew file mode 100644 index 0000000000..394a7bc063 --- /dev/null +++ b/tests/suite/certs-coverage/id:000491,sync:fuzzer03,src:000406 diff --git a/tests/suite/certs-coverage/id:000492,sync:fuzzer03,src:000141 b/tests/suite/certs-coverage/id:000492,sync:fuzzer03,src:000141 Binary files differnew file mode 100644 index 0000000000..b9de6824d0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000492,sync:fuzzer03,src:000141 diff --git a/tests/suite/certs-coverage/id:000493,sync:fuzzer03,src:000235 b/tests/suite/certs-coverage/id:000493,sync:fuzzer03,src:000235 Binary files differnew file mode 100644 index 0000000000..33ad19fc0d --- /dev/null +++ b/tests/suite/certs-coverage/id:000493,sync:fuzzer03,src:000235 diff --git a/tests/suite/certs-coverage/id:000494,sync:fuzzer03,src:000490,+cov b/tests/suite/certs-coverage/id:000494,sync:fuzzer03,src:000490,+cov Binary files differnew file mode 100644 index 0000000000..96a6679cc6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000494,sync:fuzzer03,src:000490,+cov diff --git a/tests/suite/certs-coverage/id:000495,sync:fuzzer03,src:000489 b/tests/suite/certs-coverage/id:000495,sync:fuzzer03,src:000489 Binary files differnew file mode 100644 index 0000000000..4c32656577 --- /dev/null +++ b/tests/suite/certs-coverage/id:000495,sync:fuzzer03,src:000489 diff --git a/tests/suite/certs-coverage/id:000496,sync:fuzzer03,src:000302 b/tests/suite/certs-coverage/id:000496,sync:fuzzer03,src:000302 Binary files differnew file mode 100644 index 0000000000..e3f2ee2ffa --- /dev/null +++ b/tests/suite/certs-coverage/id:000496,sync:fuzzer03,src:000302 diff --git a/tests/suite/certs-coverage/id:000496,sync:fuzzer03,src:000488 b/tests/suite/certs-coverage/id:000496,sync:fuzzer03,src:000488 Binary files differnew file mode 100644 index 0000000000..77b32b1a08 --- /dev/null +++ b/tests/suite/certs-coverage/id:000496,sync:fuzzer03,src:000488 diff --git a/tests/suite/certs-coverage/id:000497,sync:fuzzer03,src:000487,+cov b/tests/suite/certs-coverage/id:000497,sync:fuzzer03,src:000487,+cov Binary files differnew file mode 100644 index 0000000000..fce64afa67 --- /dev/null +++ b/tests/suite/certs-coverage/id:000497,sync:fuzzer03,src:000487,+cov diff --git a/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000279,+cov b/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000279,+cov Binary files differnew file mode 100644 index 0000000000..93a87df657 --- /dev/null +++ b/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000279,+cov diff --git a/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000482 b/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000482 Binary files differnew file mode 100644 index 0000000000..24146d4df2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000482 diff --git a/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000491 b/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000491 Binary files differnew file mode 100644 index 0000000000..b0566a6257 --- /dev/null +++ b/tests/suite/certs-coverage/id:000498,sync:fuzzer03,src:000491 diff --git a/tests/suite/certs-coverage/id:000499,sync:fuzzer03,src:000474 b/tests/suite/certs-coverage/id:000499,sync:fuzzer03,src:000474 Binary files differnew file mode 100644 index 0000000000..dc88a75a6e --- /dev/null +++ b/tests/suite/certs-coverage/id:000499,sync:fuzzer03,src:000474 diff --git a/tests/suite/certs-coverage/id:000501,sync:fuzzer03,src:000291,+cov b/tests/suite/certs-coverage/id:000501,sync:fuzzer03,src:000291,+cov Binary files differnew file mode 100644 index 0000000000..d21ef553d7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000501,sync:fuzzer03,src:000291,+cov diff --git a/tests/suite/certs-coverage/id:000502,sync:fuzzer03,src:000484 b/tests/suite/certs-coverage/id:000502,sync:fuzzer03,src:000484 Binary files differnew file mode 100644 index 0000000000..3989db1c62 --- /dev/null +++ b/tests/suite/certs-coverage/id:000502,sync:fuzzer03,src:000484 diff --git a/tests/suite/certs-coverage/id:000504,src:000100+000125,op:splice,rep:2 b/tests/suite/certs-coverage/id:000504,src:000100+000125,op:splice,rep:2 Binary files differnew file mode 100644 index 0000000000..905d4bbdd6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000504,src:000100+000125,op:splice,rep:2 diff --git a/tests/suite/certs-coverage/id:000504,sync:fuzzer03,src:000470,+cov b/tests/suite/certs-coverage/id:000504,sync:fuzzer03,src:000470,+cov Binary files differnew file mode 100644 index 0000000000..a69c9f01d1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000504,sync:fuzzer03,src:000470,+cov diff --git a/tests/suite/certs-coverage/id:000505,sync:fuzzer03,src:000313,+cov b/tests/suite/certs-coverage/id:000505,sync:fuzzer03,src:000313,+cov Binary files differnew file mode 100644 index 0000000000..b2006cdcac --- /dev/null +++ b/tests/suite/certs-coverage/id:000505,sync:fuzzer03,src:000313,+cov diff --git a/tests/suite/certs-coverage/id:000508,sync:fuzzer03,src:000384 b/tests/suite/certs-coverage/id:000508,sync:fuzzer03,src:000384 Binary files differnew file mode 100644 index 0000000000..3bc90d1bd2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000508,sync:fuzzer03,src:000384 diff --git a/tests/suite/certs-coverage/id:000511,sync:fuzzer03,src:000347 b/tests/suite/certs-coverage/id:000511,sync:fuzzer03,src:000347 Binary files differnew file mode 100644 index 0000000000..462ceeec0b --- /dev/null +++ b/tests/suite/certs-coverage/id:000511,sync:fuzzer03,src:000347 diff --git a/tests/suite/certs-coverage/id:000513,sync:fuzzer03,src:000506,+cov b/tests/suite/certs-coverage/id:000513,sync:fuzzer03,src:000506,+cov Binary files differnew file mode 100644 index 0000000000..b1217b0f3a --- /dev/null +++ b/tests/suite/certs-coverage/id:000513,sync:fuzzer03,src:000506,+cov diff --git a/tests/suite/certs-coverage/id:000514,sync:fuzzer03,src:000373,+cov b/tests/suite/certs-coverage/id:000514,sync:fuzzer03,src:000373,+cov Binary files differnew file mode 100644 index 0000000000..b11c2d70d8 --- /dev/null +++ b/tests/suite/certs-coverage/id:000514,sync:fuzzer03,src:000373,+cov diff --git a/tests/suite/certs-coverage/id:000514,sync:fuzzer03,src:000505,+cov b/tests/suite/certs-coverage/id:000514,sync:fuzzer03,src:000505,+cov Binary files differnew file mode 100644 index 0000000000..dbd9e01e2e --- /dev/null +++ b/tests/suite/certs-coverage/id:000514,sync:fuzzer03,src:000505,+cov diff --git a/tests/suite/certs-coverage/id:000515,sync:fuzzer01,src:000281,+cov b/tests/suite/certs-coverage/id:000515,sync:fuzzer01,src:000281,+cov Binary files differnew file mode 100644 index 0000000000..3d08547ee3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000515,sync:fuzzer01,src:000281,+cov diff --git a/tests/suite/certs-coverage/id:000515,sync:fuzzer03,src:000475 b/tests/suite/certs-coverage/id:000515,sync:fuzzer03,src:000475 Binary files differnew file mode 100644 index 0000000000..d48f6c5c14 --- /dev/null +++ b/tests/suite/certs-coverage/id:000515,sync:fuzzer03,src:000475 diff --git a/tests/suite/certs-coverage/id:000518,sync:fuzzer03,src:000485 b/tests/suite/certs-coverage/id:000518,sync:fuzzer03,src:000485 Binary files differnew file mode 100644 index 0000000000..697af2da95 --- /dev/null +++ b/tests/suite/certs-coverage/id:000518,sync:fuzzer03,src:000485 diff --git a/tests/suite/certs-coverage/id:000518,sync:fuzzer03,src:000492 b/tests/suite/certs-coverage/id:000518,sync:fuzzer03,src:000492 Binary files differnew file mode 100644 index 0000000000..e360a6a9d4 --- /dev/null +++ b/tests/suite/certs-coverage/id:000518,sync:fuzzer03,src:000492 diff --git a/tests/suite/certs-coverage/id:000519,sync:fuzzer01,src:000271,+cov b/tests/suite/certs-coverage/id:000519,sync:fuzzer01,src:000271,+cov Binary files differnew file mode 100644 index 0000000000..0ef8badc74 --- /dev/null +++ b/tests/suite/certs-coverage/id:000519,sync:fuzzer01,src:000271,+cov diff --git a/tests/suite/certs-coverage/id:000521,sync:fuzzer03,src:000494,+cov b/tests/suite/certs-coverage/id:000521,sync:fuzzer03,src:000494,+cov Binary files differnew file mode 100644 index 0000000000..5b17c80d1f --- /dev/null +++ b/tests/suite/certs-coverage/id:000521,sync:fuzzer03,src:000494,+cov diff --git a/tests/suite/certs-coverage/id:000521,sync:fuzzer03,src:000496 b/tests/suite/certs-coverage/id:000521,sync:fuzzer03,src:000496 Binary files differnew file mode 100644 index 0000000000..3e98580d05 --- /dev/null +++ b/tests/suite/certs-coverage/id:000521,sync:fuzzer03,src:000496 diff --git a/tests/suite/certs-coverage/id:000522,sync:fuzzer03,src:000345 b/tests/suite/certs-coverage/id:000522,sync:fuzzer03,src:000345 Binary files differnew file mode 100644 index 0000000000..21c41af528 --- /dev/null +++ b/tests/suite/certs-coverage/id:000522,sync:fuzzer03,src:000345 diff --git a/tests/suite/certs-coverage/id:000523,sync:fuzzer03,src:000504,+cov b/tests/suite/certs-coverage/id:000523,sync:fuzzer03,src:000504,+cov Binary files differnew file mode 100644 index 0000000000..c9a7b97693 --- /dev/null +++ b/tests/suite/certs-coverage/id:000523,sync:fuzzer03,src:000504,+cov diff --git a/tests/suite/certs-coverage/id:000524,sync:fuzzer03,src:000516 b/tests/suite/certs-coverage/id:000524,sync:fuzzer03,src:000516 Binary files differnew file mode 100644 index 0000000000..875c17f2be --- /dev/null +++ b/tests/suite/certs-coverage/id:000524,sync:fuzzer03,src:000516 diff --git a/tests/suite/certs-coverage/id:000526,sync:fuzzer03,src:000518 b/tests/suite/certs-coverage/id:000526,sync:fuzzer03,src:000518 Binary files differnew file mode 100644 index 0000000000..1043971684 --- /dev/null +++ b/tests/suite/certs-coverage/id:000526,sync:fuzzer03,src:000518 diff --git a/tests/suite/certs-coverage/id:000527,sync:fuzzer05,src:000524 b/tests/suite/certs-coverage/id:000527,sync:fuzzer05,src:000524 Binary files differnew file mode 100644 index 0000000000..2497723299 --- /dev/null +++ b/tests/suite/certs-coverage/id:000527,sync:fuzzer05,src:000524 diff --git a/tests/suite/certs-coverage/id:000527,sync:fuzzer07,src:000523 b/tests/suite/certs-coverage/id:000527,sync:fuzzer07,src:000523 Binary files differnew file mode 100644 index 0000000000..09f594a59b --- /dev/null +++ b/tests/suite/certs-coverage/id:000527,sync:fuzzer07,src:000523 diff --git a/tests/suite/certs-coverage/id:000528,sync:fuzzer03,src:000443,+cov b/tests/suite/certs-coverage/id:000528,sync:fuzzer03,src:000443,+cov Binary files differnew file mode 100644 index 0000000000..965b23c17a --- /dev/null +++ b/tests/suite/certs-coverage/id:000528,sync:fuzzer03,src:000443,+cov diff --git a/tests/suite/certs-coverage/id:000529,sync:fuzzer03,src:000426,+cov b/tests/suite/certs-coverage/id:000529,sync:fuzzer03,src:000426,+cov Binary files differnew file mode 100644 index 0000000000..4c0188bd61 --- /dev/null +++ b/tests/suite/certs-coverage/id:000529,sync:fuzzer03,src:000426,+cov diff --git a/tests/suite/certs-coverage/id:000529,sync:fuzzer04,src:000527 b/tests/suite/certs-coverage/id:000529,sync:fuzzer04,src:000527 Binary files differnew file mode 100644 index 0000000000..002319c4f5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000529,sync:fuzzer04,src:000527 diff --git a/tests/suite/certs-coverage/id:000531,sync:fuzzer03,src:000328 b/tests/suite/certs-coverage/id:000531,sync:fuzzer03,src:000328 Binary files differnew file mode 100644 index 0000000000..3d25d14ec4 --- /dev/null +++ b/tests/suite/certs-coverage/id:000531,sync:fuzzer03,src:000328 diff --git a/tests/suite/certs-coverage/id:000532,sync:fuzzer03,src:000524,+cov b/tests/suite/certs-coverage/id:000532,sync:fuzzer03,src:000524,+cov Binary files differnew file mode 100644 index 0000000000..780981bc23 --- /dev/null +++ b/tests/suite/certs-coverage/id:000532,sync:fuzzer03,src:000524,+cov diff --git a/tests/suite/certs-coverage/id:000533,sync:fuzzer03,src:000411 b/tests/suite/certs-coverage/id:000533,sync:fuzzer03,src:000411 Binary files differnew file mode 100644 index 0000000000..cf2d6a6b64 --- /dev/null +++ b/tests/suite/certs-coverage/id:000533,sync:fuzzer03,src:000411 diff --git a/tests/suite/certs-coverage/id:000534,sync:fuzzer03,src:000519 b/tests/suite/certs-coverage/id:000534,sync:fuzzer03,src:000519 Binary files differnew file mode 100644 index 0000000000..2b4307779c --- /dev/null +++ b/tests/suite/certs-coverage/id:000534,sync:fuzzer03,src:000519 diff --git a/tests/suite/certs-coverage/id:000536,sync:fuzzer03,src:000221 b/tests/suite/certs-coverage/id:000536,sync:fuzzer03,src:000221 Binary files differnew file mode 100644 index 0000000000..4c9cd139c4 --- /dev/null +++ b/tests/suite/certs-coverage/id:000536,sync:fuzzer03,src:000221 diff --git a/tests/suite/certs-coverage/id:000536,sync:fuzzer03,src:000528 b/tests/suite/certs-coverage/id:000536,sync:fuzzer03,src:000528 Binary files differnew file mode 100644 index 0000000000..4801791aa3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000536,sync:fuzzer03,src:000528 diff --git a/tests/suite/certs-coverage/id:000537,sync:fuzzer03,src:000165 b/tests/suite/certs-coverage/id:000537,sync:fuzzer03,src:000165 Binary files differnew file mode 100644 index 0000000000..56e20cd6f1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000537,sync:fuzzer03,src:000165 diff --git a/tests/suite/certs-coverage/id:000537,sync:fuzzer05,src:000536,+cov b/tests/suite/certs-coverage/id:000537,sync:fuzzer05,src:000536,+cov Binary files differnew file mode 100644 index 0000000000..6e18ecafed --- /dev/null +++ b/tests/suite/certs-coverage/id:000537,sync:fuzzer05,src:000536,+cov diff --git a/tests/suite/certs-coverage/id:000538,sync:fuzzer03,src:000432,+cov b/tests/suite/certs-coverage/id:000538,sync:fuzzer03,src:000432,+cov Binary files differnew file mode 100644 index 0000000000..a0c86633ed --- /dev/null +++ b/tests/suite/certs-coverage/id:000538,sync:fuzzer03,src:000432,+cov diff --git a/tests/suite/certs-coverage/id:000542,sync:fuzzer02,src:000525,+cov b/tests/suite/certs-coverage/id:000542,sync:fuzzer02,src:000525,+cov Binary files differnew file mode 100644 index 0000000000..c0c079b3a7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000542,sync:fuzzer02,src:000525,+cov diff --git a/tests/suite/certs-coverage/id:000545,sync:fuzzer03,src:000536,+cov b/tests/suite/certs-coverage/id:000545,sync:fuzzer03,src:000536,+cov Binary files differnew file mode 100644 index 0000000000..1f6aebd004 --- /dev/null +++ b/tests/suite/certs-coverage/id:000545,sync:fuzzer03,src:000536,+cov diff --git a/tests/suite/certs-coverage/id:000546,sync:fuzzer03,src:000542 b/tests/suite/certs-coverage/id:000546,sync:fuzzer03,src:000542 Binary files differnew file mode 100644 index 0000000000..8646ce5847 --- /dev/null +++ b/tests/suite/certs-coverage/id:000546,sync:fuzzer03,src:000542 diff --git a/tests/suite/certs-coverage/id:000548,sync:fuzzer01,src:000309 b/tests/suite/certs-coverage/id:000548,sync:fuzzer01,src:000309 Binary files differnew file mode 100644 index 0000000000..e446551b2d --- /dev/null +++ b/tests/suite/certs-coverage/id:000548,sync:fuzzer01,src:000309 diff --git a/tests/suite/certs-coverage/id:000549,sync:fuzzer01,src:000306,+cov b/tests/suite/certs-coverage/id:000549,sync:fuzzer01,src:000306,+cov Binary files differnew file mode 100644 index 0000000000..99c294e3e7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000549,sync:fuzzer01,src:000306,+cov diff --git a/tests/suite/certs-coverage/id:000549,sync:fuzzer03,src:000537,+cov b/tests/suite/certs-coverage/id:000549,sync:fuzzer03,src:000537,+cov Binary files differnew file mode 100644 index 0000000000..3ee4365cf2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000549,sync:fuzzer03,src:000537,+cov diff --git a/tests/suite/certs-coverage/id:000549,sync:fuzzer03,src:000539,+cov b/tests/suite/certs-coverage/id:000549,sync:fuzzer03,src:000539,+cov Binary files differnew file mode 100644 index 0000000000..2d44fecb6a --- /dev/null +++ b/tests/suite/certs-coverage/id:000549,sync:fuzzer03,src:000539,+cov diff --git a/tests/suite/certs-coverage/id:000550,src:000251+000477,op:splice,rep:2 b/tests/suite/certs-coverage/id:000550,src:000251+000477,op:splice,rep:2 Binary files differnew file mode 100644 index 0000000000..117bd485ed --- /dev/null +++ b/tests/suite/certs-coverage/id:000550,src:000251+000477,op:splice,rep:2 diff --git a/tests/suite/certs-coverage/id:000550,sync:fuzzer01,src:000311 b/tests/suite/certs-coverage/id:000550,sync:fuzzer01,src:000311 Binary files differnew file mode 100644 index 0000000000..3cb3d4a27f --- /dev/null +++ b/tests/suite/certs-coverage/id:000550,sync:fuzzer01,src:000311 diff --git a/tests/suite/certs-coverage/id:000551,sync:fuzzer06,src:000533 b/tests/suite/certs-coverage/id:000551,sync:fuzzer06,src:000533 Binary files differnew file mode 100644 index 0000000000..8cbdc2a095 --- /dev/null +++ b/tests/suite/certs-coverage/id:000551,sync:fuzzer06,src:000533 diff --git a/tests/suite/certs-coverage/id:000553,sync:fuzzer03,src:000546 b/tests/suite/certs-coverage/id:000553,sync:fuzzer03,src:000546 Binary files differnew file mode 100644 index 0000000000..2676c69593 --- /dev/null +++ b/tests/suite/certs-coverage/id:000553,sync:fuzzer03,src:000546 diff --git a/tests/suite/certs-coverage/id:000553,sync:fuzzer05,src:000550,+cov b/tests/suite/certs-coverage/id:000553,sync:fuzzer05,src:000550,+cov Binary files differnew file mode 100644 index 0000000000..7848d32ebd --- /dev/null +++ b/tests/suite/certs-coverage/id:000553,sync:fuzzer05,src:000550,+cov diff --git a/tests/suite/certs-coverage/id:000557,sync:fuzzer03,src:000549 b/tests/suite/certs-coverage/id:000557,sync:fuzzer03,src:000549 Binary files differnew file mode 100644 index 0000000000..3cdffdae9b --- /dev/null +++ b/tests/suite/certs-coverage/id:000557,sync:fuzzer03,src:000549 diff --git a/tests/suite/certs-coverage/id:000558,sync:fuzzer03,src:000551 b/tests/suite/certs-coverage/id:000558,sync:fuzzer03,src:000551 Binary files differnew file mode 100644 index 0000000000..97533c2809 --- /dev/null +++ b/tests/suite/certs-coverage/id:000558,sync:fuzzer03,src:000551 diff --git a/tests/suite/certs-coverage/id:000558,sync:fuzzer05,src:000555 b/tests/suite/certs-coverage/id:000558,sync:fuzzer05,src:000555 Binary files differnew file mode 100644 index 0000000000..5c959a194f --- /dev/null +++ b/tests/suite/certs-coverage/id:000558,sync:fuzzer05,src:000555 diff --git a/tests/suite/certs-coverage/id:000559,sync:fuzzer05,src:000556 b/tests/suite/certs-coverage/id:000559,sync:fuzzer05,src:000556 Binary files differnew file mode 100644 index 0000000000..0b0afde3e9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000559,sync:fuzzer05,src:000556 diff --git a/tests/suite/certs-coverage/id:000562,sync:fuzzer03,src:000555,+cov b/tests/suite/certs-coverage/id:000562,sync:fuzzer03,src:000555,+cov Binary files differnew file mode 100644 index 0000000000..2b43f89298 --- /dev/null +++ b/tests/suite/certs-coverage/id:000562,sync:fuzzer03,src:000555,+cov diff --git a/tests/suite/certs-coverage/id:000563,sync:fuzzer03,src:000556,+cov b/tests/suite/certs-coverage/id:000563,sync:fuzzer03,src:000556,+cov Binary files differnew file mode 100644 index 0000000000..9744e93412 --- /dev/null +++ b/tests/suite/certs-coverage/id:000563,sync:fuzzer03,src:000556,+cov diff --git a/tests/suite/certs-coverage/id:000564,sync:fuzzer07,src:000564 b/tests/suite/certs-coverage/id:000564,sync:fuzzer07,src:000564 Binary files differnew file mode 100644 index 0000000000..b2497d7c1d --- /dev/null +++ b/tests/suite/certs-coverage/id:000564,sync:fuzzer07,src:000564 diff --git a/tests/suite/certs-coverage/id:000567,sync:fuzzer03,src:000558,+cov b/tests/suite/certs-coverage/id:000567,sync:fuzzer03,src:000558,+cov Binary files differnew file mode 100644 index 0000000000..af761f199f --- /dev/null +++ b/tests/suite/certs-coverage/id:000567,sync:fuzzer03,src:000558,+cov diff --git a/tests/suite/certs-coverage/id:000570,sync:fuzzer05,src:000569 b/tests/suite/certs-coverage/id:000570,sync:fuzzer05,src:000569 Binary files differnew file mode 100644 index 0000000000..eae6951662 --- /dev/null +++ b/tests/suite/certs-coverage/id:000570,sync:fuzzer05,src:000569 diff --git a/tests/suite/certs-coverage/id:000572,sync:fuzzer03,src:000568 b/tests/suite/certs-coverage/id:000572,sync:fuzzer03,src:000568 Binary files differnew file mode 100644 index 0000000000..e4e697d879 --- /dev/null +++ b/tests/suite/certs-coverage/id:000572,sync:fuzzer03,src:000568 diff --git a/tests/suite/certs-coverage/id:000573,sync:fuzzer02,src:000557,+cov b/tests/suite/certs-coverage/id:000573,sync:fuzzer02,src:000557,+cov Binary files differnew file mode 100644 index 0000000000..3aadec9f6d --- /dev/null +++ b/tests/suite/certs-coverage/id:000573,sync:fuzzer02,src:000557,+cov diff --git a/tests/suite/certs-coverage/id:000573,sync:fuzzer03,src:000557 b/tests/suite/certs-coverage/id:000573,sync:fuzzer03,src:000557 Binary files differnew file mode 100644 index 0000000000..28d1b37b39 --- /dev/null +++ b/tests/suite/certs-coverage/id:000573,sync:fuzzer03,src:000557 diff --git a/tests/suite/certs-coverage/id:000573,sync:fuzzer03,src:000562,+cov b/tests/suite/certs-coverage/id:000573,sync:fuzzer03,src:000562,+cov Binary files differnew file mode 100644 index 0000000000..52aa4f2693 --- /dev/null +++ b/tests/suite/certs-coverage/id:000573,sync:fuzzer03,src:000562,+cov diff --git a/tests/suite/certs-coverage/id:000578,sync:fuzzer03,src:000569,+cov b/tests/suite/certs-coverage/id:000578,sync:fuzzer03,src:000569,+cov Binary files differnew file mode 100644 index 0000000000..ba23919672 --- /dev/null +++ b/tests/suite/certs-coverage/id:000578,sync:fuzzer03,src:000569,+cov diff --git a/tests/suite/certs-coverage/id:000578,sync:fuzzer03,src:000572,+cov b/tests/suite/certs-coverage/id:000578,sync:fuzzer03,src:000572,+cov Binary files differnew file mode 100644 index 0000000000..bd68806810 --- /dev/null +++ b/tests/suite/certs-coverage/id:000578,sync:fuzzer03,src:000572,+cov diff --git a/tests/suite/certs-coverage/id:000578,sync:fuzzer05,src:000575,+cov b/tests/suite/certs-coverage/id:000578,sync:fuzzer05,src:000575,+cov Binary files differnew file mode 100644 index 0000000000..274489b3b1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000578,sync:fuzzer05,src:000575,+cov diff --git a/tests/suite/certs-coverage/id:000580,sync:fuzzer03,src:000574,+cov b/tests/suite/certs-coverage/id:000580,sync:fuzzer03,src:000574,+cov Binary files differnew file mode 100644 index 0000000000..623cab4d0c --- /dev/null +++ b/tests/suite/certs-coverage/id:000580,sync:fuzzer03,src:000574,+cov diff --git a/tests/suite/certs-coverage/id:000581,sync:fuzzer04,src:000577 b/tests/suite/certs-coverage/id:000581,sync:fuzzer04,src:000577 Binary files differnew file mode 100644 index 0000000000..8955318c53 --- /dev/null +++ b/tests/suite/certs-coverage/id:000581,sync:fuzzer04,src:000577 diff --git a/tests/suite/certs-coverage/id:000583,sync:fuzzer03,src:000570,+cov b/tests/suite/certs-coverage/id:000583,sync:fuzzer03,src:000570,+cov Binary files differnew file mode 100644 index 0000000000..b668b5cb10 --- /dev/null +++ b/tests/suite/certs-coverage/id:000583,sync:fuzzer03,src:000570,+cov diff --git a/tests/suite/certs-coverage/id:000584,sync:fuzzer03,src:000578,+cov b/tests/suite/certs-coverage/id:000584,sync:fuzzer03,src:000578,+cov Binary files differnew file mode 100644 index 0000000000..4113fc05f9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000584,sync:fuzzer03,src:000578,+cov diff --git a/tests/suite/certs-coverage/id:000586,src:000321,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000586,src:000321,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..9ed769e0f5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000586,src:000321,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000590,sync:fuzzer03,src:000580 b/tests/suite/certs-coverage/id:000590,sync:fuzzer03,src:000580 Binary files differnew file mode 100644 index 0000000000..a617e70dd1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000590,sync:fuzzer03,src:000580 diff --git a/tests/suite/certs-coverage/id:000590,sync:fuzzer03,src:000583,+cov b/tests/suite/certs-coverage/id:000590,sync:fuzzer03,src:000583,+cov Binary files differnew file mode 100644 index 0000000000..546f874db2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000590,sync:fuzzer03,src:000583,+cov diff --git a/tests/suite/certs-coverage/id:000591,sync:fuzzer08,src:000579 b/tests/suite/certs-coverage/id:000591,sync:fuzzer08,src:000579 Binary files differnew file mode 100644 index 0000000000..4a82a4df86 --- /dev/null +++ b/tests/suite/certs-coverage/id:000591,sync:fuzzer08,src:000579 diff --git a/tests/suite/certs-coverage/id:000598,sync:fuzzer03,src:000590 b/tests/suite/certs-coverage/id:000598,sync:fuzzer03,src:000590 Binary files differnew file mode 100644 index 0000000000..74b7081ef6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000598,sync:fuzzer03,src:000590 diff --git a/tests/suite/certs-coverage/id:000601,sync:fuzzer03,src:000588 b/tests/suite/certs-coverage/id:000601,sync:fuzzer03,src:000588 Binary files differnew file mode 100644 index 0000000000..783dacae1e --- /dev/null +++ b/tests/suite/certs-coverage/id:000601,sync:fuzzer03,src:000588 diff --git a/tests/suite/certs-coverage/id:000604,sync:fuzzer05,src:000602 b/tests/suite/certs-coverage/id:000604,sync:fuzzer05,src:000602 Binary files differnew file mode 100644 index 0000000000..ba2b9da774 --- /dev/null +++ b/tests/suite/certs-coverage/id:000604,sync:fuzzer05,src:000602 diff --git a/tests/suite/certs-coverage/id:000607,sync:fuzzer08,src:000595 b/tests/suite/certs-coverage/id:000607,sync:fuzzer08,src:000595 Binary files differnew file mode 100644 index 0000000000..62d9d91b2d --- /dev/null +++ b/tests/suite/certs-coverage/id:000607,sync:fuzzer08,src:000595 diff --git a/tests/suite/certs-coverage/id:000608,src:000362,op:havoc,rep:2,+cov b/tests/suite/certs-coverage/id:000608,src:000362,op:havoc,rep:2,+cov Binary files differnew file mode 100644 index 0000000000..b06a5dabf5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000608,src:000362,op:havoc,rep:2,+cov diff --git a/tests/suite/certs-coverage/id:000609,sync:fuzzer03,src:000603,+cov b/tests/suite/certs-coverage/id:000609,sync:fuzzer03,src:000603,+cov Binary files differnew file mode 100644 index 0000000000..b5c0e5668e --- /dev/null +++ b/tests/suite/certs-coverage/id:000609,sync:fuzzer03,src:000603,+cov diff --git a/tests/suite/certs-coverage/id:000610,sync:fuzzer03,src:000596,+cov b/tests/suite/certs-coverage/id:000610,sync:fuzzer03,src:000596,+cov Binary files differnew file mode 100644 index 0000000000..75036ce08a --- /dev/null +++ b/tests/suite/certs-coverage/id:000610,sync:fuzzer03,src:000596,+cov diff --git a/tests/suite/certs-coverage/id:000611,sync:fuzzer03,src:000585 b/tests/suite/certs-coverage/id:000611,sync:fuzzer03,src:000585 Binary files differnew file mode 100644 index 0000000000..722e8ee3f0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000611,sync:fuzzer03,src:000585 diff --git a/tests/suite/certs-coverage/id:000611,sync:fuzzer03,src:000605,+cov b/tests/suite/certs-coverage/id:000611,sync:fuzzer03,src:000605,+cov Binary files differnew file mode 100644 index 0000000000..9eabffd940 --- /dev/null +++ b/tests/suite/certs-coverage/id:000611,sync:fuzzer03,src:000605,+cov diff --git a/tests/suite/certs-coverage/id:000612,sync:fuzzer03,src:000604,+cov b/tests/suite/certs-coverage/id:000612,sync:fuzzer03,src:000604,+cov Binary files differnew file mode 100644 index 0000000000..dca6ac6c40 --- /dev/null +++ b/tests/suite/certs-coverage/id:000612,sync:fuzzer03,src:000604,+cov diff --git a/tests/suite/certs-coverage/id:000614,src:000358,op:havoc,rep:4,+cov b/tests/suite/certs-coverage/id:000614,src:000358,op:havoc,rep:4,+cov Binary files differnew file mode 100644 index 0000000000..e5551ed0d3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000614,src:000358,op:havoc,rep:4,+cov diff --git a/tests/suite/certs-coverage/id:000614,sync:fuzzer03,src:000593,+cov b/tests/suite/certs-coverage/id:000614,sync:fuzzer03,src:000593,+cov Binary files differnew file mode 100644 index 0000000000..3520d6115e --- /dev/null +++ b/tests/suite/certs-coverage/id:000614,sync:fuzzer03,src:000593,+cov diff --git a/tests/suite/certs-coverage/id:000615,sync:fuzzer03,src:000587,+cov b/tests/suite/certs-coverage/id:000615,sync:fuzzer03,src:000587,+cov Binary files differnew file mode 100644 index 0000000000..af91cdb4de --- /dev/null +++ b/tests/suite/certs-coverage/id:000615,sync:fuzzer03,src:000587,+cov diff --git a/tests/suite/certs-coverage/id:000616,sync:fuzzer03,src:000607 b/tests/suite/certs-coverage/id:000616,sync:fuzzer03,src:000607 Binary files differnew file mode 100644 index 0000000000..49edefb874 --- /dev/null +++ b/tests/suite/certs-coverage/id:000616,sync:fuzzer03,src:000607 diff --git a/tests/suite/certs-coverage/id:000616,sync:fuzzer05,src:000614,+cov b/tests/suite/certs-coverage/id:000616,sync:fuzzer05,src:000614,+cov Binary files differnew file mode 100644 index 0000000000..641f9bfd0b --- /dev/null +++ b/tests/suite/certs-coverage/id:000616,sync:fuzzer05,src:000614,+cov diff --git a/tests/suite/certs-coverage/id:000621,sync:fuzzer04,src:000612 b/tests/suite/certs-coverage/id:000621,sync:fuzzer04,src:000612 Binary files differnew file mode 100644 index 0000000000..d00e4a150c --- /dev/null +++ b/tests/suite/certs-coverage/id:000621,sync:fuzzer04,src:000612 diff --git a/tests/suite/certs-coverage/id:000622,sync:fuzzer03,src:000613 b/tests/suite/certs-coverage/id:000622,sync:fuzzer03,src:000613 Binary files differnew file mode 100644 index 0000000000..97b15a5f19 --- /dev/null +++ b/tests/suite/certs-coverage/id:000622,sync:fuzzer03,src:000613 diff --git a/tests/suite/certs-coverage/id:000623,sync:fuzzer03,src:000615 b/tests/suite/certs-coverage/id:000623,sync:fuzzer03,src:000615 Binary files differnew file mode 100644 index 0000000000..ada2a1e2dd --- /dev/null +++ b/tests/suite/certs-coverage/id:000623,sync:fuzzer03,src:000615 diff --git a/tests/suite/certs-coverage/id:000624,sync:fuzzer03,src:000600 b/tests/suite/certs-coverage/id:000624,sync:fuzzer03,src:000600 Binary files differnew file mode 100644 index 0000000000..2ac907e962 --- /dev/null +++ b/tests/suite/certs-coverage/id:000624,sync:fuzzer03,src:000600 diff --git a/tests/suite/certs-coverage/id:000625,sync:fuzzer03,src:000606 b/tests/suite/certs-coverage/id:000625,sync:fuzzer03,src:000606 Binary files differnew file mode 100644 index 0000000000..2385d9b9e6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000625,sync:fuzzer03,src:000606 diff --git a/tests/suite/certs-coverage/id:000625,sync:fuzzer03,src:000616,+cov b/tests/suite/certs-coverage/id:000625,sync:fuzzer03,src:000616,+cov Binary files differnew file mode 100644 index 0000000000..f97266c687 --- /dev/null +++ b/tests/suite/certs-coverage/id:000625,sync:fuzzer03,src:000616,+cov diff --git a/tests/suite/certs-coverage/id:000626,sync:fuzzer03,src:000609 b/tests/suite/certs-coverage/id:000626,sync:fuzzer03,src:000609 Binary files differnew file mode 100644 index 0000000000..a158e7278e --- /dev/null +++ b/tests/suite/certs-coverage/id:000626,sync:fuzzer03,src:000609 diff --git a/tests/suite/certs-coverage/id:000626,sync:fuzzer08,src:000615 b/tests/suite/certs-coverage/id:000626,sync:fuzzer08,src:000615 Binary files differnew file mode 100644 index 0000000000..a604e03442 --- /dev/null +++ b/tests/suite/certs-coverage/id:000626,sync:fuzzer08,src:000615 diff --git a/tests/suite/certs-coverage/id:000627,sync:fuzzer03,src:000602 b/tests/suite/certs-coverage/id:000627,sync:fuzzer03,src:000602 Binary files differnew file mode 100644 index 0000000000..405ead1180 --- /dev/null +++ b/tests/suite/certs-coverage/id:000627,sync:fuzzer03,src:000602 diff --git a/tests/suite/certs-coverage/id:000627,sync:fuzzer08,src:000616 b/tests/suite/certs-coverage/id:000627,sync:fuzzer08,src:000616 Binary files differnew file mode 100644 index 0000000000..4843b399c2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000627,sync:fuzzer08,src:000616 diff --git a/tests/suite/certs-coverage/id:000631,sync:fuzzer03,src:000623 b/tests/suite/certs-coverage/id:000631,sync:fuzzer03,src:000623 Binary files differnew file mode 100644 index 0000000000..12a074334a --- /dev/null +++ b/tests/suite/certs-coverage/id:000631,sync:fuzzer03,src:000623 diff --git a/tests/suite/certs-coverage/id:000631,sync:fuzzer03,src:000624 b/tests/suite/certs-coverage/id:000631,sync:fuzzer03,src:000624 Binary files differnew file mode 100644 index 0000000000..8eb116fb2e --- /dev/null +++ b/tests/suite/certs-coverage/id:000631,sync:fuzzer03,src:000624 diff --git a/tests/suite/certs-coverage/id:000633,sync:fuzzer01,src:000618 b/tests/suite/certs-coverage/id:000633,sync:fuzzer01,src:000618 Binary files differnew file mode 100644 index 0000000000..8f6ea7e747 --- /dev/null +++ b/tests/suite/certs-coverage/id:000633,sync:fuzzer01,src:000618 diff --git a/tests/suite/certs-coverage/id:000634,sync:fuzzer07,src:000634,+cov b/tests/suite/certs-coverage/id:000634,sync:fuzzer07,src:000634,+cov Binary files differnew file mode 100644 index 0000000000..b24c7dd6d6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000634,sync:fuzzer07,src:000634,+cov diff --git a/tests/suite/certs-coverage/id:000636,sync:fuzzer03,src:000628 b/tests/suite/certs-coverage/id:000636,sync:fuzzer03,src:000628 Binary files differnew file mode 100644 index 0000000000..97f4037cab --- /dev/null +++ b/tests/suite/certs-coverage/id:000636,sync:fuzzer03,src:000628 diff --git a/tests/suite/certs-coverage/id:000637,sync:fuzzer03,src:000627 b/tests/suite/certs-coverage/id:000637,sync:fuzzer03,src:000627 Binary files differnew file mode 100644 index 0000000000..4706a3005e --- /dev/null +++ b/tests/suite/certs-coverage/id:000637,sync:fuzzer03,src:000627 diff --git a/tests/suite/certs-coverage/id:000637,sync:fuzzer03,src:000630 b/tests/suite/certs-coverage/id:000637,sync:fuzzer03,src:000630 Binary files differnew file mode 100644 index 0000000000..4f8a294ed0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000637,sync:fuzzer03,src:000630 diff --git a/tests/suite/certs-coverage/id:000638,sync:fuzzer03,src:000631 b/tests/suite/certs-coverage/id:000638,sync:fuzzer03,src:000631 Binary files differnew file mode 100644 index 0000000000..42e4886479 --- /dev/null +++ b/tests/suite/certs-coverage/id:000638,sync:fuzzer03,src:000631 diff --git a/tests/suite/certs-coverage/id:000639,sync:fuzzer03,src:000632 b/tests/suite/certs-coverage/id:000639,sync:fuzzer03,src:000632 Binary files differnew file mode 100644 index 0000000000..0bd7b55ee7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000639,sync:fuzzer03,src:000632 diff --git a/tests/suite/certs-coverage/id:000641,sync:fuzzer03,src:000633 b/tests/suite/certs-coverage/id:000641,sync:fuzzer03,src:000633 Binary files differnew file mode 100644 index 0000000000..a455b7d864 --- /dev/null +++ b/tests/suite/certs-coverage/id:000641,sync:fuzzer03,src:000633 diff --git a/tests/suite/certs-coverage/id:000641,sync:fuzzer07,src:000640 b/tests/suite/certs-coverage/id:000641,sync:fuzzer07,src:000640 Binary files differnew file mode 100644 index 0000000000..c95fd90276 --- /dev/null +++ b/tests/suite/certs-coverage/id:000641,sync:fuzzer07,src:000640 diff --git a/tests/suite/certs-coverage/id:000642,sync:fuzzer08,src:000630 b/tests/suite/certs-coverage/id:000642,sync:fuzzer08,src:000630 Binary files differnew file mode 100644 index 0000000000..cda85045cf --- /dev/null +++ b/tests/suite/certs-coverage/id:000642,sync:fuzzer08,src:000630 diff --git a/tests/suite/certs-coverage/id:000643,src:000491+000266,op:splice,rep:2 b/tests/suite/certs-coverage/id:000643,src:000491+000266,op:splice,rep:2 Binary files differnew file mode 100644 index 0000000000..e34c6b6654 --- /dev/null +++ b/tests/suite/certs-coverage/id:000643,src:000491+000266,op:splice,rep:2 diff --git a/tests/suite/certs-coverage/id:000644,sync:fuzzer03,src:000636 b/tests/suite/certs-coverage/id:000644,sync:fuzzer03,src:000636 Binary files differnew file mode 100644 index 0000000000..9a6c8bcb92 --- /dev/null +++ b/tests/suite/certs-coverage/id:000644,sync:fuzzer03,src:000636 diff --git a/tests/suite/certs-coverage/id:000645,sync:fuzzer03,src:000638 b/tests/suite/certs-coverage/id:000645,sync:fuzzer03,src:000638 Binary files differnew file mode 100644 index 0000000000..6a8796ebe3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000645,sync:fuzzer03,src:000638 diff --git a/tests/suite/certs-coverage/id:000646,sync:fuzzer03,src:000639 b/tests/suite/certs-coverage/id:000646,sync:fuzzer03,src:000639 Binary files differnew file mode 100644 index 0000000000..6fd5f1b891 --- /dev/null +++ b/tests/suite/certs-coverage/id:000646,sync:fuzzer03,src:000639 diff --git a/tests/suite/certs-coverage/id:000648,sync:fuzzer02,src:000633 b/tests/suite/certs-coverage/id:000648,sync:fuzzer02,src:000633 Binary files differnew file mode 100644 index 0000000000..b555f05a46 --- /dev/null +++ b/tests/suite/certs-coverage/id:000648,sync:fuzzer02,src:000633 diff --git a/tests/suite/certs-coverage/id:000648,sync:fuzzer07,src:000647 b/tests/suite/certs-coverage/id:000648,sync:fuzzer07,src:000647 Binary files differnew file mode 100644 index 0000000000..b95f22a10c --- /dev/null +++ b/tests/suite/certs-coverage/id:000648,sync:fuzzer07,src:000647 diff --git a/tests/suite/certs-coverage/id:000649,sync:fuzzer08,src:000638,+cov b/tests/suite/certs-coverage/id:000649,sync:fuzzer08,src:000638,+cov Binary files differnew file mode 100644 index 0000000000..8bf6dffc9d --- /dev/null +++ b/tests/suite/certs-coverage/id:000649,sync:fuzzer08,src:000638,+cov diff --git a/tests/suite/certs-coverage/id:000651,sync:fuzzer03,src:000644,+cov b/tests/suite/certs-coverage/id:000651,sync:fuzzer03,src:000644,+cov Binary files differnew file mode 100644 index 0000000000..c008db1161 --- /dev/null +++ b/tests/suite/certs-coverage/id:000651,sync:fuzzer03,src:000644,+cov diff --git a/tests/suite/certs-coverage/id:000652,sync:fuzzer08,src:000641 b/tests/suite/certs-coverage/id:000652,sync:fuzzer08,src:000641 Binary files differnew file mode 100644 index 0000000000..2e7d4c6629 --- /dev/null +++ b/tests/suite/certs-coverage/id:000652,sync:fuzzer08,src:000641 diff --git a/tests/suite/certs-coverage/id:000658,sync:fuzzer03,src:000651 b/tests/suite/certs-coverage/id:000658,sync:fuzzer03,src:000651 Binary files differnew file mode 100644 index 0000000000..b5e51c4cca --- /dev/null +++ b/tests/suite/certs-coverage/id:000658,sync:fuzzer03,src:000651 diff --git a/tests/suite/certs-coverage/id:000659,sync:fuzzer03,src:000653,+cov b/tests/suite/certs-coverage/id:000659,sync:fuzzer03,src:000653,+cov Binary files differnew file mode 100644 index 0000000000..d5ef0adad2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000659,sync:fuzzer03,src:000653,+cov diff --git a/tests/suite/certs-coverage/id:000661,sync:fuzzer08,src:000648 b/tests/suite/certs-coverage/id:000661,sync:fuzzer08,src:000648 Binary files differnew file mode 100644 index 0000000000..c6aec9bfc3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000661,sync:fuzzer08,src:000648 diff --git a/tests/suite/certs-coverage/id:000662,sync:fuzzer03,src:000654,+cov b/tests/suite/certs-coverage/id:000662,sync:fuzzer03,src:000654,+cov Binary files differnew file mode 100644 index 0000000000..f13c4871e9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000662,sync:fuzzer03,src:000654,+cov diff --git a/tests/suite/certs-coverage/id:000662,sync:fuzzer03,src:000656 b/tests/suite/certs-coverage/id:000662,sync:fuzzer03,src:000656 Binary files differnew file mode 100644 index 0000000000..e4a96e2449 --- /dev/null +++ b/tests/suite/certs-coverage/id:000662,sync:fuzzer03,src:000656 diff --git a/tests/suite/certs-coverage/id:000663,sync:fuzzer03,src:000657,+cov b/tests/suite/certs-coverage/id:000663,sync:fuzzer03,src:000657,+cov Binary files differnew file mode 100644 index 0000000000..9b541cbd94 --- /dev/null +++ b/tests/suite/certs-coverage/id:000663,sync:fuzzer03,src:000657,+cov diff --git a/tests/suite/certs-coverage/id:000664,sync:fuzzer03,src:000658 b/tests/suite/certs-coverage/id:000664,sync:fuzzer03,src:000658 Binary files differnew file mode 100644 index 0000000000..9f4a93029c --- /dev/null +++ b/tests/suite/certs-coverage/id:000664,sync:fuzzer03,src:000658 diff --git a/tests/suite/certs-coverage/id:000665,sync:fuzzer03,src:000648 b/tests/suite/certs-coverage/id:000665,sync:fuzzer03,src:000648 Binary files differnew file mode 100644 index 0000000000..966f1adc2f --- /dev/null +++ b/tests/suite/certs-coverage/id:000665,sync:fuzzer03,src:000648 diff --git a/tests/suite/certs-coverage/id:000665,sync:fuzzer05,src:000663 b/tests/suite/certs-coverage/id:000665,sync:fuzzer05,src:000663 Binary files differnew file mode 100644 index 0000000000..688a8ef137 --- /dev/null +++ b/tests/suite/certs-coverage/id:000665,sync:fuzzer05,src:000663 diff --git a/tests/suite/certs-coverage/id:000666,sync:fuzzer01,src:000642 b/tests/suite/certs-coverage/id:000666,sync:fuzzer01,src:000642 Binary files differnew file mode 100644 index 0000000000..57c65b5865 --- /dev/null +++ b/tests/suite/certs-coverage/id:000666,sync:fuzzer01,src:000642 diff --git a/tests/suite/certs-coverage/id:000667,sync:fuzzer01,src:000643 b/tests/suite/certs-coverage/id:000667,sync:fuzzer01,src:000643 Binary files differnew file mode 100644 index 0000000000..9944c0e10a --- /dev/null +++ b/tests/suite/certs-coverage/id:000667,sync:fuzzer01,src:000643 diff --git a/tests/suite/certs-coverage/id:000668,sync:fuzzer01,src:000644 b/tests/suite/certs-coverage/id:000668,sync:fuzzer01,src:000644 Binary files differnew file mode 100644 index 0000000000..7ab27384aa --- /dev/null +++ b/tests/suite/certs-coverage/id:000668,sync:fuzzer01,src:000644 diff --git a/tests/suite/certs-coverage/id:000669,sync:fuzzer03,src:000649 b/tests/suite/certs-coverage/id:000669,sync:fuzzer03,src:000649 Binary files differnew file mode 100644 index 0000000000..f56825aedd --- /dev/null +++ b/tests/suite/certs-coverage/id:000669,sync:fuzzer03,src:000649 diff --git a/tests/suite/certs-coverage/id:000669,sync:fuzzer05,src:000667 b/tests/suite/certs-coverage/id:000669,sync:fuzzer05,src:000667 Binary files differnew file mode 100644 index 0000000000..81138f2195 --- /dev/null +++ b/tests/suite/certs-coverage/id:000669,sync:fuzzer05,src:000667 diff --git a/tests/suite/certs-coverage/id:000670,sync:fuzzer02,src:000657 b/tests/suite/certs-coverage/id:000670,sync:fuzzer02,src:000657 Binary files differnew file mode 100644 index 0000000000..f08f52a62a --- /dev/null +++ b/tests/suite/certs-coverage/id:000670,sync:fuzzer02,src:000657 diff --git a/tests/suite/certs-coverage/id:000671,sync:fuzzer01,src:000645 b/tests/suite/certs-coverage/id:000671,sync:fuzzer01,src:000645 Binary files differnew file mode 100644 index 0000000000..cc2dfd63f5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000671,sync:fuzzer01,src:000645 diff --git a/tests/suite/certs-coverage/id:000672,sync:fuzzer03,src:000666 b/tests/suite/certs-coverage/id:000672,sync:fuzzer03,src:000666 Binary files differnew file mode 100644 index 0000000000..e3f5c1a8d3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000672,sync:fuzzer03,src:000666 diff --git a/tests/suite/certs-coverage/id:000680,sync:fuzzer07,src:000674 b/tests/suite/certs-coverage/id:000680,sync:fuzzer07,src:000674 Binary files differnew file mode 100644 index 0000000000..a1f29f98b9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000680,sync:fuzzer07,src:000674 diff --git a/tests/suite/certs-coverage/id:000681,sync:fuzzer01,src:000646,+cov b/tests/suite/certs-coverage/id:000681,sync:fuzzer01,src:000646,+cov Binary files differnew file mode 100644 index 0000000000..ea814e68f7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000681,sync:fuzzer01,src:000646,+cov diff --git a/tests/suite/certs-coverage/id:000681,sync:fuzzer03,src:000672 b/tests/suite/certs-coverage/id:000681,sync:fuzzer03,src:000672 Binary files differnew file mode 100644 index 0000000000..884a8acd51 --- /dev/null +++ b/tests/suite/certs-coverage/id:000681,sync:fuzzer03,src:000672 diff --git a/tests/suite/certs-coverage/id:000683,sync:fuzzer03,src:000673 b/tests/suite/certs-coverage/id:000683,sync:fuzzer03,src:000673 Binary files differnew file mode 100644 index 0000000000..342b7b1ac3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000683,sync:fuzzer03,src:000673 diff --git a/tests/suite/certs-coverage/id:000685,sync:fuzzer03,src:000676 b/tests/suite/certs-coverage/id:000685,sync:fuzzer03,src:000676 Binary files differnew file mode 100644 index 0000000000..562a18144c --- /dev/null +++ b/tests/suite/certs-coverage/id:000685,sync:fuzzer03,src:000676 diff --git a/tests/suite/certs-coverage/id:000686,sync:fuzzer03,src:000675 b/tests/suite/certs-coverage/id:000686,sync:fuzzer03,src:000675 Binary files differnew file mode 100644 index 0000000000..05d6a66615 --- /dev/null +++ b/tests/suite/certs-coverage/id:000686,sync:fuzzer03,src:000675 diff --git a/tests/suite/certs-coverage/id:000687,sync:fuzzer03,src:000671 b/tests/suite/certs-coverage/id:000687,sync:fuzzer03,src:000671 Binary files differnew file mode 100644 index 0000000000..f792c40874 --- /dev/null +++ b/tests/suite/certs-coverage/id:000687,sync:fuzzer03,src:000671 diff --git a/tests/suite/certs-coverage/id:000687,sync:fuzzer03,src:000677 b/tests/suite/certs-coverage/id:000687,sync:fuzzer03,src:000677 Binary files differnew file mode 100644 index 0000000000..e56bb2506b --- /dev/null +++ b/tests/suite/certs-coverage/id:000687,sync:fuzzer03,src:000677 diff --git a/tests/suite/certs-coverage/id:000689,sync:fuzzer08,src:000667 b/tests/suite/certs-coverage/id:000689,sync:fuzzer08,src:000667 Binary files differnew file mode 100644 index 0000000000..fe53f65334 --- /dev/null +++ b/tests/suite/certs-coverage/id:000689,sync:fuzzer08,src:000667 diff --git a/tests/suite/certs-coverage/id:000690,sync:fuzzer02,src:000669 b/tests/suite/certs-coverage/id:000690,sync:fuzzer02,src:000669 Binary files differnew file mode 100644 index 0000000000..3d35c51f00 --- /dev/null +++ b/tests/suite/certs-coverage/id:000690,sync:fuzzer02,src:000669 diff --git a/tests/suite/certs-coverage/id:000691,sync:fuzzer08,src:000668 b/tests/suite/certs-coverage/id:000691,sync:fuzzer08,src:000668 Binary files differnew file mode 100644 index 0000000000..2bdfd54653 --- /dev/null +++ b/tests/suite/certs-coverage/id:000691,sync:fuzzer08,src:000668 diff --git a/tests/suite/certs-coverage/id:000693,sync:fuzzer08,src:000679 b/tests/suite/certs-coverage/id:000693,sync:fuzzer08,src:000679 Binary files differnew file mode 100644 index 0000000000..29bbeb49dd --- /dev/null +++ b/tests/suite/certs-coverage/id:000693,sync:fuzzer08,src:000679 diff --git a/tests/suite/certs-coverage/id:000694,sync:fuzzer03,src:000686 b/tests/suite/certs-coverage/id:000694,sync:fuzzer03,src:000686 Binary files differnew file mode 100644 index 0000000000..f1ece92ff2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000694,sync:fuzzer03,src:000686 diff --git a/tests/suite/certs-coverage/id:000696,sync:fuzzer03,src:000680,+cov b/tests/suite/certs-coverage/id:000696,sync:fuzzer03,src:000680,+cov Binary files differnew file mode 100644 index 0000000000..bbc8ee2068 --- /dev/null +++ b/tests/suite/certs-coverage/id:000696,sync:fuzzer03,src:000680,+cov diff --git a/tests/suite/certs-coverage/id:000699,sync:fuzzer03,src:000689 b/tests/suite/certs-coverage/id:000699,sync:fuzzer03,src:000689 Binary files differnew file mode 100644 index 0000000000..ca4cc262e7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000699,sync:fuzzer03,src:000689 diff --git a/tests/suite/certs-coverage/id:000699,sync:fuzzer08,src:000690 b/tests/suite/certs-coverage/id:000699,sync:fuzzer08,src:000690 Binary files differnew file mode 100644 index 0000000000..b8b4741f29 --- /dev/null +++ b/tests/suite/certs-coverage/id:000699,sync:fuzzer08,src:000690 diff --git a/tests/suite/certs-coverage/id:000700,sync:fuzzer03,src:000679,+cov b/tests/suite/certs-coverage/id:000700,sync:fuzzer03,src:000679,+cov Binary files differnew file mode 100644 index 0000000000..0dd746ab5d --- /dev/null +++ b/tests/suite/certs-coverage/id:000700,sync:fuzzer03,src:000679,+cov diff --git a/tests/suite/certs-coverage/id:000701,sync:fuzzer08,src:000683,+cov b/tests/suite/certs-coverage/id:000701,sync:fuzzer08,src:000683,+cov Binary files differnew file mode 100644 index 0000000000..90747b24da --- /dev/null +++ b/tests/suite/certs-coverage/id:000701,sync:fuzzer08,src:000683,+cov diff --git a/tests/suite/certs-coverage/id:000702,sync:fuzzer03,src:000695 b/tests/suite/certs-coverage/id:000702,sync:fuzzer03,src:000695 Binary files differnew file mode 100644 index 0000000000..4ed3e1037b --- /dev/null +++ b/tests/suite/certs-coverage/id:000702,sync:fuzzer03,src:000695 diff --git a/tests/suite/certs-coverage/id:000702,sync:fuzzer07,src:000697 b/tests/suite/certs-coverage/id:000702,sync:fuzzer07,src:000697 Binary files differnew file mode 100644 index 0000000000..0a5599ca59 --- /dev/null +++ b/tests/suite/certs-coverage/id:000702,sync:fuzzer07,src:000697 diff --git a/tests/suite/certs-coverage/id:000703,sync:fuzzer08,src:000688 b/tests/suite/certs-coverage/id:000703,sync:fuzzer08,src:000688 Binary files differnew file mode 100644 index 0000000000..7af173b18f --- /dev/null +++ b/tests/suite/certs-coverage/id:000703,sync:fuzzer08,src:000688 diff --git a/tests/suite/certs-coverage/id:000704,sync:fuzzer08,src:000684 b/tests/suite/certs-coverage/id:000704,sync:fuzzer08,src:000684 Binary files differnew file mode 100644 index 0000000000..5dc0a75b5e --- /dev/null +++ b/tests/suite/certs-coverage/id:000704,sync:fuzzer08,src:000684 diff --git a/tests/suite/certs-coverage/id:000706,sync:fuzzer07,src:000696 b/tests/suite/certs-coverage/id:000706,sync:fuzzer07,src:000696 Binary files differnew file mode 100644 index 0000000000..8b70178874 --- /dev/null +++ b/tests/suite/certs-coverage/id:000706,sync:fuzzer07,src:000696 diff --git a/tests/suite/certs-coverage/id:000707,sync:fuzzer03,src:000681 b/tests/suite/certs-coverage/id:000707,sync:fuzzer03,src:000681 Binary files differnew file mode 100644 index 0000000000..e1fd19f80b --- /dev/null +++ b/tests/suite/certs-coverage/id:000707,sync:fuzzer03,src:000681 diff --git a/tests/suite/certs-coverage/id:000707,sync:fuzzer07,src:000695,+cov b/tests/suite/certs-coverage/id:000707,sync:fuzzer07,src:000695,+cov Binary files differnew file mode 100644 index 0000000000..6b5b918cdf --- /dev/null +++ b/tests/suite/certs-coverage/id:000707,sync:fuzzer07,src:000695,+cov diff --git a/tests/suite/certs-coverage/id:000708,sync:fuzzer06,src:000683 b/tests/suite/certs-coverage/id:000708,sync:fuzzer06,src:000683 Binary files differnew file mode 100644 index 0000000000..9f19ff89b1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000708,sync:fuzzer06,src:000683 diff --git a/tests/suite/certs-coverage/id:000710,sync:fuzzer03,src:000688,+cov b/tests/suite/certs-coverage/id:000710,sync:fuzzer03,src:000688,+cov Binary files differnew file mode 100644 index 0000000000..789ee9a488 --- /dev/null +++ b/tests/suite/certs-coverage/id:000710,sync:fuzzer03,src:000688,+cov diff --git a/tests/suite/certs-coverage/id:000711,sync:fuzzer03,src:000705 b/tests/suite/certs-coverage/id:000711,sync:fuzzer03,src:000705 Binary files differnew file mode 100644 index 0000000000..317c1cb1cd --- /dev/null +++ b/tests/suite/certs-coverage/id:000711,sync:fuzzer03,src:000705 diff --git a/tests/suite/certs-coverage/id:000712,src:000588,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000712,src:000588,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..3a74813810 --- /dev/null +++ b/tests/suite/certs-coverage/id:000712,src:000588,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000712,sync:fuzzer03,src:000704 b/tests/suite/certs-coverage/id:000712,sync:fuzzer03,src:000704 Binary files differnew file mode 100644 index 0000000000..34b1fee095 --- /dev/null +++ b/tests/suite/certs-coverage/id:000712,sync:fuzzer03,src:000704 diff --git a/tests/suite/certs-coverage/id:000713,sync:fuzzer03,src:000703,+cov b/tests/suite/certs-coverage/id:000713,sync:fuzzer03,src:000703,+cov Binary files differnew file mode 100644 index 0000000000..daa340a72d --- /dev/null +++ b/tests/suite/certs-coverage/id:000713,sync:fuzzer03,src:000703,+cov diff --git a/tests/suite/certs-coverage/id:000714,sync:fuzzer03,src:000707 b/tests/suite/certs-coverage/id:000714,sync:fuzzer03,src:000707 Binary files differnew file mode 100644 index 0000000000..cd92e91cf5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000714,sync:fuzzer03,src:000707 diff --git a/tests/suite/certs-coverage/id:000715,src:000575+000585,op:splice,rep:4,+cov b/tests/suite/certs-coverage/id:000715,src:000575+000585,op:splice,rep:4,+cov Binary files differnew file mode 100644 index 0000000000..28fd7402c6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000715,src:000575+000585,op:splice,rep:4,+cov diff --git a/tests/suite/certs-coverage/id:000715,src:000589+000161,op:splice,rep:2 b/tests/suite/certs-coverage/id:000715,src:000589+000161,op:splice,rep:2 Binary files differnew file mode 100644 index 0000000000..0e39a100b4 --- /dev/null +++ b/tests/suite/certs-coverage/id:000715,src:000589+000161,op:splice,rep:2 diff --git a/tests/suite/certs-coverage/id:000715,sync:fuzzer03,src:000706 b/tests/suite/certs-coverage/id:000715,sync:fuzzer03,src:000706 Binary files differnew file mode 100644 index 0000000000..c6198b88e6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000715,sync:fuzzer03,src:000706 diff --git a/tests/suite/certs-coverage/id:000717,sync:fuzzer03,src:000710 b/tests/suite/certs-coverage/id:000717,sync:fuzzer03,src:000710 Binary files differnew file mode 100644 index 0000000000..9f61b8d402 --- /dev/null +++ b/tests/suite/certs-coverage/id:000717,sync:fuzzer03,src:000710 diff --git a/tests/suite/certs-coverage/id:000718,sync:fuzzer03,src:000709,+cov b/tests/suite/certs-coverage/id:000718,sync:fuzzer03,src:000709,+cov Binary files differnew file mode 100644 index 0000000000..32deaaaa0e --- /dev/null +++ b/tests/suite/certs-coverage/id:000718,sync:fuzzer03,src:000709,+cov diff --git a/tests/suite/certs-coverage/id:000719,sync:fuzzer07,src:000719 b/tests/suite/certs-coverage/id:000719,sync:fuzzer07,src:000719 Binary files differnew file mode 100644 index 0000000000..938a1899cb --- /dev/null +++ b/tests/suite/certs-coverage/id:000719,sync:fuzzer07,src:000719 diff --git a/tests/suite/certs-coverage/id:000720,sync:fuzzer03,src:000711 b/tests/suite/certs-coverage/id:000720,sync:fuzzer03,src:000711 Binary files differnew file mode 100644 index 0000000000..4e370c604f --- /dev/null +++ b/tests/suite/certs-coverage/id:000720,sync:fuzzer03,src:000711 diff --git a/tests/suite/certs-coverage/id:000722,sync:fuzzer05,src:000717 b/tests/suite/certs-coverage/id:000722,sync:fuzzer05,src:000717 Binary files differnew file mode 100644 index 0000000000..2ac956ee44 --- /dev/null +++ b/tests/suite/certs-coverage/id:000722,sync:fuzzer05,src:000717 diff --git a/tests/suite/certs-coverage/id:000724,sync:fuzzer01,src:000674 b/tests/suite/certs-coverage/id:000724,sync:fuzzer01,src:000674 Binary files differnew file mode 100644 index 0000000000..fb239f1a46 --- /dev/null +++ b/tests/suite/certs-coverage/id:000724,sync:fuzzer01,src:000674 diff --git a/tests/suite/certs-coverage/id:000725,sync:fuzzer03,src:000717 b/tests/suite/certs-coverage/id:000725,sync:fuzzer03,src:000717 Binary files differnew file mode 100644 index 0000000000..ea334284c6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000725,sync:fuzzer03,src:000717 diff --git a/tests/suite/certs-coverage/id:000727,sync:fuzzer03,src:000718 b/tests/suite/certs-coverage/id:000727,sync:fuzzer03,src:000718 Binary files differnew file mode 100644 index 0000000000..2fbae10ee4 --- /dev/null +++ b/tests/suite/certs-coverage/id:000727,sync:fuzzer03,src:000718 diff --git a/tests/suite/certs-coverage/id:000730,src:000628,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000730,src:000628,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..6a27f36d82 --- /dev/null +++ b/tests/suite/certs-coverage/id:000730,src:000628,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000731,src:000632,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000731,src:000632,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..247e1c4027 --- /dev/null +++ b/tests/suite/certs-coverage/id:000731,src:000632,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000733,sync:fuzzer03,src:000722 b/tests/suite/certs-coverage/id:000733,sync:fuzzer03,src:000722 Binary files differnew file mode 100644 index 0000000000..749ac39202 --- /dev/null +++ b/tests/suite/certs-coverage/id:000733,sync:fuzzer03,src:000722 diff --git a/tests/suite/certs-coverage/id:000734,sync:fuzzer03,src:000723 b/tests/suite/certs-coverage/id:000734,sync:fuzzer03,src:000723 Binary files differnew file mode 100644 index 0000000000..081233c62b --- /dev/null +++ b/tests/suite/certs-coverage/id:000734,sync:fuzzer03,src:000723 diff --git a/tests/suite/certs-coverage/id:000735,sync:fuzzer03,src:000721 b/tests/suite/certs-coverage/id:000735,sync:fuzzer03,src:000721 Binary files differnew file mode 100644 index 0000000000..00a01d0116 --- /dev/null +++ b/tests/suite/certs-coverage/id:000735,sync:fuzzer03,src:000721 diff --git a/tests/suite/certs-coverage/id:000736,sync:fuzzer03,src:000727 b/tests/suite/certs-coverage/id:000736,sync:fuzzer03,src:000727 Binary files differnew file mode 100644 index 0000000000..5239404ef3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000736,sync:fuzzer03,src:000727 diff --git a/tests/suite/certs-coverage/id:000738,sync:fuzzer05,src:000731 b/tests/suite/certs-coverage/id:000738,sync:fuzzer05,src:000731 Binary files differnew file mode 100644 index 0000000000..bf6f686c91 --- /dev/null +++ b/tests/suite/certs-coverage/id:000738,sync:fuzzer05,src:000731 diff --git a/tests/suite/certs-coverage/id:000739,src:000644,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000739,src:000644,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..bb392eb7fa --- /dev/null +++ b/tests/suite/certs-coverage/id:000739,src:000644,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000740,sync:fuzzer05,src:000732 b/tests/suite/certs-coverage/id:000740,sync:fuzzer05,src:000732 Binary files differnew file mode 100644 index 0000000000..998fcfceb7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000740,sync:fuzzer05,src:000732 diff --git a/tests/suite/certs-coverage/id:000741,sync:fuzzer05,src:000733 b/tests/suite/certs-coverage/id:000741,sync:fuzzer05,src:000733 Binary files differnew file mode 100644 index 0000000000..d1fa515ea7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000741,sync:fuzzer05,src:000733 diff --git a/tests/suite/certs-coverage/id:000742,src:000696,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000742,src:000696,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..ffa8c9eebd --- /dev/null +++ b/tests/suite/certs-coverage/id:000742,src:000696,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000742,sync:fuzzer08,src:000727 b/tests/suite/certs-coverage/id:000742,sync:fuzzer08,src:000727 Binary files differnew file mode 100644 index 0000000000..1070bec016 --- /dev/null +++ b/tests/suite/certs-coverage/id:000742,sync:fuzzer08,src:000727 diff --git a/tests/suite/certs-coverage/id:000743,sync:fuzzer08,src:000726 b/tests/suite/certs-coverage/id:000743,sync:fuzzer08,src:000726 Binary files differnew file mode 100644 index 0000000000..7cdba518be --- /dev/null +++ b/tests/suite/certs-coverage/id:000743,sync:fuzzer08,src:000726 diff --git a/tests/suite/certs-coverage/id:000745,sync:fuzzer08,src:000729 b/tests/suite/certs-coverage/id:000745,sync:fuzzer08,src:000729 Binary files differnew file mode 100644 index 0000000000..7d988316dd --- /dev/null +++ b/tests/suite/certs-coverage/id:000745,sync:fuzzer08,src:000729 diff --git a/tests/suite/certs-coverage/id:000746,sync:fuzzer03,src:000737 b/tests/suite/certs-coverage/id:000746,sync:fuzzer03,src:000737 Binary files differnew file mode 100644 index 0000000000..7af97c39ed --- /dev/null +++ b/tests/suite/certs-coverage/id:000746,sync:fuzzer03,src:000737 diff --git a/tests/suite/certs-coverage/id:000747,sync:fuzzer05,src:000740 b/tests/suite/certs-coverage/id:000747,sync:fuzzer05,src:000740 Binary files differnew file mode 100644 index 0000000000..08bb4bda68 --- /dev/null +++ b/tests/suite/certs-coverage/id:000747,sync:fuzzer05,src:000740 diff --git a/tests/suite/certs-coverage/id:000748,sync:fuzzer04,src:000743 b/tests/suite/certs-coverage/id:000748,sync:fuzzer04,src:000743 Binary files differnew file mode 100644 index 0000000000..0cb602dd15 --- /dev/null +++ b/tests/suite/certs-coverage/id:000748,sync:fuzzer04,src:000743 diff --git a/tests/suite/certs-coverage/id:000748,sync:fuzzer06,src:000741 b/tests/suite/certs-coverage/id:000748,sync:fuzzer06,src:000741 Binary files differnew file mode 100644 index 0000000000..fafb1d03b8 --- /dev/null +++ b/tests/suite/certs-coverage/id:000748,sync:fuzzer06,src:000741 diff --git a/tests/suite/certs-coverage/id:000749,src:000716,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000749,src:000716,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..e80c5f1527 --- /dev/null +++ b/tests/suite/certs-coverage/id:000749,src:000716,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000750,sync:fuzzer03,src:000740 b/tests/suite/certs-coverage/id:000750,sync:fuzzer03,src:000740 Binary files differnew file mode 100644 index 0000000000..6fb8508347 --- /dev/null +++ b/tests/suite/certs-coverage/id:000750,sync:fuzzer03,src:000740 diff --git a/tests/suite/certs-coverage/id:000751,sync:fuzzer03,src:000742 b/tests/suite/certs-coverage/id:000751,sync:fuzzer03,src:000742 Binary files differnew file mode 100644 index 0000000000..5dd7e288e3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000751,sync:fuzzer03,src:000742 diff --git a/tests/suite/certs-coverage/id:000752,src:000749,op:havoc,rep:8 b/tests/suite/certs-coverage/id:000752,src:000749,op:havoc,rep:8 Binary files differnew file mode 100644 index 0000000000..c256172144 --- /dev/null +++ b/tests/suite/certs-coverage/id:000752,src:000749,op:havoc,rep:8 diff --git a/tests/suite/certs-coverage/id:000753,src:000731+000366,op:splice,rep:2 b/tests/suite/certs-coverage/id:000753,src:000731+000366,op:splice,rep:2 Binary files differnew file mode 100644 index 0000000000..5142ef1f9a --- /dev/null +++ b/tests/suite/certs-coverage/id:000753,src:000731+000366,op:splice,rep:2 diff --git a/tests/suite/certs-coverage/id:000754,sync:fuzzer05,src:000746 b/tests/suite/certs-coverage/id:000754,sync:fuzzer05,src:000746 Binary files differnew file mode 100644 index 0000000000..0c93ecf158 --- /dev/null +++ b/tests/suite/certs-coverage/id:000754,sync:fuzzer05,src:000746 diff --git a/tests/suite/certs-coverage/id:000755,sync:fuzzer03,src:000749 b/tests/suite/certs-coverage/id:000755,sync:fuzzer03,src:000749 Binary files differnew file mode 100644 index 0000000000..7040739bba --- /dev/null +++ b/tests/suite/certs-coverage/id:000755,sync:fuzzer03,src:000749 diff --git a/tests/suite/certs-coverage/id:000756,sync:fuzzer03,src:000748 b/tests/suite/certs-coverage/id:000756,sync:fuzzer03,src:000748 Binary files differnew file mode 100644 index 0000000000..bec475e24b --- /dev/null +++ b/tests/suite/certs-coverage/id:000756,sync:fuzzer03,src:000748 diff --git a/tests/suite/certs-coverage/id:000759,sync:fuzzer03,src:000750 b/tests/suite/certs-coverage/id:000759,sync:fuzzer03,src:000750 Binary files differnew file mode 100644 index 0000000000..cfc2d1e1cd --- /dev/null +++ b/tests/suite/certs-coverage/id:000759,sync:fuzzer03,src:000750 diff --git a/tests/suite/certs-coverage/id:000760,sync:fuzzer03,src:000751 b/tests/suite/certs-coverage/id:000760,sync:fuzzer03,src:000751 Binary files differnew file mode 100644 index 0000000000..a7c6ece695 --- /dev/null +++ b/tests/suite/certs-coverage/id:000760,sync:fuzzer03,src:000751 diff --git a/tests/suite/certs-coverage/id:000767,sync:fuzzer03,src:000758 b/tests/suite/certs-coverage/id:000767,sync:fuzzer03,src:000758 Binary files differnew file mode 100644 index 0000000000..623e1f8893 --- /dev/null +++ b/tests/suite/certs-coverage/id:000767,sync:fuzzer03,src:000758 diff --git a/tests/suite/certs-coverage/id:000770,sync:fuzzer03,src:000764 b/tests/suite/certs-coverage/id:000770,sync:fuzzer03,src:000764 Binary files differnew file mode 100644 index 0000000000..27bef4fe5c --- /dev/null +++ b/tests/suite/certs-coverage/id:000770,sync:fuzzer03,src:000764 diff --git a/tests/suite/certs-coverage/id:000771,sync:fuzzer03,src:000762,+cov b/tests/suite/certs-coverage/id:000771,sync:fuzzer03,src:000762,+cov Binary files differnew file mode 100644 index 0000000000..67f52ef42f --- /dev/null +++ b/tests/suite/certs-coverage/id:000771,sync:fuzzer03,src:000762,+cov diff --git a/tests/suite/certs-coverage/id:000772,sync:fuzzer03,src:000763 b/tests/suite/certs-coverage/id:000772,sync:fuzzer03,src:000763 Binary files differnew file mode 100644 index 0000000000..bd5170bd0b --- /dev/null +++ b/tests/suite/certs-coverage/id:000772,sync:fuzzer03,src:000763 diff --git a/tests/suite/certs-coverage/id:000773,sync:fuzzer03,src:000760 b/tests/suite/certs-coverage/id:000773,sync:fuzzer03,src:000760 Binary files differnew file mode 100644 index 0000000000..f069260494 --- /dev/null +++ b/tests/suite/certs-coverage/id:000773,sync:fuzzer03,src:000760 diff --git a/tests/suite/certs-coverage/id:000774,sync:fuzzer03,src:000765 b/tests/suite/certs-coverage/id:000774,sync:fuzzer03,src:000765 Binary files differnew file mode 100644 index 0000000000..dcded91c96 --- /dev/null +++ b/tests/suite/certs-coverage/id:000774,sync:fuzzer03,src:000765 diff --git a/tests/suite/certs-coverage/id:000775,src:000771,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000775,src:000771,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..3334b3691e --- /dev/null +++ b/tests/suite/certs-coverage/id:000775,src:000771,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000776,sync:fuzzer03,src:000766 b/tests/suite/certs-coverage/id:000776,sync:fuzzer03,src:000766 Binary files differnew file mode 100644 index 0000000000..879c502f03 --- /dev/null +++ b/tests/suite/certs-coverage/id:000776,sync:fuzzer03,src:000766 diff --git a/tests/suite/certs-coverage/id:000777,sync:fuzzer05,src:000772,+cov b/tests/suite/certs-coverage/id:000777,sync:fuzzer05,src:000772,+cov Binary files differnew file mode 100644 index 0000000000..08eb641365 --- /dev/null +++ b/tests/suite/certs-coverage/id:000777,sync:fuzzer05,src:000772,+cov diff --git a/tests/suite/certs-coverage/id:000779,sync:fuzzer05,src:000773 b/tests/suite/certs-coverage/id:000779,sync:fuzzer05,src:000773 Binary files differnew file mode 100644 index 0000000000..2805187d92 --- /dev/null +++ b/tests/suite/certs-coverage/id:000779,sync:fuzzer05,src:000773 diff --git a/tests/suite/certs-coverage/id:000780,sync:fuzzer03,src:000772 b/tests/suite/certs-coverage/id:000780,sync:fuzzer03,src:000772 Binary files differnew file mode 100644 index 0000000000..e83643992c --- /dev/null +++ b/tests/suite/certs-coverage/id:000780,sync:fuzzer03,src:000772 diff --git a/tests/suite/certs-coverage/id:000782,sync:fuzzer03,src:000773 b/tests/suite/certs-coverage/id:000782,sync:fuzzer03,src:000773 Binary files differnew file mode 100644 index 0000000000..640e3abea6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000782,sync:fuzzer03,src:000773 diff --git a/tests/suite/certs-coverage/id:000783,sync:fuzzer08,src:000768 b/tests/suite/certs-coverage/id:000783,sync:fuzzer08,src:000768 Binary files differnew file mode 100644 index 0000000000..a820965c3e --- /dev/null +++ b/tests/suite/certs-coverage/id:000783,sync:fuzzer08,src:000768 diff --git a/tests/suite/certs-coverage/id:000785,sync:fuzzer01,src:000747 b/tests/suite/certs-coverage/id:000785,sync:fuzzer01,src:000747 Binary files differnew file mode 100644 index 0000000000..40f08c0f4d --- /dev/null +++ b/tests/suite/certs-coverage/id:000785,sync:fuzzer01,src:000747 diff --git a/tests/suite/certs-coverage/id:000786,sync:fuzzer04,src:000781 b/tests/suite/certs-coverage/id:000786,sync:fuzzer04,src:000781 Binary files differnew file mode 100644 index 0000000000..29e28fe1b9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000786,sync:fuzzer04,src:000781 diff --git a/tests/suite/certs-coverage/id:000788,sync:fuzzer08,src:000769,+cov b/tests/suite/certs-coverage/id:000788,sync:fuzzer08,src:000769,+cov Binary files differnew file mode 100644 index 0000000000..af1a387950 --- /dev/null +++ b/tests/suite/certs-coverage/id:000788,sync:fuzzer08,src:000769,+cov diff --git a/tests/suite/certs-coverage/id:000789,sync:fuzzer03,src:000782 b/tests/suite/certs-coverage/id:000789,sync:fuzzer03,src:000782 Binary files differnew file mode 100644 index 0000000000..7f2fee84dd --- /dev/null +++ b/tests/suite/certs-coverage/id:000789,sync:fuzzer03,src:000782 diff --git a/tests/suite/certs-coverage/id:000790,src:000787,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000790,src:000787,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..f99ffad013 --- /dev/null +++ b/tests/suite/certs-coverage/id:000790,src:000787,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000791,sync:fuzzer03,src:000780 b/tests/suite/certs-coverage/id:000791,sync:fuzzer03,src:000780 Binary files differnew file mode 100644 index 0000000000..d341a4dc91 --- /dev/null +++ b/tests/suite/certs-coverage/id:000791,sync:fuzzer03,src:000780 diff --git a/tests/suite/certs-coverage/id:000793,sync:fuzzer03,src:000783 b/tests/suite/certs-coverage/id:000793,sync:fuzzer03,src:000783 Binary files differnew file mode 100644 index 0000000000..270b00f256 --- /dev/null +++ b/tests/suite/certs-coverage/id:000793,sync:fuzzer03,src:000783 diff --git a/tests/suite/certs-coverage/id:000794,sync:fuzzer03,src:000784 b/tests/suite/certs-coverage/id:000794,sync:fuzzer03,src:000784 Binary files differnew file mode 100644 index 0000000000..08bd628d2c --- /dev/null +++ b/tests/suite/certs-coverage/id:000794,sync:fuzzer03,src:000784 diff --git a/tests/suite/certs-coverage/id:000795,sync:fuzzer03,src:000788 b/tests/suite/certs-coverage/id:000795,sync:fuzzer03,src:000788 Binary files differnew file mode 100644 index 0000000000..fb2d9be97c --- /dev/null +++ b/tests/suite/certs-coverage/id:000795,sync:fuzzer03,src:000788 diff --git a/tests/suite/certs-coverage/id:000798,sync:fuzzer03,src:000790 b/tests/suite/certs-coverage/id:000798,sync:fuzzer03,src:000790 Binary files differnew file mode 100644 index 0000000000..b21535e21f --- /dev/null +++ b/tests/suite/certs-coverage/id:000798,sync:fuzzer03,src:000790 diff --git a/tests/suite/certs-coverage/id:000798,sync:fuzzer07,src:000797 b/tests/suite/certs-coverage/id:000798,sync:fuzzer07,src:000797 Binary files differnew file mode 100644 index 0000000000..1026147cb2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000798,sync:fuzzer07,src:000797 diff --git a/tests/suite/certs-coverage/id:000799,sync:fuzzer03,src:000792 b/tests/suite/certs-coverage/id:000799,sync:fuzzer03,src:000792 Binary files differnew file mode 100644 index 0000000000..b8747c5f90 --- /dev/null +++ b/tests/suite/certs-coverage/id:000799,sync:fuzzer03,src:000792 diff --git a/tests/suite/certs-coverage/id:000801,sync:fuzzer07,src:000801 b/tests/suite/certs-coverage/id:000801,sync:fuzzer07,src:000801 Binary files differnew file mode 100644 index 0000000000..868e0722bc --- /dev/null +++ b/tests/suite/certs-coverage/id:000801,sync:fuzzer07,src:000801 diff --git a/tests/suite/certs-coverage/id:000802,sync:fuzzer03,src:000794 b/tests/suite/certs-coverage/id:000802,sync:fuzzer03,src:000794 Binary files differnew file mode 100644 index 0000000000..c23f6f52b2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000802,sync:fuzzer03,src:000794 diff --git a/tests/suite/certs-coverage/id:000804,sync:fuzzer02,src:000793 b/tests/suite/certs-coverage/id:000804,sync:fuzzer02,src:000793 Binary files differnew file mode 100644 index 0000000000..380174a29c --- /dev/null +++ b/tests/suite/certs-coverage/id:000804,sync:fuzzer02,src:000793 diff --git a/tests/suite/certs-coverage/id:000805,sync:fuzzer03,src:000798,+cov b/tests/suite/certs-coverage/id:000805,sync:fuzzer03,src:000798,+cov Binary files differnew file mode 100644 index 0000000000..6e8aeb6ceb --- /dev/null +++ b/tests/suite/certs-coverage/id:000805,sync:fuzzer03,src:000798,+cov diff --git a/tests/suite/certs-coverage/id:000806,sync:fuzzer03,src:000799 b/tests/suite/certs-coverage/id:000806,sync:fuzzer03,src:000799 Binary files differnew file mode 100644 index 0000000000..372e7ba910 --- /dev/null +++ b/tests/suite/certs-coverage/id:000806,sync:fuzzer03,src:000799 diff --git a/tests/suite/certs-coverage/id:000807,sync:fuzzer06,src:000796 b/tests/suite/certs-coverage/id:000807,sync:fuzzer06,src:000796 Binary files differnew file mode 100644 index 0000000000..746838c0ad --- /dev/null +++ b/tests/suite/certs-coverage/id:000807,sync:fuzzer06,src:000796 diff --git a/tests/suite/certs-coverage/id:000808,sync:fuzzer03,src:000802 b/tests/suite/certs-coverage/id:000808,sync:fuzzer03,src:000802 Binary files differnew file mode 100644 index 0000000000..62ec0fee66 --- /dev/null +++ b/tests/suite/certs-coverage/id:000808,sync:fuzzer03,src:000802 diff --git a/tests/suite/certs-coverage/id:000810,sync:fuzzer03,src:000803 b/tests/suite/certs-coverage/id:000810,sync:fuzzer03,src:000803 Binary files differnew file mode 100644 index 0000000000..357b0a5afb --- /dev/null +++ b/tests/suite/certs-coverage/id:000810,sync:fuzzer03,src:000803 diff --git a/tests/suite/certs-coverage/id:000811,sync:fuzzer08,src:000794 b/tests/suite/certs-coverage/id:000811,sync:fuzzer08,src:000794 Binary files differnew file mode 100644 index 0000000000..fb309b87b5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000811,sync:fuzzer08,src:000794 diff --git a/tests/suite/certs-coverage/id:000812,sync:fuzzer05,src:000804 b/tests/suite/certs-coverage/id:000812,sync:fuzzer05,src:000804 Binary files differnew file mode 100644 index 0000000000..fd8237e977 --- /dev/null +++ b/tests/suite/certs-coverage/id:000812,sync:fuzzer05,src:000804 diff --git a/tests/suite/certs-coverage/id:000813,sync:fuzzer02,src:000802 b/tests/suite/certs-coverage/id:000813,sync:fuzzer02,src:000802 Binary files differnew file mode 100644 index 0000000000..135b9de11e --- /dev/null +++ b/tests/suite/certs-coverage/id:000813,sync:fuzzer02,src:000802 diff --git a/tests/suite/certs-coverage/id:000820,src:000815,op:havoc,rep:2 b/tests/suite/certs-coverage/id:000820,src:000815,op:havoc,rep:2 Binary files differnew file mode 100644 index 0000000000..312510269f --- /dev/null +++ b/tests/suite/certs-coverage/id:000820,src:000815,op:havoc,rep:2 diff --git a/tests/suite/certs-coverage/id:000820,sync:fuzzer05,src:000816 b/tests/suite/certs-coverage/id:000820,sync:fuzzer05,src:000816 Binary files differnew file mode 100644 index 0000000000..a0502747f1 --- /dev/null +++ b/tests/suite/certs-coverage/id:000820,sync:fuzzer05,src:000816 diff --git a/tests/suite/certs-coverage/id:000823,sync:fuzzer03,src:000816 b/tests/suite/certs-coverage/id:000823,sync:fuzzer03,src:000816 Binary files differnew file mode 100644 index 0000000000..83ac5dd8eb --- /dev/null +++ b/tests/suite/certs-coverage/id:000823,sync:fuzzer03,src:000816 diff --git a/tests/suite/certs-coverage/id:000824,sync:fuzzer07,src:000821 b/tests/suite/certs-coverage/id:000824,sync:fuzzer07,src:000821 Binary files differnew file mode 100644 index 0000000000..4754cf8095 --- /dev/null +++ b/tests/suite/certs-coverage/id:000824,sync:fuzzer07,src:000821 diff --git a/tests/suite/certs-coverage/id:000828,sync:fuzzer01,src:000797 b/tests/suite/certs-coverage/id:000828,sync:fuzzer01,src:000797 Binary files differnew file mode 100644 index 0000000000..f1e9f5526e --- /dev/null +++ b/tests/suite/certs-coverage/id:000828,sync:fuzzer01,src:000797 diff --git a/tests/suite/certs-coverage/id:000829,sync:fuzzer01,src:000798 b/tests/suite/certs-coverage/id:000829,sync:fuzzer01,src:000798 Binary files differnew file mode 100644 index 0000000000..c948ddd32a --- /dev/null +++ b/tests/suite/certs-coverage/id:000829,sync:fuzzer01,src:000798 diff --git a/tests/suite/certs-coverage/id:000833,sync:fuzzer03,src:000819 b/tests/suite/certs-coverage/id:000833,sync:fuzzer03,src:000819 Binary files differnew file mode 100644 index 0000000000..326f4cb4ab --- /dev/null +++ b/tests/suite/certs-coverage/id:000833,sync:fuzzer03,src:000819 diff --git a/tests/suite/certs-coverage/id:000833,sync:fuzzer07,src:000830 b/tests/suite/certs-coverage/id:000833,sync:fuzzer07,src:000830 Binary files differnew file mode 100644 index 0000000000..92246938e3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000833,sync:fuzzer07,src:000830 diff --git a/tests/suite/certs-coverage/id:000835,sync:fuzzer03,src:000831 b/tests/suite/certs-coverage/id:000835,sync:fuzzer03,src:000831 Binary files differnew file mode 100644 index 0000000000..cb9ea26441 --- /dev/null +++ b/tests/suite/certs-coverage/id:000835,sync:fuzzer03,src:000831 diff --git a/tests/suite/certs-coverage/id:000838,sync:fuzzer03,src:000825 b/tests/suite/certs-coverage/id:000838,sync:fuzzer03,src:000825 Binary files differnew file mode 100644 index 0000000000..924fefce4e --- /dev/null +++ b/tests/suite/certs-coverage/id:000838,sync:fuzzer03,src:000825 diff --git a/tests/suite/certs-coverage/id:000839,src:000833+000824,op:splice,rep:8 b/tests/suite/certs-coverage/id:000839,src:000833+000824,op:splice,rep:8 Binary files differnew file mode 100644 index 0000000000..60096a9ee7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000839,src:000833+000824,op:splice,rep:8 diff --git a/tests/suite/certs-coverage/id:000839,sync:fuzzer03,src:000830 b/tests/suite/certs-coverage/id:000839,sync:fuzzer03,src:000830 Binary files differnew file mode 100644 index 0000000000..96582ddfc3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000839,sync:fuzzer03,src:000830 diff --git a/tests/suite/certs-coverage/id:000839,sync:fuzzer06,src:000829 b/tests/suite/certs-coverage/id:000839,sync:fuzzer06,src:000829 Binary files differnew file mode 100644 index 0000000000..f2284096c8 --- /dev/null +++ b/tests/suite/certs-coverage/id:000839,sync:fuzzer06,src:000829 diff --git a/tests/suite/certs-coverage/id:000840,sync:fuzzer03,src:000828 b/tests/suite/certs-coverage/id:000840,sync:fuzzer03,src:000828 Binary files differnew file mode 100644 index 0000000000..2400cba212 --- /dev/null +++ b/tests/suite/certs-coverage/id:000840,sync:fuzzer03,src:000828 diff --git a/tests/suite/certs-coverage/id:000841,sync:fuzzer03,src:000836 b/tests/suite/certs-coverage/id:000841,sync:fuzzer03,src:000836 Binary files differnew file mode 100644 index 0000000000..062a466a6f --- /dev/null +++ b/tests/suite/certs-coverage/id:000841,sync:fuzzer03,src:000836 diff --git a/tests/suite/certs-coverage/id:000841,sync:fuzzer06,src:000826 b/tests/suite/certs-coverage/id:000841,sync:fuzzer06,src:000826 Binary files differnew file mode 100644 index 0000000000..0651b407d2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000841,sync:fuzzer06,src:000826 diff --git a/tests/suite/certs-coverage/id:000842,sync:fuzzer03,src:000817 b/tests/suite/certs-coverage/id:000842,sync:fuzzer03,src:000817 Binary files differnew file mode 100644 index 0000000000..8130ef699d --- /dev/null +++ b/tests/suite/certs-coverage/id:000842,sync:fuzzer03,src:000817 diff --git a/tests/suite/certs-coverage/id:000842,sync:fuzzer03,src:000826 b/tests/suite/certs-coverage/id:000842,sync:fuzzer03,src:000826 Binary files differnew file mode 100644 index 0000000000..aec354268a --- /dev/null +++ b/tests/suite/certs-coverage/id:000842,sync:fuzzer03,src:000826 diff --git a/tests/suite/certs-coverage/id:000843,sync:fuzzer01,src:000799 b/tests/suite/certs-coverage/id:000843,sync:fuzzer01,src:000799 Binary files differnew file mode 100644 index 0000000000..963af4ba1a --- /dev/null +++ b/tests/suite/certs-coverage/id:000843,sync:fuzzer01,src:000799 diff --git a/tests/suite/certs-coverage/id:000843,sync:fuzzer03,src:000833 b/tests/suite/certs-coverage/id:000843,sync:fuzzer03,src:000833 Binary files differnew file mode 100644 index 0000000000..442a169702 --- /dev/null +++ b/tests/suite/certs-coverage/id:000843,sync:fuzzer03,src:000833 diff --git a/tests/suite/certs-coverage/id:000844,src:000660,op:havoc,rep:2,+cov b/tests/suite/certs-coverage/id:000844,src:000660,op:havoc,rep:2,+cov Binary files differnew file mode 100644 index 0000000000..e54ffac923 --- /dev/null +++ b/tests/suite/certs-coverage/id:000844,src:000660,op:havoc,rep:2,+cov diff --git a/tests/suite/certs-coverage/id:000845,sync:fuzzer03,src:000818 b/tests/suite/certs-coverage/id:000845,sync:fuzzer03,src:000818 Binary files differnew file mode 100644 index 0000000000..6fc49f5b49 --- /dev/null +++ b/tests/suite/certs-coverage/id:000845,sync:fuzzer03,src:000818 diff --git a/tests/suite/certs-coverage/id:000846,src:000845,op:havoc,rep:2,+cov b/tests/suite/certs-coverage/id:000846,src:000845,op:havoc,rep:2,+cov Binary files differnew file mode 100644 index 0000000000..f0db25461d --- /dev/null +++ b/tests/suite/certs-coverage/id:000846,src:000845,op:havoc,rep:2,+cov diff --git a/tests/suite/certs-coverage/id:000846,sync:fuzzer08,src:000829 b/tests/suite/certs-coverage/id:000846,sync:fuzzer08,src:000829 Binary files differnew file mode 100644 index 0000000000..9cf5daace0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000846,sync:fuzzer08,src:000829 diff --git a/tests/suite/certs-coverage/id:000850,sync:fuzzer03,src:000844 b/tests/suite/certs-coverage/id:000850,sync:fuzzer03,src:000844 Binary files differnew file mode 100644 index 0000000000..bf1e7c132d --- /dev/null +++ b/tests/suite/certs-coverage/id:000850,sync:fuzzer03,src:000844 diff --git a/tests/suite/certs-coverage/id:000851,sync:fuzzer03,src:000845 b/tests/suite/certs-coverage/id:000851,sync:fuzzer03,src:000845 Binary files differnew file mode 100644 index 0000000000..d2fe6a86bf --- /dev/null +++ b/tests/suite/certs-coverage/id:000851,sync:fuzzer03,src:000845 diff --git a/tests/suite/certs-coverage/id:000852,sync:fuzzer03,src:000839 b/tests/suite/certs-coverage/id:000852,sync:fuzzer03,src:000839 Binary files differnew file mode 100644 index 0000000000..bbba5c9f96 --- /dev/null +++ b/tests/suite/certs-coverage/id:000852,sync:fuzzer03,src:000839 diff --git a/tests/suite/certs-coverage/id:000853,sync:fuzzer03,src:000842 b/tests/suite/certs-coverage/id:000853,sync:fuzzer03,src:000842 Binary files differnew file mode 100644 index 0000000000..fbec53751e --- /dev/null +++ b/tests/suite/certs-coverage/id:000853,sync:fuzzer03,src:000842 diff --git a/tests/suite/certs-coverage/id:000853,sync:fuzzer03,src:000847 b/tests/suite/certs-coverage/id:000853,sync:fuzzer03,src:000847 Binary files differnew file mode 100644 index 0000000000..249512ba0c --- /dev/null +++ b/tests/suite/certs-coverage/id:000853,sync:fuzzer03,src:000847 diff --git a/tests/suite/certs-coverage/id:000854,sync:fuzzer03,src:000843 b/tests/suite/certs-coverage/id:000854,sync:fuzzer03,src:000843 Binary files differnew file mode 100644 index 0000000000..4f85852fa2 --- /dev/null +++ b/tests/suite/certs-coverage/id:000854,sync:fuzzer03,src:000843 diff --git a/tests/suite/certs-coverage/id:000854,sync:fuzzer03,src:000848 b/tests/suite/certs-coverage/id:000854,sync:fuzzer03,src:000848 Binary files differnew file mode 100644 index 0000000000..2b42343fdc --- /dev/null +++ b/tests/suite/certs-coverage/id:000854,sync:fuzzer03,src:000848 diff --git a/tests/suite/certs-coverage/id:000855,sync:fuzzer03,src:000846 b/tests/suite/certs-coverage/id:000855,sync:fuzzer03,src:000846 Binary files differnew file mode 100644 index 0000000000..3443fb6e72 --- /dev/null +++ b/tests/suite/certs-coverage/id:000855,sync:fuzzer03,src:000846 diff --git a/tests/suite/certs-coverage/id:000857,sync:fuzzer03,src:000849 b/tests/suite/certs-coverage/id:000857,sync:fuzzer03,src:000849 Binary files differnew file mode 100644 index 0000000000..e45f43bfb5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000857,sync:fuzzer03,src:000849 diff --git a/tests/suite/certs-coverage/id:000858,sync:fuzzer03,src:000851 b/tests/suite/certs-coverage/id:000858,sync:fuzzer03,src:000851 Binary files differnew file mode 100644 index 0000000000..c3063b0c46 --- /dev/null +++ b/tests/suite/certs-coverage/id:000858,sync:fuzzer03,src:000851 diff --git a/tests/suite/certs-coverage/id:000859,sync:fuzzer03,src:000853 b/tests/suite/certs-coverage/id:000859,sync:fuzzer03,src:000853 Binary files differnew file mode 100644 index 0000000000..88d6df2393 --- /dev/null +++ b/tests/suite/certs-coverage/id:000859,sync:fuzzer03,src:000853 diff --git a/tests/suite/certs-coverage/id:000860,sync:fuzzer03,src:000850,+cov b/tests/suite/certs-coverage/id:000860,sync:fuzzer03,src:000850,+cov Binary files differnew file mode 100644 index 0000000000..07668fe165 --- /dev/null +++ b/tests/suite/certs-coverage/id:000860,sync:fuzzer03,src:000850,+cov diff --git a/tests/suite/certs-coverage/id:000861,sync:fuzzer03,src:000854,+cov b/tests/suite/certs-coverage/id:000861,sync:fuzzer03,src:000854,+cov Binary files differnew file mode 100644 index 0000000000..55d5b8894c --- /dev/null +++ b/tests/suite/certs-coverage/id:000861,sync:fuzzer03,src:000854,+cov diff --git a/tests/suite/certs-coverage/id:000862,sync:fuzzer05,src:000857 b/tests/suite/certs-coverage/id:000862,sync:fuzzer05,src:000857 Binary files differnew file mode 100644 index 0000000000..5ce5ff707d --- /dev/null +++ b/tests/suite/certs-coverage/id:000862,sync:fuzzer05,src:000857 diff --git a/tests/suite/certs-coverage/id:000863,sync:fuzzer05,src:000858 b/tests/suite/certs-coverage/id:000863,sync:fuzzer05,src:000858 Binary files differnew file mode 100644 index 0000000000..2dcec02070 --- /dev/null +++ b/tests/suite/certs-coverage/id:000863,sync:fuzzer05,src:000858 diff --git a/tests/suite/certs-coverage/id:000864,sync:fuzzer05,src:000859 b/tests/suite/certs-coverage/id:000864,sync:fuzzer05,src:000859 Binary files differnew file mode 100644 index 0000000000..35a4086ada --- /dev/null +++ b/tests/suite/certs-coverage/id:000864,sync:fuzzer05,src:000859 diff --git a/tests/suite/certs-coverage/id:000865,sync:fuzzer01,src:000831 b/tests/suite/certs-coverage/id:000865,sync:fuzzer01,src:000831 Binary files differnew file mode 100644 index 0000000000..dbec1df4f9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000865,sync:fuzzer01,src:000831 diff --git a/tests/suite/certs-coverage/id:000866,sync:fuzzer03,src:000859 b/tests/suite/certs-coverage/id:000866,sync:fuzzer03,src:000859 Binary files differnew file mode 100644 index 0000000000..0c9cbb769b --- /dev/null +++ b/tests/suite/certs-coverage/id:000866,sync:fuzzer03,src:000859 diff --git a/tests/suite/certs-coverage/id:000867,sync:fuzzer05,src:000862 b/tests/suite/certs-coverage/id:000867,sync:fuzzer05,src:000862 Binary files differnew file mode 100644 index 0000000000..eeb68f5400 --- /dev/null +++ b/tests/suite/certs-coverage/id:000867,sync:fuzzer05,src:000862 diff --git a/tests/suite/certs-coverage/id:000868,sync:fuzzer08,src:000853 b/tests/suite/certs-coverage/id:000868,sync:fuzzer08,src:000853 Binary files differnew file mode 100644 index 0000000000..362e2a43a3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000868,sync:fuzzer08,src:000853 diff --git a/tests/suite/certs-coverage/id:000869,sync:fuzzer03,src:000863,+cov b/tests/suite/certs-coverage/id:000869,sync:fuzzer03,src:000863,+cov Binary files differnew file mode 100644 index 0000000000..4abba131f6 --- /dev/null +++ b/tests/suite/certs-coverage/id:000869,sync:fuzzer03,src:000863,+cov diff --git a/tests/suite/certs-coverage/id:000870,sync:fuzzer05,src:000864 b/tests/suite/certs-coverage/id:000870,sync:fuzzer05,src:000864 Binary files differnew file mode 100644 index 0000000000..6ca8ac3ea5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000870,sync:fuzzer05,src:000864 diff --git a/tests/suite/certs-coverage/id:000871,sync:fuzzer03,src:000864 b/tests/suite/certs-coverage/id:000871,sync:fuzzer03,src:000864 Binary files differnew file mode 100644 index 0000000000..e1e830a8fb --- /dev/null +++ b/tests/suite/certs-coverage/id:000871,sync:fuzzer03,src:000864 diff --git a/tests/suite/certs-coverage/id:000872,sync:fuzzer05,src:000867 b/tests/suite/certs-coverage/id:000872,sync:fuzzer05,src:000867 Binary files differnew file mode 100644 index 0000000000..818930da5e --- /dev/null +++ b/tests/suite/certs-coverage/id:000872,sync:fuzzer05,src:000867 diff --git a/tests/suite/certs-coverage/id:000874,src:000873,op:havoc,rep:4 b/tests/suite/certs-coverage/id:000874,src:000873,op:havoc,rep:4 Binary files differnew file mode 100644 index 0000000000..0b43405734 --- /dev/null +++ b/tests/suite/certs-coverage/id:000874,src:000873,op:havoc,rep:4 diff --git a/tests/suite/certs-coverage/id:000877,sync:fuzzer05,src:000872 b/tests/suite/certs-coverage/id:000877,sync:fuzzer05,src:000872 Binary files differnew file mode 100644 index 0000000000..6cc39ba374 --- /dev/null +++ b/tests/suite/certs-coverage/id:000877,sync:fuzzer05,src:000872 diff --git a/tests/suite/certs-coverage/id:000878,sync:fuzzer03,src:000871 b/tests/suite/certs-coverage/id:000878,sync:fuzzer03,src:000871 Binary files differnew file mode 100644 index 0000000000..1463692048 --- /dev/null +++ b/tests/suite/certs-coverage/id:000878,sync:fuzzer03,src:000871 diff --git a/tests/suite/certs-coverage/id:000879,sync:fuzzer03,src:000872 b/tests/suite/certs-coverage/id:000879,sync:fuzzer03,src:000872 Binary files differnew file mode 100644 index 0000000000..7899501f97 --- /dev/null +++ b/tests/suite/certs-coverage/id:000879,sync:fuzzer03,src:000872 diff --git a/tests/suite/certs-coverage/id:000880,sync:fuzzer03,src:000873 b/tests/suite/certs-coverage/id:000880,sync:fuzzer03,src:000873 Binary files differnew file mode 100644 index 0000000000..7566d5ed28 --- /dev/null +++ b/tests/suite/certs-coverage/id:000880,sync:fuzzer03,src:000873 diff --git a/tests/suite/certs-coverage/id:000881,sync:fuzzer03,src:000874 b/tests/suite/certs-coverage/id:000881,sync:fuzzer03,src:000874 Binary files differnew file mode 100644 index 0000000000..4c6a96b26a --- /dev/null +++ b/tests/suite/certs-coverage/id:000881,sync:fuzzer03,src:000874 diff --git a/tests/suite/certs-coverage/id:000882,sync:fuzzer03,src:000875 b/tests/suite/certs-coverage/id:000882,sync:fuzzer03,src:000875 Binary files differnew file mode 100644 index 0000000000..06ef58feeb --- /dev/null +++ b/tests/suite/certs-coverage/id:000882,sync:fuzzer03,src:000875 diff --git a/tests/suite/certs-coverage/id:000883,sync:fuzzer03,src:000876 b/tests/suite/certs-coverage/id:000883,sync:fuzzer03,src:000876 Binary files differnew file mode 100644 index 0000000000..b9cd9c38c9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000883,sync:fuzzer03,src:000876 diff --git a/tests/suite/certs-coverage/id:000884,sync:fuzzer08,src:000869 b/tests/suite/certs-coverage/id:000884,sync:fuzzer08,src:000869 Binary files differnew file mode 100644 index 0000000000..1309aa40af --- /dev/null +++ b/tests/suite/certs-coverage/id:000884,sync:fuzzer08,src:000869 diff --git a/tests/suite/certs-coverage/id:000885,sync:fuzzer03,src:000878 b/tests/suite/certs-coverage/id:000885,sync:fuzzer03,src:000878 Binary files differnew file mode 100644 index 0000000000..a6693c9870 --- /dev/null +++ b/tests/suite/certs-coverage/id:000885,sync:fuzzer03,src:000878 diff --git a/tests/suite/certs-coverage/id:000886,sync:fuzzer03,src:000879 b/tests/suite/certs-coverage/id:000886,sync:fuzzer03,src:000879 Binary files differnew file mode 100644 index 0000000000..c5574020f7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000886,sync:fuzzer03,src:000879 diff --git a/tests/suite/certs-coverage/id:000887,sync:fuzzer03,src:000880 b/tests/suite/certs-coverage/id:000887,sync:fuzzer03,src:000880 Binary files differnew file mode 100644 index 0000000000..ac198dffb8 --- /dev/null +++ b/tests/suite/certs-coverage/id:000887,sync:fuzzer03,src:000880 diff --git a/tests/suite/certs-coverage/id:000888,sync:fuzzer03,src:000881 b/tests/suite/certs-coverage/id:000888,sync:fuzzer03,src:000881 Binary files differnew file mode 100644 index 0000000000..0bc4219f64 --- /dev/null +++ b/tests/suite/certs-coverage/id:000888,sync:fuzzer03,src:000881 diff --git a/tests/suite/certs-coverage/id:000890,sync:fuzzer03,src:000883 b/tests/suite/certs-coverage/id:000890,sync:fuzzer03,src:000883 Binary files differnew file mode 100644 index 0000000000..79631b8233 --- /dev/null +++ b/tests/suite/certs-coverage/id:000890,sync:fuzzer03,src:000883 diff --git a/tests/suite/certs-coverage/id:000891,sync:fuzzer01,src:000860,+cov b/tests/suite/certs-coverage/id:000891,sync:fuzzer01,src:000860,+cov Binary files differnew file mode 100644 index 0000000000..356d8fb0ad --- /dev/null +++ b/tests/suite/certs-coverage/id:000891,sync:fuzzer01,src:000860,+cov diff --git a/tests/suite/certs-coverage/id:000892,sync:fuzzer03,src:000885 b/tests/suite/certs-coverage/id:000892,sync:fuzzer03,src:000885 Binary files differnew file mode 100644 index 0000000000..30e12f5122 --- /dev/null +++ b/tests/suite/certs-coverage/id:000892,sync:fuzzer03,src:000885 diff --git a/tests/suite/certs-coverage/id:000893,sync:fuzzer05,src:000888 b/tests/suite/certs-coverage/id:000893,sync:fuzzer05,src:000888 Binary files differnew file mode 100644 index 0000000000..a21bb33778 --- /dev/null +++ b/tests/suite/certs-coverage/id:000893,sync:fuzzer05,src:000888 diff --git a/tests/suite/certs-coverage/id:000894,sync:fuzzer03,src:000887 b/tests/suite/certs-coverage/id:000894,sync:fuzzer03,src:000887 Binary files differnew file mode 100644 index 0000000000..87f6df12b5 --- /dev/null +++ b/tests/suite/certs-coverage/id:000894,sync:fuzzer03,src:000887 diff --git a/tests/suite/certs-coverage/id:000895,sync:fuzzer03,src:000888 b/tests/suite/certs-coverage/id:000895,sync:fuzzer03,src:000888 Binary files differnew file mode 100644 index 0000000000..e82b38e00a --- /dev/null +++ b/tests/suite/certs-coverage/id:000895,sync:fuzzer03,src:000888 diff --git a/tests/suite/certs-coverage/id:000896,sync:fuzzer03,src:000889 b/tests/suite/certs-coverage/id:000896,sync:fuzzer03,src:000889 Binary files differnew file mode 100644 index 0000000000..222a6627f9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000896,sync:fuzzer03,src:000889 diff --git a/tests/suite/certs-coverage/id:000897,sync:fuzzer04,src:000896 b/tests/suite/certs-coverage/id:000897,sync:fuzzer04,src:000896 Binary files differnew file mode 100644 index 0000000000..eb4da81479 --- /dev/null +++ b/tests/suite/certs-coverage/id:000897,sync:fuzzer04,src:000896 diff --git a/tests/suite/certs-coverage/id:000898,sync:fuzzer05,src:000893 b/tests/suite/certs-coverage/id:000898,sync:fuzzer05,src:000893 Binary files differnew file mode 100644 index 0000000000..9b3560b6c7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000898,sync:fuzzer05,src:000893 diff --git a/tests/suite/certs-coverage/id:000899,sync:fuzzer03,src:000892 b/tests/suite/certs-coverage/id:000899,sync:fuzzer03,src:000892 Binary files differnew file mode 100644 index 0000000000..fba49f2647 --- /dev/null +++ b/tests/suite/certs-coverage/id:000899,sync:fuzzer03,src:000892 diff --git a/tests/suite/certs-coverage/id:000900,sync:fuzzer03,src:000893 b/tests/suite/certs-coverage/id:000900,sync:fuzzer03,src:000893 Binary files differnew file mode 100644 index 0000000000..e9230cf11a --- /dev/null +++ b/tests/suite/certs-coverage/id:000900,sync:fuzzer03,src:000893 diff --git a/tests/suite/certs-coverage/id:000901,sync:fuzzer05,src:000896 b/tests/suite/certs-coverage/id:000901,sync:fuzzer05,src:000896 Binary files differnew file mode 100644 index 0000000000..2465e3bbc3 --- /dev/null +++ b/tests/suite/certs-coverage/id:000901,sync:fuzzer05,src:000896 diff --git a/tests/suite/certs-coverage/id:000902,sync:fuzzer05,src:000897 b/tests/suite/certs-coverage/id:000902,sync:fuzzer05,src:000897 Binary files differnew file mode 100644 index 0000000000..66d6d40a25 --- /dev/null +++ b/tests/suite/certs-coverage/id:000902,sync:fuzzer05,src:000897 diff --git a/tests/suite/certs-coverage/id:000903,sync:fuzzer03,src:000896 b/tests/suite/certs-coverage/id:000903,sync:fuzzer03,src:000896 Binary files differnew file mode 100644 index 0000000000..f8431a05af --- /dev/null +++ b/tests/suite/certs-coverage/id:000903,sync:fuzzer03,src:000896 diff --git a/tests/suite/certs-coverage/id:000905,sync:fuzzer03,src:000898 b/tests/suite/certs-coverage/id:000905,sync:fuzzer03,src:000898 Binary files differnew file mode 100644 index 0000000000..eec8b93818 --- /dev/null +++ b/tests/suite/certs-coverage/id:000905,sync:fuzzer03,src:000898 diff --git a/tests/suite/certs-coverage/id:000906,sync:fuzzer03,src:000899 b/tests/suite/certs-coverage/id:000906,sync:fuzzer03,src:000899 Binary files differnew file mode 100644 index 0000000000..12f82b6ef0 --- /dev/null +++ b/tests/suite/certs-coverage/id:000906,sync:fuzzer03,src:000899 diff --git a/tests/suite/certs-coverage/id:000907,sync:fuzzer03,src:000900 b/tests/suite/certs-coverage/id:000907,sync:fuzzer03,src:000900 Binary files differnew file mode 100644 index 0000000000..7ed636dc54 --- /dev/null +++ b/tests/suite/certs-coverage/id:000907,sync:fuzzer03,src:000900 diff --git a/tests/suite/certs-coverage/id:000908,sync:fuzzer03,src:000901 b/tests/suite/certs-coverage/id:000908,sync:fuzzer03,src:000901 Binary files differnew file mode 100644 index 0000000000..40e30ada3a --- /dev/null +++ b/tests/suite/certs-coverage/id:000908,sync:fuzzer03,src:000901 diff --git a/tests/suite/certs-coverage/id:000909,sync:fuzzer05,src:000906 b/tests/suite/certs-coverage/id:000909,sync:fuzzer05,src:000906 Binary files differnew file mode 100644 index 0000000000..0d1f7ec9b7 --- /dev/null +++ b/tests/suite/certs-coverage/id:000909,sync:fuzzer05,src:000906 diff --git a/tests/suite/certs-coverage/id:000910,sync:fuzzer05,src:000905 b/tests/suite/certs-coverage/id:000910,sync:fuzzer05,src:000905 Binary files differnew file mode 100644 index 0000000000..79de0353cf --- /dev/null +++ b/tests/suite/certs-coverage/id:000910,sync:fuzzer05,src:000905 diff --git a/tests/suite/certs-coverage/id:000911,sync:fuzzer05,src:000904 b/tests/suite/certs-coverage/id:000911,sync:fuzzer05,src:000904 Binary files differnew file mode 100644 index 0000000000..dda28a83fe --- /dev/null +++ b/tests/suite/certs-coverage/id:000911,sync:fuzzer05,src:000904 diff --git a/tests/suite/certs-coverage/id:000912,sync:fuzzer03,src:000905 b/tests/suite/certs-coverage/id:000912,sync:fuzzer03,src:000905 Binary files differnew file mode 100644 index 0000000000..352ec309cb --- /dev/null +++ b/tests/suite/certs-coverage/id:000912,sync:fuzzer03,src:000905 diff --git a/tests/suite/certs-coverage/id:000914,sync:fuzzer03,src:000907 b/tests/suite/certs-coverage/id:000914,sync:fuzzer03,src:000907 Binary files differnew file mode 100644 index 0000000000..8358006d87 --- /dev/null +++ b/tests/suite/certs-coverage/id:000914,sync:fuzzer03,src:000907 diff --git a/tests/suite/certs-coverage/id:000915,sync:fuzzer01,src:000882 b/tests/suite/certs-coverage/id:000915,sync:fuzzer01,src:000882 Binary files differnew file mode 100644 index 0000000000..7739a230b9 --- /dev/null +++ b/tests/suite/certs-coverage/id:000915,sync:fuzzer01,src:000882 diff --git a/tests/suite/certs-coverage/id:000916,sync:fuzzer01,src:000885,+cov b/tests/suite/certs-coverage/id:000916,sync:fuzzer01,src:000885,+cov Binary files differnew file mode 100644 index 0000000000..863b1f763f --- /dev/null +++ b/tests/suite/certs-coverage/id:000916,sync:fuzzer01,src:000885,+cov diff --git a/tests/suite/certs-coverage/id:000917,sync:fuzzer03,src:000910,+cov b/tests/suite/certs-coverage/id:000917,sync:fuzzer03,src:000910,+cov Binary files differnew file mode 100644 index 0000000000..6cbaa38a6f --- /dev/null +++ b/tests/suite/certs-coverage/id:000917,sync:fuzzer03,src:000910,+cov diff --git a/tests/suite/certs-coverage/id:000918,sync:fuzzer03,src:000911 b/tests/suite/certs-coverage/id:000918,sync:fuzzer03,src:000911 Binary files differnew file mode 100644 index 0000000000..5e3b44b568 --- /dev/null +++ b/tests/suite/certs-coverage/id:000918,sync:fuzzer03,src:000911 diff --git a/tests/suite/certs-coverage/id:000919,sync:fuzzer06,src:000909 b/tests/suite/certs-coverage/id:000919,sync:fuzzer06,src:000909 Binary files differnew file mode 100644 index 0000000000..5b68f8fa81 --- /dev/null +++ b/tests/suite/certs-coverage/id:000919,sync:fuzzer06,src:000909 |