summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikos Mavrogiannopoulos <nmav@redhat.com>2017-03-09 11:21:50 +0100
committerNikos Mavrogiannopoulos <nmav@redhat.com>2017-03-09 13:23:35 +0100
commitd2ee6da39ac615b2bc65e7d8431f1477622a3496 (patch)
tree87d7d371d86be17f0f0b95ab97721d06016414fe
parent9e1800f13429257473b8acc81779bfcb05c164a1 (diff)
downloadgnutls-tmp-fuzzer-updates.tar.gz
tests: added an OCSP response parsing coverage testtmp-fuzzer-updates
This inputs a large set of valid and invalid OCSP files in the OCSP parser with the intention to stress test its error checking, and prevent regressions. Signed-off-by: Nikos Mavrogiannopoulos <nmav@redhat.com>
-rw-r--r--tests/suite/Makefile.am2
-rw-r--r--tests/suite/ocsp-coverage.c120
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000005,src:000000,op:havoc,rep:4,+cov1
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000009,src:000000,op:flip1,pos:30,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000011,src:000000,op:havoc,rep:8,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000019,src:000000,op:havoc,rep:4,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000037,src:000000,op:havoc,rep:8,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000060,src:000000,op:havoc,rep:2,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000072,src:000000,op:havoc,rep:4,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000077,src:000000,op:havoc,rep:2bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000081,src:000000,op:havoc,rep:2bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000086,src:000000,op:havoc,rep:2,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000091,src:000000,op:havoc,rep:4bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000108,sync:fuzzer03,src:000087,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000109,sync:fuzzer03,src:000085bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000110,src:000000+000025,op:splice,rep:4bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000110,src:000000+000054,op:splice,rep:2bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000121,sync:fuzzer03,src:000075bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000123,src:000000,op:int8,pos:68,val:+32,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000124,src:000000,op:int8,pos:631,val:+0,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000127,sync:fuzzer07,src:000046,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000128,sync:fuzzer03,src:000086bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000130,src:000000,op:havoc,rep:8bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000131,sync:fuzzer03,src:000083bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000132,sync:fuzzer07,src:000065,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000135,src:000000,op:havoc,rep:4bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000135,sync:fuzzer03,src:000096,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000136,src:000000,op:havoc,rep:4bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000136,sync:fuzzer07,src:000050bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000136,sync:fuzzer07,src:000098bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000139,sync:fuzzer07,src:000099bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000147,sync:fuzzer03,src:000064,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000149,sync:fuzzer03,src:000120bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000149,sync:fuzzer05,src:000139bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000151,sync:fuzzer01,src:000104bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000154,sync:fuzzer03,src:000097,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000154,sync:fuzzer03,src:000106bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000155,sync:fuzzer03,src:000088bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000161,sync:fuzzer07,src:000147,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000163,sync:fuzzer03,src:000148bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000169,sync:fuzzer03,src:000067bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000172,sync:fuzzer03,src:000090,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000173,sync:fuzzer03,src:000125,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000174,sync:fuzzer03,src:000077bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000179,sync:fuzzer07,src:000160bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000179,sync:fuzzer07,src:000170bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000183,sync:fuzzer07,src:000179,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000187,sync:fuzzer07,src:000136,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000196,src:000001,op:havoc,rep:2bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000196,src:000001,op:havoc,rep:8,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000198,sync:fuzzer07,src:000092bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000199,sync:fuzzer07,src:000077,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000213,sync:fuzzer03,src:000093bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000217,sync:fuzzer03,src:000123bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000225,sync:fuzzer03,src:000098bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000231,sync:fuzzer03,src:000198,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000252,sync:fuzzer03,src:000138bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000252,sync:fuzzer03,src:000219bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000258,src:000003,op:havoc,rep:2bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000261,sync:fuzzer03,src:000200bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000265,sync:fuzzer03,src:000234bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000267,sync:fuzzer03,src:000038bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000268,src:000005,op:havoc,rep:2,+cov1
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000269,sync:fuzzer03,src:000079bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000269,sync:fuzzer03,src:000261bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000276,sync:fuzzer03,src:000238bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000280,sync:fuzzer03,src:000214bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000286,sync:fuzzer03,src:000108bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000290,sync:fuzzer03,src:000265bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000292,sync:fuzzer07,src:000250,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000293,sync:fuzzer03,src:000243bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer03,src:000275bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer03,src:000287bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer07,src:000258bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000299,sync:fuzzer03,src:000293bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000300,sync:fuzzer05,src:000199bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000305,sync:fuzzer08,src:000232bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000308,sync:fuzzer02,src:000246bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000308,sync:fuzzer03,src:000199,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000309,sync:fuzzer03,src:000285bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000311,sync:fuzzer03,src:000228bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000312,sync:fuzzer02,src:000250bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000312,sync:fuzzer03,src:000263bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000313,sync:fuzzer03,src:000186,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000313,sync:fuzzer04,src:000292bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000315,sync:fuzzer07,src:000314bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000318,sync:fuzzer03,src:000308,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000318,sync:fuzzer07,src:000315bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000319,sync:fuzzer03,src:000280bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000322,sync:fuzzer08,src:000257bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000324,sync:fuzzer03,src:000245,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000325,sync:fuzzer03,src:000264,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000327,sync:fuzzer03,src:000221bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000328,sync:fuzzer03,src:000203bin0 -> 463 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000330,sync:fuzzer03,src:000303,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000330,sync:fuzzer03,src:000325bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000332,sync:fuzzer03,src:000276,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000333,sync:fuzzer03,src:000292,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000334,sync:fuzzer03,src:000301,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000337,sync:fuzzer03,src:000324bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000338,sync:fuzzer03,src:000244,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000340,sync:fuzzer07,src:000317,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000343,sync:fuzzer08,src:000339bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000347,sync:fuzzer03,src:000337bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000349,sync:fuzzer08,src:000346bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000350,sync:fuzzer08,src:000347bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000351,sync:fuzzer08,src:000345bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000353,sync:fuzzer03,src:000341bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000357,sync:fuzzer03,src:000343,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000358,sync:fuzzer03,src:000339bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000358,sync:fuzzer03,src:000349,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000360,sync:fuzzer03,src:000357bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000362,sync:fuzzer03,src:000347bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000363,sync:fuzzer03,src:000340bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000365,sync:fuzzer06,src:000349,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000366,sync:fuzzer03,src:000338bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000366,sync:fuzzer06,src:000347,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000368,sync:fuzzer07,src:000357,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000369,sync:fuzzer03,src:000342bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000369,sync:fuzzer03,src:000354,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000370,sync:fuzzer03,src:000360bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000370,sync:fuzzer03,src:000364bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000371,sync:fuzzer03,src:000334bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000371,sync:fuzzer03,src:000356,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000372,sync:fuzzer03,src:000348bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000373,sync:fuzzer03,src:000328,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000373,sync:fuzzer03,src:000355,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000374,sync:fuzzer03,src:000351,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000374,sync:fuzzer03,src:000363bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000375,sync:fuzzer07,src:000367bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000377,sync:fuzzer03,src:000365bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000377,sync:fuzzer07,src:000368bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000378,sync:fuzzer03,src:000369,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000379,sync:fuzzer03,src:000366bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000380,sync:fuzzer03,src:000367bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000382,sync:fuzzer03,src:000371bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000383,sync:fuzzer03,src:000372,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000386,src:000100,op:havoc,rep:2,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000387,sync:fuzzer01,src:000321,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000388,sync:fuzzer03,src:000374,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000389,sync:fuzzer07,src:000377,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000390,sync:fuzzer08,src:000386,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000401,sync:fuzzer07,src:000386bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000404,sync:fuzzer03,src:000391,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000405,sync:fuzzer03,src:000394,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000406,sync:fuzzer03,src:000396bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000407,sync:fuzzer07,src:000389,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000411,sync:fuzzer03,src:000401bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000411,sync:fuzzer04,src:000396bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000412,sync:fuzzer04,src:000394,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000414,sync:fuzzer05,src:000414,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000416,sync:fuzzer03,src:000406bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000417,sync:fuzzer03,src:000405bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000419,sync:fuzzer01,src:000386bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000426,sync:fuzzer03,src:000409bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000432,sync:fuzzer07,src:000410bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000436,sync:fuzzer03,src:000411,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000437,sync:fuzzer03,src:000414bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000437,sync:fuzzer03,src:000428bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000438,sync:fuzzer03,src:000425,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000439,sync:fuzzer03,src:000427bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000440,sync:fuzzer07,src:000422,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000442,sync:fuzzer03,src:000426bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000443,sync:fuzzer03,src:000421bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer03,src:000431bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer03,src:000433,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer07,src:000430,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000445,sync:fuzzer03,src:000417bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000448,sync:fuzzer03,src:000413bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000449,sync:fuzzer03,src:000424,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000455,sync:fuzzer03,src:000412,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000455,sync:fuzzer03,src:000419,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000456,sync:fuzzer03,src:000429,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000456,sync:fuzzer03,src:000448bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000457,sync:fuzzer03,src:000438,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000460,sync:fuzzer03,src:000446,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000460,sync:fuzzer07,src:000453bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000463,sync:fuzzer03,src:000442,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000467,sync:fuzzer07,src:000454,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000468,sync:fuzzer03,src:000439bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000468,sync:fuzzer07,src:000439,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000473,sync:fuzzer07,src:000455,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000474,sync:fuzzer03,src:000443bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000475,sync:fuzzer03,src:000454,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000476,sync:fuzzer03,src:000444bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000477,sync:fuzzer03,src:000450bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000478,sync:fuzzer03,src:000466bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000479,sync:fuzzer03,src:000462bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000479,sync:fuzzer07,src:000468,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000480,sync:fuzzer03,src:000459bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000480,sync:fuzzer07,src:000465,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000481,sync:fuzzer03,src:000453bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000481,sync:fuzzer07,src:000470bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000482,sync:fuzzer07,src:000466bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000489,sync:fuzzer07,src:000477bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000491,sync:fuzzer07,src:000476bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000493,src:000255,op:havoc,rep:2bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000494,sync:fuzzer03,src:000487bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000495,sync:fuzzer03,src:000482bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000496,sync:fuzzer08,src:000492,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000498,sync:fuzzer01,src:000388,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000500,sync:fuzzer07,src:000488,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000502,sync:fuzzer08,src:000498bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000504,sync:fuzzer03,src:000496bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000507,src:000272+000488,op:splice,rep:2bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000507,sync:fuzzer03,src:000499bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000508,sync:fuzzer03,src:000500bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000509,sync:fuzzer03,src:000504bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000510,sync:fuzzer03,src:000507bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000511,sync:fuzzer03,src:000494bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000512,sync:fuzzer03,src:000501bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000513,sync:fuzzer03,src:000503bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000515,sync:fuzzer03,src:000505bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000517,sync:fuzzer02,src:000496bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000518,sync:fuzzer03,src:000510,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000520,src:000324,op:havoc,rep:2bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000523,src:000341,op:havoc,rep:8,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000524,sync:fuzzer03,src:000515bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000525,src:000361,op:havoc,rep:4bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000526,sync:fuzzer03,src:000517bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000527,sync:fuzzer03,src:000516bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000528,src:000382+000140,op:splice,rep:2bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000529,sync:fuzzer03,src:000520bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000531,sync:fuzzer03,src:000523,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000532,sync:fuzzer03,src:000524bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000534,sync:fuzzer03,src:000522bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000535,sync:fuzzer03,src:000525bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000536,sync:fuzzer03,src:000529bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000538,sync:fuzzer03,src:000530bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000539,sync:fuzzer03,src:000531bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000540,sync:fuzzer03,src:000534bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000541,sync:fuzzer03,src:000533bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000542,sync:fuzzer03,src:000532,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000543,src:000407+000403,op:splice,rep:4,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000545,sync:fuzzer07,src:000534,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000546,sync:fuzzer05,src:000544bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000546,sync:fuzzer07,src:000532bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000547,sync:fuzzer07,src:000535bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000548,sync:fuzzer07,src:000531,+covbin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000552,sync:fuzzer03,src:000543bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000553,sync:fuzzer03,src:000544bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000554,sync:fuzzer08,src:000552,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000555,sync:fuzzer06,src:000548bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000557,sync:fuzzer06,src:000547bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000558,sync:fuzzer03,src:000551bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000560,sync:fuzzer03,src:000552bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000561,sync:fuzzer03,src:000555,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000562,sync:fuzzer03,src:000554bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000564,sync:fuzzer03,src:000556bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000565,sync:fuzzer03,src:000557bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000566,sync:fuzzer07,src:000552bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000567,sync:fuzzer08,src:000562bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000568,sync:fuzzer02,src:000551bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000569,src:000520+000462,op:splice,rep:8bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000569,sync:fuzzer06,src:000555bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000570,sync:fuzzer06,src:000556bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000571,sync:fuzzer04,src:000557bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000572,sync:fuzzer07,src:000560bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000573,sync:fuzzer08,src:000570bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000577,sync:fuzzer02,src:000563bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000577,sync:fuzzer03,src:000568,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000579,sync:fuzzer01,src:000540bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000582,sync:fuzzer03,src:000575bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000583,sync:fuzzer03,src:000576,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000585,sync:fuzzer07,src:000571bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000586,sync:fuzzer07,src:000577bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000587,sync:fuzzer03,src:000577,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000587,sync:fuzzer07,src:000574bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000588,sync:fuzzer05,src:000587bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000589,src:000531+000575,op:splice,rep:2bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000589,sync:fuzzer05,src:000588bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000591,sync:fuzzer03,src:000585bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000569bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000579bin0 -> 1220 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000587,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000594,sync:fuzzer03,src:000586,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000595,sync:fuzzer07,src:000585bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000597,sync:fuzzer03,src:000592,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000599,sync:fuzzer03,src:000589bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000600,sync:fuzzer03,src:000590bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000601,sync:fuzzer03,src:000594bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000602,sync:fuzzer03,src:000593bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000605,sync:fuzzer03,src:000602bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000606,sync:fuzzer03,src:000596,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000607,sync:fuzzer03,src:000598,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000608,sync:fuzzer07,src:000596bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000610,sync:fuzzer03,src:000595bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000611,sync:fuzzer03,src:000603bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000612,sync:fuzzer03,src:000600,+covbin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000613,sync:fuzzer03,src:000605bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000613,sync:fuzzer03,src:000607,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000614,sync:fuzzer07,src:000605bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000616,sync:fuzzer03,src:000608,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000616,sync:fuzzer07,src:000606bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000617,sync:fuzzer03,src:000611bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000620,sync:fuzzer03,src:000614bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000621,sync:fuzzer03,src:000619,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000624,sync:fuzzer03,src:000609bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000625,sync:fuzzer03,src:000617,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000615,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000618,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000623,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000628,sync:fuzzer03,src:000620,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000628,sync:fuzzer03,src:000622,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000629,sync:fuzzer03,src:000616,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000629,sync:fuzzer03,src:000621,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000633,sync:fuzzer07,src:000611bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000633,sync:fuzzer07,src:000612bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000634,sync:fuzzer02,src:000621bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000635,sync:fuzzer02,src:000622,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000636,sync:fuzzer08,src:000636,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000637,sync:fuzzer08,src:000633,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000638,sync:fuzzer08,src:000638,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000640,sync:fuzzer07,src:000626bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000640,sync:fuzzer08,src:000639bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000641,sync:fuzzer03,src:000637,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000642,sync:fuzzer03,src:000635bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000643,sync:fuzzer03,src:000636bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000644,sync:fuzzer07,src:000633bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000645,sync:fuzzer07,src:000632bin0 -> 1318 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000646,sync:fuzzer03,src:000640bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000647,sync:fuzzer03,src:000641bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000648,sync:fuzzer07,src:000637bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000649,sync:fuzzer07,src:000636bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000650,sync:fuzzer03,src:000642,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000651,sync:fuzzer02,src:000639bin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000652,sync:fuzzer06,src:000644,+covbin0 -> 1609 bytes
-rw-r--r--tests/suite/ocsp-resp-coverage/id:000653,src:000650,op:havoc,rep:8,+covbin0 -> 1609 bytes
328 files changed, 123 insertions, 1 deletions
diff --git a/tests/suite/Makefile.am b/tests/suite/Makefile.am
index b620599e6d..a4f415b378 100644
--- a/tests/suite/Makefile.am
+++ b/tests/suite/Makefile.am
@@ -35,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 cert-coverage
+check_PROGRAMS = rng prime-check cert-coverage ocsp-coverage
AM_LDFLAGS = -no-install
LDADD = ../../lib/libgnutls.la \
../../gl/libgnu.la \
diff --git a/tests/suite/ocsp-coverage.c b/tests/suite/ocsp-coverage.c
new file mode 100644
index 0000000000..53496aa810
--- /dev/null
+++ b/tests/suite/ocsp-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/ocsp.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 tool is to increase
+ * coverage in error paths.
+ */
+
+#define CERT_DIR "ocsp-resp-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_ocsp_resp_t resp;
+ 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_ocsp_resp_init(&resp);
+ if (ret < 0)
+ fail("crt_init %d\n", ret);
+
+ ret = gnutls_ocsp_resp_import(resp, &der);
+
+ if (ret == 0) {
+ /* attempt to fully decode */
+ gnutls_datum_t out;
+ ret = gnutls_ocsp_resp_print(resp, GNUTLS_OCSP_PRINT_FULL, &out);
+ if (ret < 0) {
+ fail("print: %s\n", gnutls_strerror(ret));
+ }
+ gnutls_free(out.data);
+ }
+
+ gnutls_ocsp_resp_deinit(resp);
+ gnutls_free(der.data);
+ der.data = NULL;
+ der.size = 0;
+ }
+
+ gnutls_global_deinit();
+}
diff --git a/tests/suite/ocsp-resp-coverage/id:000005,src:000000,op:havoc,rep:4,+cov b/tests/suite/ocsp-resp-coverage/id:000005,src:000000,op:havoc,rep:4,+cov
new file mode 100644
index 0000000000..3facc37256
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000005,src:000000,op:havoc,rep:4,+cov
@@ -0,0 +1 @@
+0‚À \ No newline at end of file
diff --git a/tests/suite/ocsp-resp-coverage/id:000009,src:000000,op:flip1,pos:30,+cov b/tests/suite/ocsp-resp-coverage/id:000009,src:000000,op:flip1,pos:30,+cov
new file mode 100644
index 0000000000..35bcb0c5e8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000009,src:000000,op:flip1,pos:30,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000011,src:000000,op:havoc,rep:8,+cov b/tests/suite/ocsp-resp-coverage/id:000011,src:000000,op:havoc,rep:8,+cov
new file mode 100644
index 0000000000..4d14eb9302
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000011,src:000000,op:havoc,rep:8,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000019,src:000000,op:havoc,rep:4,+cov b/tests/suite/ocsp-resp-coverage/id:000019,src:000000,op:havoc,rep:4,+cov
new file mode 100644
index 0000000000..200ba72443
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000019,src:000000,op:havoc,rep:4,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000037,src:000000,op:havoc,rep:8,+cov b/tests/suite/ocsp-resp-coverage/id:000037,src:000000,op:havoc,rep:8,+cov
new file mode 100644
index 0000000000..40ed604355
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000037,src:000000,op:havoc,rep:8,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000060,src:000000,op:havoc,rep:2,+cov b/tests/suite/ocsp-resp-coverage/id:000060,src:000000,op:havoc,rep:2,+cov
new file mode 100644
index 0000000000..9d991947d1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000060,src:000000,op:havoc,rep:2,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000072,src:000000,op:havoc,rep:4,+cov b/tests/suite/ocsp-resp-coverage/id:000072,src:000000,op:havoc,rep:4,+cov
new file mode 100644
index 0000000000..3e1dcba63f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000072,src:000000,op:havoc,rep:4,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000077,src:000000,op:havoc,rep:2 b/tests/suite/ocsp-resp-coverage/id:000077,src:000000,op:havoc,rep:2
new file mode 100644
index 0000000000..fb728e9059
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000077,src:000000,op:havoc,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000081,src:000000,op:havoc,rep:2 b/tests/suite/ocsp-resp-coverage/id:000081,src:000000,op:havoc,rep:2
new file mode 100644
index 0000000000..0226901bb9
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000081,src:000000,op:havoc,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000086,src:000000,op:havoc,rep:2,+cov b/tests/suite/ocsp-resp-coverage/id:000086,src:000000,op:havoc,rep:2,+cov
new file mode 100644
index 0000000000..46def5fda1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000086,src:000000,op:havoc,rep:2,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000091,src:000000,op:havoc,rep:4 b/tests/suite/ocsp-resp-coverage/id:000091,src:000000,op:havoc,rep:4
new file mode 100644
index 0000000000..8cd81a2b59
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000091,src:000000,op:havoc,rep:4
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000108,sync:fuzzer03,src:000087,+cov b/tests/suite/ocsp-resp-coverage/id:000108,sync:fuzzer03,src:000087,+cov
new file mode 100644
index 0000000000..8ae731ecaf
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000108,sync:fuzzer03,src:000087,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000109,sync:fuzzer03,src:000085 b/tests/suite/ocsp-resp-coverage/id:000109,sync:fuzzer03,src:000085
new file mode 100644
index 0000000000..f5d926269d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000109,sync:fuzzer03,src:000085
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000110,src:000000+000025,op:splice,rep:4 b/tests/suite/ocsp-resp-coverage/id:000110,src:000000+000025,op:splice,rep:4
new file mode 100644
index 0000000000..f257e2bf22
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000110,src:000000+000025,op:splice,rep:4
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000110,src:000000+000054,op:splice,rep:2 b/tests/suite/ocsp-resp-coverage/id:000110,src:000000+000054,op:splice,rep:2
new file mode 100644
index 0000000000..4d0e8160e1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000110,src:000000+000054,op:splice,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000121,sync:fuzzer03,src:000075 b/tests/suite/ocsp-resp-coverage/id:000121,sync:fuzzer03,src:000075
new file mode 100644
index 0000000000..03e6565f68
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000121,sync:fuzzer03,src:000075
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000123,src:000000,op:int8,pos:68,val:+32,+cov b/tests/suite/ocsp-resp-coverage/id:000123,src:000000,op:int8,pos:68,val:+32,+cov
new file mode 100644
index 0000000000..4f76637900
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000123,src:000000,op:int8,pos:68,val:+32,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000124,src:000000,op:int8,pos:631,val:+0,+cov b/tests/suite/ocsp-resp-coverage/id:000124,src:000000,op:int8,pos:631,val:+0,+cov
new file mode 100644
index 0000000000..bb0646829e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000124,src:000000,op:int8,pos:631,val:+0,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000127,sync:fuzzer07,src:000046,+cov b/tests/suite/ocsp-resp-coverage/id:000127,sync:fuzzer07,src:000046,+cov
new file mode 100644
index 0000000000..5bcef4daf2
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000127,sync:fuzzer07,src:000046,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000128,sync:fuzzer03,src:000086 b/tests/suite/ocsp-resp-coverage/id:000128,sync:fuzzer03,src:000086
new file mode 100644
index 0000000000..ff99522b1d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000128,sync:fuzzer03,src:000086
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000130,src:000000,op:havoc,rep:8 b/tests/suite/ocsp-resp-coverage/id:000130,src:000000,op:havoc,rep:8
new file mode 100644
index 0000000000..a502e02737
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000130,src:000000,op:havoc,rep:8
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000131,sync:fuzzer03,src:000083 b/tests/suite/ocsp-resp-coverage/id:000131,sync:fuzzer03,src:000083
new file mode 100644
index 0000000000..203a032c78
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000131,sync:fuzzer03,src:000083
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000132,sync:fuzzer07,src:000065,+cov b/tests/suite/ocsp-resp-coverage/id:000132,sync:fuzzer07,src:000065,+cov
new file mode 100644
index 0000000000..78b87b10a8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000132,sync:fuzzer07,src:000065,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000135,src:000000,op:havoc,rep:4 b/tests/suite/ocsp-resp-coverage/id:000135,src:000000,op:havoc,rep:4
new file mode 100644
index 0000000000..4a14ec3121
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000135,src:000000,op:havoc,rep:4
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000135,sync:fuzzer03,src:000096,+cov b/tests/suite/ocsp-resp-coverage/id:000135,sync:fuzzer03,src:000096,+cov
new file mode 100644
index 0000000000..cf0beb09c8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000135,sync:fuzzer03,src:000096,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000136,src:000000,op:havoc,rep:4 b/tests/suite/ocsp-resp-coverage/id:000136,src:000000,op:havoc,rep:4
new file mode 100644
index 0000000000..0cd2dccc9d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000136,src:000000,op:havoc,rep:4
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000136,sync:fuzzer07,src:000050 b/tests/suite/ocsp-resp-coverage/id:000136,sync:fuzzer07,src:000050
new file mode 100644
index 0000000000..c5c2cc5bac
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000136,sync:fuzzer07,src:000050
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000136,sync:fuzzer07,src:000098 b/tests/suite/ocsp-resp-coverage/id:000136,sync:fuzzer07,src:000098
new file mode 100644
index 0000000000..957c09b7ea
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000136,sync:fuzzer07,src:000098
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000139,sync:fuzzer07,src:000099 b/tests/suite/ocsp-resp-coverage/id:000139,sync:fuzzer07,src:000099
new file mode 100644
index 0000000000..3a0f53ad4c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000139,sync:fuzzer07,src:000099
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000147,sync:fuzzer03,src:000064,+cov b/tests/suite/ocsp-resp-coverage/id:000147,sync:fuzzer03,src:000064,+cov
new file mode 100644
index 0000000000..d19c76c980
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000147,sync:fuzzer03,src:000064,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000149,sync:fuzzer03,src:000120 b/tests/suite/ocsp-resp-coverage/id:000149,sync:fuzzer03,src:000120
new file mode 100644
index 0000000000..96ff5c881d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000149,sync:fuzzer03,src:000120
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000149,sync:fuzzer05,src:000139 b/tests/suite/ocsp-resp-coverage/id:000149,sync:fuzzer05,src:000139
new file mode 100644
index 0000000000..8a3ebea28d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000149,sync:fuzzer05,src:000139
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000151,sync:fuzzer01,src:000104 b/tests/suite/ocsp-resp-coverage/id:000151,sync:fuzzer01,src:000104
new file mode 100644
index 0000000000..ec64b12e83
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000151,sync:fuzzer01,src:000104
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000154,sync:fuzzer03,src:000097,+cov b/tests/suite/ocsp-resp-coverage/id:000154,sync:fuzzer03,src:000097,+cov
new file mode 100644
index 0000000000..74a09b9857
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000154,sync:fuzzer03,src:000097,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000154,sync:fuzzer03,src:000106 b/tests/suite/ocsp-resp-coverage/id:000154,sync:fuzzer03,src:000106
new file mode 100644
index 0000000000..14955cc333
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000154,sync:fuzzer03,src:000106
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000155,sync:fuzzer03,src:000088 b/tests/suite/ocsp-resp-coverage/id:000155,sync:fuzzer03,src:000088
new file mode 100644
index 0000000000..90acb9c0d6
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000155,sync:fuzzer03,src:000088
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000161,sync:fuzzer07,src:000147,+cov b/tests/suite/ocsp-resp-coverage/id:000161,sync:fuzzer07,src:000147,+cov
new file mode 100644
index 0000000000..565609418d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000161,sync:fuzzer07,src:000147,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000163,sync:fuzzer03,src:000148 b/tests/suite/ocsp-resp-coverage/id:000163,sync:fuzzer03,src:000148
new file mode 100644
index 0000000000..88426b5feb
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000163,sync:fuzzer03,src:000148
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000169,sync:fuzzer03,src:000067 b/tests/suite/ocsp-resp-coverage/id:000169,sync:fuzzer03,src:000067
new file mode 100644
index 0000000000..5242b78761
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000169,sync:fuzzer03,src:000067
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000172,sync:fuzzer03,src:000090,+cov b/tests/suite/ocsp-resp-coverage/id:000172,sync:fuzzer03,src:000090,+cov
new file mode 100644
index 0000000000..66ffa252eb
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000172,sync:fuzzer03,src:000090,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000173,sync:fuzzer03,src:000125,+cov b/tests/suite/ocsp-resp-coverage/id:000173,sync:fuzzer03,src:000125,+cov
new file mode 100644
index 0000000000..b3cbda061c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000173,sync:fuzzer03,src:000125,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000174,sync:fuzzer03,src:000077 b/tests/suite/ocsp-resp-coverage/id:000174,sync:fuzzer03,src:000077
new file mode 100644
index 0000000000..3800be6169
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000174,sync:fuzzer03,src:000077
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000179,sync:fuzzer07,src:000160 b/tests/suite/ocsp-resp-coverage/id:000179,sync:fuzzer07,src:000160
new file mode 100644
index 0000000000..5b8c5c6715
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000179,sync:fuzzer07,src:000160
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000179,sync:fuzzer07,src:000170 b/tests/suite/ocsp-resp-coverage/id:000179,sync:fuzzer07,src:000170
new file mode 100644
index 0000000000..e4d1053464
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000179,sync:fuzzer07,src:000170
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000183,sync:fuzzer07,src:000179,+cov b/tests/suite/ocsp-resp-coverage/id:000183,sync:fuzzer07,src:000179,+cov
new file mode 100644
index 0000000000..787bba6117
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000183,sync:fuzzer07,src:000179,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000187,sync:fuzzer07,src:000136,+cov b/tests/suite/ocsp-resp-coverage/id:000187,sync:fuzzer07,src:000136,+cov
new file mode 100644
index 0000000000..c7230a3546
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000187,sync:fuzzer07,src:000136,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000196,src:000001,op:havoc,rep:2 b/tests/suite/ocsp-resp-coverage/id:000196,src:000001,op:havoc,rep:2
new file mode 100644
index 0000000000..7d1e3bf7db
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000196,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000196,src:000001,op:havoc,rep:8,+cov b/tests/suite/ocsp-resp-coverage/id:000196,src:000001,op:havoc,rep:8,+cov
new file mode 100644
index 0000000000..95df2fe878
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000196,src:000001,op:havoc,rep:8,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000198,sync:fuzzer07,src:000092 b/tests/suite/ocsp-resp-coverage/id:000198,sync:fuzzer07,src:000092
new file mode 100644
index 0000000000..d801d1ed1a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000198,sync:fuzzer07,src:000092
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000199,sync:fuzzer07,src:000077,+cov b/tests/suite/ocsp-resp-coverage/id:000199,sync:fuzzer07,src:000077,+cov
new file mode 100644
index 0000000000..f693d3935a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000199,sync:fuzzer07,src:000077,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000213,sync:fuzzer03,src:000093 b/tests/suite/ocsp-resp-coverage/id:000213,sync:fuzzer03,src:000093
new file mode 100644
index 0000000000..889fcf7d10
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000213,sync:fuzzer03,src:000093
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000217,sync:fuzzer03,src:000123 b/tests/suite/ocsp-resp-coverage/id:000217,sync:fuzzer03,src:000123
new file mode 100644
index 0000000000..951c554b00
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000217,sync:fuzzer03,src:000123
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000225,sync:fuzzer03,src:000098 b/tests/suite/ocsp-resp-coverage/id:000225,sync:fuzzer03,src:000098
new file mode 100644
index 0000000000..000e63e6d0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000225,sync:fuzzer03,src:000098
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000231,sync:fuzzer03,src:000198,+cov b/tests/suite/ocsp-resp-coverage/id:000231,sync:fuzzer03,src:000198,+cov
new file mode 100644
index 0000000000..d33e9458fc
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000231,sync:fuzzer03,src:000198,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000252,sync:fuzzer03,src:000138 b/tests/suite/ocsp-resp-coverage/id:000252,sync:fuzzer03,src:000138
new file mode 100644
index 0000000000..41d4f172de
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000252,sync:fuzzer03,src:000138
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000252,sync:fuzzer03,src:000219 b/tests/suite/ocsp-resp-coverage/id:000252,sync:fuzzer03,src:000219
new file mode 100644
index 0000000000..091ae269af
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000252,sync:fuzzer03,src:000219
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000258,src:000003,op:havoc,rep:2 b/tests/suite/ocsp-resp-coverage/id:000258,src:000003,op:havoc,rep:2
new file mode 100644
index 0000000000..00baefff7b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000258,src:000003,op:havoc,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000261,sync:fuzzer03,src:000200 b/tests/suite/ocsp-resp-coverage/id:000261,sync:fuzzer03,src:000200
new file mode 100644
index 0000000000..68340381a7
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000261,sync:fuzzer03,src:000200
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000265,sync:fuzzer03,src:000234 b/tests/suite/ocsp-resp-coverage/id:000265,sync:fuzzer03,src:000234
new file mode 100644
index 0000000000..580ce1dfb9
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000265,sync:fuzzer03,src:000234
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000267,sync:fuzzer03,src:000038 b/tests/suite/ocsp-resp-coverage/id:000267,sync:fuzzer03,src:000038
new file mode 100644
index 0000000000..7ee0b5876c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000267,sync:fuzzer03,src:000038
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000268,src:000005,op:havoc,rep:2,+cov b/tests/suite/ocsp-resp-coverage/id:000268,src:000005,op:havoc,rep:2,+cov
new file mode 100644
index 0000000000..0a3f429f5d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000268,src:000005,op:havoc,rep:2,+cov
@@ -0,0 +1 @@
+0š \ No newline at end of file
diff --git a/tests/suite/ocsp-resp-coverage/id:000269,sync:fuzzer03,src:000079 b/tests/suite/ocsp-resp-coverage/id:000269,sync:fuzzer03,src:000079
new file mode 100644
index 0000000000..763c590c1d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000269,sync:fuzzer03,src:000079
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000269,sync:fuzzer03,src:000261 b/tests/suite/ocsp-resp-coverage/id:000269,sync:fuzzer03,src:000261
new file mode 100644
index 0000000000..8fafb59007
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000269,sync:fuzzer03,src:000261
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000276,sync:fuzzer03,src:000238 b/tests/suite/ocsp-resp-coverage/id:000276,sync:fuzzer03,src:000238
new file mode 100644
index 0000000000..174e341d7a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000276,sync:fuzzer03,src:000238
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000280,sync:fuzzer03,src:000214 b/tests/suite/ocsp-resp-coverage/id:000280,sync:fuzzer03,src:000214
new file mode 100644
index 0000000000..3a644fc8d0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000280,sync:fuzzer03,src:000214
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000286,sync:fuzzer03,src:000108 b/tests/suite/ocsp-resp-coverage/id:000286,sync:fuzzer03,src:000108
new file mode 100644
index 0000000000..29708aef71
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000286,sync:fuzzer03,src:000108
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000290,sync:fuzzer03,src:000265 b/tests/suite/ocsp-resp-coverage/id:000290,sync:fuzzer03,src:000265
new file mode 100644
index 0000000000..eba4d5aa1a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000290,sync:fuzzer03,src:000265
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000292,sync:fuzzer07,src:000250,+cov b/tests/suite/ocsp-resp-coverage/id:000292,sync:fuzzer07,src:000250,+cov
new file mode 100644
index 0000000000..f2aca45007
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000292,sync:fuzzer07,src:000250,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000293,sync:fuzzer03,src:000243 b/tests/suite/ocsp-resp-coverage/id:000293,sync:fuzzer03,src:000243
new file mode 100644
index 0000000000..9bc5afc86a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000293,sync:fuzzer03,src:000243
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer03,src:000275 b/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer03,src:000275
new file mode 100644
index 0000000000..caa3b02ea9
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer03,src:000275
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer03,src:000287 b/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer03,src:000287
new file mode 100644
index 0000000000..50875b9294
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer03,src:000287
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer07,src:000258 b/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer07,src:000258
new file mode 100644
index 0000000000..37b64eebd1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000294,sync:fuzzer07,src:000258
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000299,sync:fuzzer03,src:000293 b/tests/suite/ocsp-resp-coverage/id:000299,sync:fuzzer03,src:000293
new file mode 100644
index 0000000000..976caaa16b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000299,sync:fuzzer03,src:000293
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000300,sync:fuzzer05,src:000199 b/tests/suite/ocsp-resp-coverage/id:000300,sync:fuzzer05,src:000199
new file mode 100644
index 0000000000..3d307002a5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000300,sync:fuzzer05,src:000199
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000305,sync:fuzzer08,src:000232 b/tests/suite/ocsp-resp-coverage/id:000305,sync:fuzzer08,src:000232
new file mode 100644
index 0000000000..4cf19cabb7
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000305,sync:fuzzer08,src:000232
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000308,sync:fuzzer02,src:000246 b/tests/suite/ocsp-resp-coverage/id:000308,sync:fuzzer02,src:000246
new file mode 100644
index 0000000000..1020e37a8e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000308,sync:fuzzer02,src:000246
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000308,sync:fuzzer03,src:000199,+cov b/tests/suite/ocsp-resp-coverage/id:000308,sync:fuzzer03,src:000199,+cov
new file mode 100644
index 0000000000..d77c869f17
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000308,sync:fuzzer03,src:000199,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000309,sync:fuzzer03,src:000285 b/tests/suite/ocsp-resp-coverage/id:000309,sync:fuzzer03,src:000285
new file mode 100644
index 0000000000..076456a5db
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000309,sync:fuzzer03,src:000285
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000311,sync:fuzzer03,src:000228 b/tests/suite/ocsp-resp-coverage/id:000311,sync:fuzzer03,src:000228
new file mode 100644
index 0000000000..acf42176f0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000311,sync:fuzzer03,src:000228
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000312,sync:fuzzer02,src:000250 b/tests/suite/ocsp-resp-coverage/id:000312,sync:fuzzer02,src:000250
new file mode 100644
index 0000000000..e5793ae480
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000312,sync:fuzzer02,src:000250
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000312,sync:fuzzer03,src:000263 b/tests/suite/ocsp-resp-coverage/id:000312,sync:fuzzer03,src:000263
new file mode 100644
index 0000000000..4a3eb71717
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000312,sync:fuzzer03,src:000263
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000313,sync:fuzzer03,src:000186,+cov b/tests/suite/ocsp-resp-coverage/id:000313,sync:fuzzer03,src:000186,+cov
new file mode 100644
index 0000000000..57c92b4602
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000313,sync:fuzzer03,src:000186,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000313,sync:fuzzer04,src:000292 b/tests/suite/ocsp-resp-coverage/id:000313,sync:fuzzer04,src:000292
new file mode 100644
index 0000000000..5ca8c62f41
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000313,sync:fuzzer04,src:000292
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000315,sync:fuzzer07,src:000314 b/tests/suite/ocsp-resp-coverage/id:000315,sync:fuzzer07,src:000314
new file mode 100644
index 0000000000..dbb8247704
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000315,sync:fuzzer07,src:000314
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000318,sync:fuzzer03,src:000308,+cov b/tests/suite/ocsp-resp-coverage/id:000318,sync:fuzzer03,src:000308,+cov
new file mode 100644
index 0000000000..0703cfcd4a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000318,sync:fuzzer03,src:000308,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000318,sync:fuzzer07,src:000315 b/tests/suite/ocsp-resp-coverage/id:000318,sync:fuzzer07,src:000315
new file mode 100644
index 0000000000..e45a3075af
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000318,sync:fuzzer07,src:000315
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000319,sync:fuzzer03,src:000280 b/tests/suite/ocsp-resp-coverage/id:000319,sync:fuzzer03,src:000280
new file mode 100644
index 0000000000..1353b3cae1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000319,sync:fuzzer03,src:000280
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000322,sync:fuzzer08,src:000257 b/tests/suite/ocsp-resp-coverage/id:000322,sync:fuzzer08,src:000257
new file mode 100644
index 0000000000..92636eefd9
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000322,sync:fuzzer08,src:000257
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000324,sync:fuzzer03,src:000245,+cov b/tests/suite/ocsp-resp-coverage/id:000324,sync:fuzzer03,src:000245,+cov
new file mode 100644
index 0000000000..f98af752f6
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000324,sync:fuzzer03,src:000245,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000325,sync:fuzzer03,src:000264,+cov b/tests/suite/ocsp-resp-coverage/id:000325,sync:fuzzer03,src:000264,+cov
new file mode 100644
index 0000000000..8ef48cb40c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000325,sync:fuzzer03,src:000264,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000327,sync:fuzzer03,src:000221 b/tests/suite/ocsp-resp-coverage/id:000327,sync:fuzzer03,src:000221
new file mode 100644
index 0000000000..11df3d309d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000327,sync:fuzzer03,src:000221
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000328,sync:fuzzer03,src:000203 b/tests/suite/ocsp-resp-coverage/id:000328,sync:fuzzer03,src:000203
new file mode 100644
index 0000000000..f88da75b4a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000328,sync:fuzzer03,src:000203
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000330,sync:fuzzer03,src:000303,+cov b/tests/suite/ocsp-resp-coverage/id:000330,sync:fuzzer03,src:000303,+cov
new file mode 100644
index 0000000000..40da3f1c02
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000330,sync:fuzzer03,src:000303,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000330,sync:fuzzer03,src:000325 b/tests/suite/ocsp-resp-coverage/id:000330,sync:fuzzer03,src:000325
new file mode 100644
index 0000000000..2ada477d82
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000330,sync:fuzzer03,src:000325
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000332,sync:fuzzer03,src:000276,+cov b/tests/suite/ocsp-resp-coverage/id:000332,sync:fuzzer03,src:000276,+cov
new file mode 100644
index 0000000000..bd2febf497
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000332,sync:fuzzer03,src:000276,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000333,sync:fuzzer03,src:000292,+cov b/tests/suite/ocsp-resp-coverage/id:000333,sync:fuzzer03,src:000292,+cov
new file mode 100644
index 0000000000..b5834a0ca4
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000333,sync:fuzzer03,src:000292,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000334,sync:fuzzer03,src:000301,+cov b/tests/suite/ocsp-resp-coverage/id:000334,sync:fuzzer03,src:000301,+cov
new file mode 100644
index 0000000000..7ad815d154
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000334,sync:fuzzer03,src:000301,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000337,sync:fuzzer03,src:000324 b/tests/suite/ocsp-resp-coverage/id:000337,sync:fuzzer03,src:000324
new file mode 100644
index 0000000000..927be1820d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000337,sync:fuzzer03,src:000324
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000338,sync:fuzzer03,src:000244,+cov b/tests/suite/ocsp-resp-coverage/id:000338,sync:fuzzer03,src:000244,+cov
new file mode 100644
index 0000000000..d2e07e4339
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000338,sync:fuzzer03,src:000244,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000340,sync:fuzzer07,src:000317,+cov b/tests/suite/ocsp-resp-coverage/id:000340,sync:fuzzer07,src:000317,+cov
new file mode 100644
index 0000000000..6d5e89e05b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000340,sync:fuzzer07,src:000317,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000343,sync:fuzzer08,src:000339 b/tests/suite/ocsp-resp-coverage/id:000343,sync:fuzzer08,src:000339
new file mode 100644
index 0000000000..64b6c23aea
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000343,sync:fuzzer08,src:000339
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000347,sync:fuzzer03,src:000337 b/tests/suite/ocsp-resp-coverage/id:000347,sync:fuzzer03,src:000337
new file mode 100644
index 0000000000..a45d7c561c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000347,sync:fuzzer03,src:000337
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000349,sync:fuzzer08,src:000346 b/tests/suite/ocsp-resp-coverage/id:000349,sync:fuzzer08,src:000346
new file mode 100644
index 0000000000..f12f1656f0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000349,sync:fuzzer08,src:000346
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000350,sync:fuzzer08,src:000347 b/tests/suite/ocsp-resp-coverage/id:000350,sync:fuzzer08,src:000347
new file mode 100644
index 0000000000..0a5ca3a795
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000350,sync:fuzzer08,src:000347
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000351,sync:fuzzer08,src:000345 b/tests/suite/ocsp-resp-coverage/id:000351,sync:fuzzer08,src:000345
new file mode 100644
index 0000000000..00cfe1f6d0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000351,sync:fuzzer08,src:000345
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000353,sync:fuzzer03,src:000341 b/tests/suite/ocsp-resp-coverage/id:000353,sync:fuzzer03,src:000341
new file mode 100644
index 0000000000..ecfe248c2d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000353,sync:fuzzer03,src:000341
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000357,sync:fuzzer03,src:000343,+cov b/tests/suite/ocsp-resp-coverage/id:000357,sync:fuzzer03,src:000343,+cov
new file mode 100644
index 0000000000..513773c973
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000357,sync:fuzzer03,src:000343,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000358,sync:fuzzer03,src:000339 b/tests/suite/ocsp-resp-coverage/id:000358,sync:fuzzer03,src:000339
new file mode 100644
index 0000000000..78a9a06eb5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000358,sync:fuzzer03,src:000339
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000358,sync:fuzzer03,src:000349,+cov b/tests/suite/ocsp-resp-coverage/id:000358,sync:fuzzer03,src:000349,+cov
new file mode 100644
index 0000000000..b0927f47b5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000358,sync:fuzzer03,src:000349,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000360,sync:fuzzer03,src:000357 b/tests/suite/ocsp-resp-coverage/id:000360,sync:fuzzer03,src:000357
new file mode 100644
index 0000000000..36e2a71463
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000360,sync:fuzzer03,src:000357
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000362,sync:fuzzer03,src:000347 b/tests/suite/ocsp-resp-coverage/id:000362,sync:fuzzer03,src:000347
new file mode 100644
index 0000000000..8d38bd139f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000362,sync:fuzzer03,src:000347
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000363,sync:fuzzer03,src:000340 b/tests/suite/ocsp-resp-coverage/id:000363,sync:fuzzer03,src:000340
new file mode 100644
index 0000000000..43cf8105c0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000363,sync:fuzzer03,src:000340
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000365,sync:fuzzer06,src:000349,+cov b/tests/suite/ocsp-resp-coverage/id:000365,sync:fuzzer06,src:000349,+cov
new file mode 100644
index 0000000000..92cf2addc2
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000365,sync:fuzzer06,src:000349,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000366,sync:fuzzer03,src:000338 b/tests/suite/ocsp-resp-coverage/id:000366,sync:fuzzer03,src:000338
new file mode 100644
index 0000000000..2ee91c1682
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000366,sync:fuzzer03,src:000338
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000366,sync:fuzzer06,src:000347,+cov b/tests/suite/ocsp-resp-coverage/id:000366,sync:fuzzer06,src:000347,+cov
new file mode 100644
index 0000000000..bb71e9e8da
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000366,sync:fuzzer06,src:000347,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000368,sync:fuzzer07,src:000357,+cov b/tests/suite/ocsp-resp-coverage/id:000368,sync:fuzzer07,src:000357,+cov
new file mode 100644
index 0000000000..2df89fd5d4
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000368,sync:fuzzer07,src:000357,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000369,sync:fuzzer03,src:000342 b/tests/suite/ocsp-resp-coverage/id:000369,sync:fuzzer03,src:000342
new file mode 100644
index 0000000000..e4e831b6e6
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000369,sync:fuzzer03,src:000342
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000369,sync:fuzzer03,src:000354,+cov b/tests/suite/ocsp-resp-coverage/id:000369,sync:fuzzer03,src:000354,+cov
new file mode 100644
index 0000000000..8453e38557
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000369,sync:fuzzer03,src:000354,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000370,sync:fuzzer03,src:000360 b/tests/suite/ocsp-resp-coverage/id:000370,sync:fuzzer03,src:000360
new file mode 100644
index 0000000000..fdea20c4cc
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000370,sync:fuzzer03,src:000360
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000370,sync:fuzzer03,src:000364 b/tests/suite/ocsp-resp-coverage/id:000370,sync:fuzzer03,src:000364
new file mode 100644
index 0000000000..dd58d6a751
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000370,sync:fuzzer03,src:000364
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000371,sync:fuzzer03,src:000334 b/tests/suite/ocsp-resp-coverage/id:000371,sync:fuzzer03,src:000334
new file mode 100644
index 0000000000..9095bee5d5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000371,sync:fuzzer03,src:000334
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000371,sync:fuzzer03,src:000356,+cov b/tests/suite/ocsp-resp-coverage/id:000371,sync:fuzzer03,src:000356,+cov
new file mode 100644
index 0000000000..0dd69bbc6b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000371,sync:fuzzer03,src:000356,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000372,sync:fuzzer03,src:000348 b/tests/suite/ocsp-resp-coverage/id:000372,sync:fuzzer03,src:000348
new file mode 100644
index 0000000000..162c7871d1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000372,sync:fuzzer03,src:000348
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000373,sync:fuzzer03,src:000328,+cov b/tests/suite/ocsp-resp-coverage/id:000373,sync:fuzzer03,src:000328,+cov
new file mode 100644
index 0000000000..c3278d7401
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000373,sync:fuzzer03,src:000328,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000373,sync:fuzzer03,src:000355,+cov b/tests/suite/ocsp-resp-coverage/id:000373,sync:fuzzer03,src:000355,+cov
new file mode 100644
index 0000000000..7e971aa8ff
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000373,sync:fuzzer03,src:000355,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000374,sync:fuzzer03,src:000351,+cov b/tests/suite/ocsp-resp-coverage/id:000374,sync:fuzzer03,src:000351,+cov
new file mode 100644
index 0000000000..199fd0ce5d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000374,sync:fuzzer03,src:000351,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000374,sync:fuzzer03,src:000363 b/tests/suite/ocsp-resp-coverage/id:000374,sync:fuzzer03,src:000363
new file mode 100644
index 0000000000..64b8d7bf90
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000374,sync:fuzzer03,src:000363
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000375,sync:fuzzer07,src:000367 b/tests/suite/ocsp-resp-coverage/id:000375,sync:fuzzer07,src:000367
new file mode 100644
index 0000000000..a84d9339ee
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000375,sync:fuzzer07,src:000367
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000377,sync:fuzzer03,src:000365 b/tests/suite/ocsp-resp-coverage/id:000377,sync:fuzzer03,src:000365
new file mode 100644
index 0000000000..c59d514bb3
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000377,sync:fuzzer03,src:000365
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000377,sync:fuzzer07,src:000368 b/tests/suite/ocsp-resp-coverage/id:000377,sync:fuzzer07,src:000368
new file mode 100644
index 0000000000..6fe722f7da
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000377,sync:fuzzer07,src:000368
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000378,sync:fuzzer03,src:000369,+cov b/tests/suite/ocsp-resp-coverage/id:000378,sync:fuzzer03,src:000369,+cov
new file mode 100644
index 0000000000..f9fc52dc0b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000378,sync:fuzzer03,src:000369,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000379,sync:fuzzer03,src:000366 b/tests/suite/ocsp-resp-coverage/id:000379,sync:fuzzer03,src:000366
new file mode 100644
index 0000000000..a59d6eaa5f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000379,sync:fuzzer03,src:000366
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000380,sync:fuzzer03,src:000367 b/tests/suite/ocsp-resp-coverage/id:000380,sync:fuzzer03,src:000367
new file mode 100644
index 0000000000..56b15af61f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000380,sync:fuzzer03,src:000367
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000382,sync:fuzzer03,src:000371 b/tests/suite/ocsp-resp-coverage/id:000382,sync:fuzzer03,src:000371
new file mode 100644
index 0000000000..0a1b96fd30
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000382,sync:fuzzer03,src:000371
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000383,sync:fuzzer03,src:000372,+cov b/tests/suite/ocsp-resp-coverage/id:000383,sync:fuzzer03,src:000372,+cov
new file mode 100644
index 0000000000..de799b2b2d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000383,sync:fuzzer03,src:000372,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000386,src:000100,op:havoc,rep:2,+cov b/tests/suite/ocsp-resp-coverage/id:000386,src:000100,op:havoc,rep:2,+cov
new file mode 100644
index 0000000000..b7d805bddc
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000386,src:000100,op:havoc,rep:2,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000387,sync:fuzzer01,src:000321,+cov b/tests/suite/ocsp-resp-coverage/id:000387,sync:fuzzer01,src:000321,+cov
new file mode 100644
index 0000000000..6fb1dabecf
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000387,sync:fuzzer01,src:000321,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000388,sync:fuzzer03,src:000374,+cov b/tests/suite/ocsp-resp-coverage/id:000388,sync:fuzzer03,src:000374,+cov
new file mode 100644
index 0000000000..b0f478a185
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000388,sync:fuzzer03,src:000374,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000389,sync:fuzzer07,src:000377,+cov b/tests/suite/ocsp-resp-coverage/id:000389,sync:fuzzer07,src:000377,+cov
new file mode 100644
index 0000000000..48eb7a3b8c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000389,sync:fuzzer07,src:000377,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000390,sync:fuzzer08,src:000386,+cov b/tests/suite/ocsp-resp-coverage/id:000390,sync:fuzzer08,src:000386,+cov
new file mode 100644
index 0000000000..fc22614d0d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000390,sync:fuzzer08,src:000386,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000401,sync:fuzzer07,src:000386 b/tests/suite/ocsp-resp-coverage/id:000401,sync:fuzzer07,src:000386
new file mode 100644
index 0000000000..407bd00fa1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000401,sync:fuzzer07,src:000386
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000404,sync:fuzzer03,src:000391,+cov b/tests/suite/ocsp-resp-coverage/id:000404,sync:fuzzer03,src:000391,+cov
new file mode 100644
index 0000000000..aaf9552d3a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000404,sync:fuzzer03,src:000391,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000405,sync:fuzzer03,src:000394,+cov b/tests/suite/ocsp-resp-coverage/id:000405,sync:fuzzer03,src:000394,+cov
new file mode 100644
index 0000000000..08e699a6ef
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000405,sync:fuzzer03,src:000394,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000406,sync:fuzzer03,src:000396 b/tests/suite/ocsp-resp-coverage/id:000406,sync:fuzzer03,src:000396
new file mode 100644
index 0000000000..fdc5d3d493
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000406,sync:fuzzer03,src:000396
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000407,sync:fuzzer07,src:000389,+cov b/tests/suite/ocsp-resp-coverage/id:000407,sync:fuzzer07,src:000389,+cov
new file mode 100644
index 0000000000..7487857205
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000407,sync:fuzzer07,src:000389,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000411,sync:fuzzer03,src:000401 b/tests/suite/ocsp-resp-coverage/id:000411,sync:fuzzer03,src:000401
new file mode 100644
index 0000000000..14c3b6e460
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000411,sync:fuzzer03,src:000401
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000411,sync:fuzzer04,src:000396 b/tests/suite/ocsp-resp-coverage/id:000411,sync:fuzzer04,src:000396
new file mode 100644
index 0000000000..13aa150f18
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000411,sync:fuzzer04,src:000396
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000412,sync:fuzzer04,src:000394,+cov b/tests/suite/ocsp-resp-coverage/id:000412,sync:fuzzer04,src:000394,+cov
new file mode 100644
index 0000000000..e19f83aa39
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000412,sync:fuzzer04,src:000394,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000414,sync:fuzzer05,src:000414,+cov b/tests/suite/ocsp-resp-coverage/id:000414,sync:fuzzer05,src:000414,+cov
new file mode 100644
index 0000000000..09647f24f8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000414,sync:fuzzer05,src:000414,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000416,sync:fuzzer03,src:000406 b/tests/suite/ocsp-resp-coverage/id:000416,sync:fuzzer03,src:000406
new file mode 100644
index 0000000000..9504e6cd7e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000416,sync:fuzzer03,src:000406
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000417,sync:fuzzer03,src:000405 b/tests/suite/ocsp-resp-coverage/id:000417,sync:fuzzer03,src:000405
new file mode 100644
index 0000000000..76cf9381b9
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000417,sync:fuzzer03,src:000405
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000419,sync:fuzzer01,src:000386 b/tests/suite/ocsp-resp-coverage/id:000419,sync:fuzzer01,src:000386
new file mode 100644
index 0000000000..fc17b03a48
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000419,sync:fuzzer01,src:000386
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000426,sync:fuzzer03,src:000409 b/tests/suite/ocsp-resp-coverage/id:000426,sync:fuzzer03,src:000409
new file mode 100644
index 0000000000..4391aa9052
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000426,sync:fuzzer03,src:000409
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000432,sync:fuzzer07,src:000410 b/tests/suite/ocsp-resp-coverage/id:000432,sync:fuzzer07,src:000410
new file mode 100644
index 0000000000..d3f0255e3a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000432,sync:fuzzer07,src:000410
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000436,sync:fuzzer03,src:000411,+cov b/tests/suite/ocsp-resp-coverage/id:000436,sync:fuzzer03,src:000411,+cov
new file mode 100644
index 0000000000..b382e62765
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000436,sync:fuzzer03,src:000411,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000437,sync:fuzzer03,src:000414 b/tests/suite/ocsp-resp-coverage/id:000437,sync:fuzzer03,src:000414
new file mode 100644
index 0000000000..515be41352
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000437,sync:fuzzer03,src:000414
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000437,sync:fuzzer03,src:000428 b/tests/suite/ocsp-resp-coverage/id:000437,sync:fuzzer03,src:000428
new file mode 100644
index 0000000000..c9b9ffe758
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000437,sync:fuzzer03,src:000428
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000438,sync:fuzzer03,src:000425,+cov b/tests/suite/ocsp-resp-coverage/id:000438,sync:fuzzer03,src:000425,+cov
new file mode 100644
index 0000000000..e0db8a66b8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000438,sync:fuzzer03,src:000425,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000439,sync:fuzzer03,src:000427 b/tests/suite/ocsp-resp-coverage/id:000439,sync:fuzzer03,src:000427
new file mode 100644
index 0000000000..7721ae767a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000439,sync:fuzzer03,src:000427
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000440,sync:fuzzer07,src:000422,+cov b/tests/suite/ocsp-resp-coverage/id:000440,sync:fuzzer07,src:000422,+cov
new file mode 100644
index 0000000000..4c78248a2a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000440,sync:fuzzer07,src:000422,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000442,sync:fuzzer03,src:000426 b/tests/suite/ocsp-resp-coverage/id:000442,sync:fuzzer03,src:000426
new file mode 100644
index 0000000000..c32d24df35
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000442,sync:fuzzer03,src:000426
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000443,sync:fuzzer03,src:000421 b/tests/suite/ocsp-resp-coverage/id:000443,sync:fuzzer03,src:000421
new file mode 100644
index 0000000000..f3b5a1f51f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000443,sync:fuzzer03,src:000421
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer03,src:000431 b/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer03,src:000431
new file mode 100644
index 0000000000..1eadd7fb41
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer03,src:000431
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer03,src:000433,+cov b/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer03,src:000433,+cov
new file mode 100644
index 0000000000..b34fdf69a6
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer03,src:000433,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer07,src:000430,+cov b/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer07,src:000430,+cov
new file mode 100644
index 0000000000..6904a8ffc4
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000444,sync:fuzzer07,src:000430,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000445,sync:fuzzer03,src:000417 b/tests/suite/ocsp-resp-coverage/id:000445,sync:fuzzer03,src:000417
new file mode 100644
index 0000000000..11c0cc39b1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000445,sync:fuzzer03,src:000417
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000448,sync:fuzzer03,src:000413 b/tests/suite/ocsp-resp-coverage/id:000448,sync:fuzzer03,src:000413
new file mode 100644
index 0000000000..4bae4f2cda
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000448,sync:fuzzer03,src:000413
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000449,sync:fuzzer03,src:000424,+cov b/tests/suite/ocsp-resp-coverage/id:000449,sync:fuzzer03,src:000424,+cov
new file mode 100644
index 0000000000..37810807c9
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000449,sync:fuzzer03,src:000424,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000455,sync:fuzzer03,src:000412,+cov b/tests/suite/ocsp-resp-coverage/id:000455,sync:fuzzer03,src:000412,+cov
new file mode 100644
index 0000000000..d984468294
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000455,sync:fuzzer03,src:000412,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000455,sync:fuzzer03,src:000419,+cov b/tests/suite/ocsp-resp-coverage/id:000455,sync:fuzzer03,src:000419,+cov
new file mode 100644
index 0000000000..3c4ba8ee4b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000455,sync:fuzzer03,src:000419,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000456,sync:fuzzer03,src:000429,+cov b/tests/suite/ocsp-resp-coverage/id:000456,sync:fuzzer03,src:000429,+cov
new file mode 100644
index 0000000000..24f6d6c25f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000456,sync:fuzzer03,src:000429,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000456,sync:fuzzer03,src:000448 b/tests/suite/ocsp-resp-coverage/id:000456,sync:fuzzer03,src:000448
new file mode 100644
index 0000000000..ae46ebc543
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000456,sync:fuzzer03,src:000448
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000457,sync:fuzzer03,src:000438,+cov b/tests/suite/ocsp-resp-coverage/id:000457,sync:fuzzer03,src:000438,+cov
new file mode 100644
index 0000000000..cd0d37f4d0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000457,sync:fuzzer03,src:000438,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000460,sync:fuzzer03,src:000446,+cov b/tests/suite/ocsp-resp-coverage/id:000460,sync:fuzzer03,src:000446,+cov
new file mode 100644
index 0000000000..1c961fab26
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000460,sync:fuzzer03,src:000446,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000460,sync:fuzzer07,src:000453 b/tests/suite/ocsp-resp-coverage/id:000460,sync:fuzzer07,src:000453
new file mode 100644
index 0000000000..1d652aaf3b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000460,sync:fuzzer07,src:000453
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000463,sync:fuzzer03,src:000442,+cov b/tests/suite/ocsp-resp-coverage/id:000463,sync:fuzzer03,src:000442,+cov
new file mode 100644
index 0000000000..8ae99904cd
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000463,sync:fuzzer03,src:000442,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000467,sync:fuzzer07,src:000454,+cov b/tests/suite/ocsp-resp-coverage/id:000467,sync:fuzzer07,src:000454,+cov
new file mode 100644
index 0000000000..70e480a377
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000467,sync:fuzzer07,src:000454,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000468,sync:fuzzer03,src:000439 b/tests/suite/ocsp-resp-coverage/id:000468,sync:fuzzer03,src:000439
new file mode 100644
index 0000000000..bd6c1c14ca
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000468,sync:fuzzer03,src:000439
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000468,sync:fuzzer07,src:000439,+cov b/tests/suite/ocsp-resp-coverage/id:000468,sync:fuzzer07,src:000439,+cov
new file mode 100644
index 0000000000..44f19c7250
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000468,sync:fuzzer07,src:000439,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000473,sync:fuzzer07,src:000455,+cov b/tests/suite/ocsp-resp-coverage/id:000473,sync:fuzzer07,src:000455,+cov
new file mode 100644
index 0000000000..33e8417db8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000473,sync:fuzzer07,src:000455,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000474,sync:fuzzer03,src:000443 b/tests/suite/ocsp-resp-coverage/id:000474,sync:fuzzer03,src:000443
new file mode 100644
index 0000000000..668c1e2468
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000474,sync:fuzzer03,src:000443
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000475,sync:fuzzer03,src:000454,+cov b/tests/suite/ocsp-resp-coverage/id:000475,sync:fuzzer03,src:000454,+cov
new file mode 100644
index 0000000000..b8a70b8ce9
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000475,sync:fuzzer03,src:000454,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000476,sync:fuzzer03,src:000444 b/tests/suite/ocsp-resp-coverage/id:000476,sync:fuzzer03,src:000444
new file mode 100644
index 0000000000..08308c0abe
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000476,sync:fuzzer03,src:000444
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000477,sync:fuzzer03,src:000450 b/tests/suite/ocsp-resp-coverage/id:000477,sync:fuzzer03,src:000450
new file mode 100644
index 0000000000..9bc334d687
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000477,sync:fuzzer03,src:000450
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000478,sync:fuzzer03,src:000466 b/tests/suite/ocsp-resp-coverage/id:000478,sync:fuzzer03,src:000466
new file mode 100644
index 0000000000..fa3ac4c32f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000478,sync:fuzzer03,src:000466
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000479,sync:fuzzer03,src:000462 b/tests/suite/ocsp-resp-coverage/id:000479,sync:fuzzer03,src:000462
new file mode 100644
index 0000000000..74c0812cb7
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000479,sync:fuzzer03,src:000462
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000479,sync:fuzzer07,src:000468,+cov b/tests/suite/ocsp-resp-coverage/id:000479,sync:fuzzer07,src:000468,+cov
new file mode 100644
index 0000000000..ef5ad1647f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000479,sync:fuzzer07,src:000468,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000480,sync:fuzzer03,src:000459 b/tests/suite/ocsp-resp-coverage/id:000480,sync:fuzzer03,src:000459
new file mode 100644
index 0000000000..a9c60a4922
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000480,sync:fuzzer03,src:000459
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000480,sync:fuzzer07,src:000465,+cov b/tests/suite/ocsp-resp-coverage/id:000480,sync:fuzzer07,src:000465,+cov
new file mode 100644
index 0000000000..7aad0d7f7c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000480,sync:fuzzer07,src:000465,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000481,sync:fuzzer03,src:000453 b/tests/suite/ocsp-resp-coverage/id:000481,sync:fuzzer03,src:000453
new file mode 100644
index 0000000000..386c6227dc
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000481,sync:fuzzer03,src:000453
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000481,sync:fuzzer07,src:000470 b/tests/suite/ocsp-resp-coverage/id:000481,sync:fuzzer07,src:000470
new file mode 100644
index 0000000000..fc18757f64
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000481,sync:fuzzer07,src:000470
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000482,sync:fuzzer07,src:000466 b/tests/suite/ocsp-resp-coverage/id:000482,sync:fuzzer07,src:000466
new file mode 100644
index 0000000000..872a0ff080
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000482,sync:fuzzer07,src:000466
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000489,sync:fuzzer07,src:000477 b/tests/suite/ocsp-resp-coverage/id:000489,sync:fuzzer07,src:000477
new file mode 100644
index 0000000000..ef951b1e06
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000489,sync:fuzzer07,src:000477
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000491,sync:fuzzer07,src:000476 b/tests/suite/ocsp-resp-coverage/id:000491,sync:fuzzer07,src:000476
new file mode 100644
index 0000000000..b06fad2e17
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000491,sync:fuzzer07,src:000476
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000493,src:000255,op:havoc,rep:2 b/tests/suite/ocsp-resp-coverage/id:000493,src:000255,op:havoc,rep:2
new file mode 100644
index 0000000000..f3dd7dd0a8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000493,src:000255,op:havoc,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000494,sync:fuzzer03,src:000487 b/tests/suite/ocsp-resp-coverage/id:000494,sync:fuzzer03,src:000487
new file mode 100644
index 0000000000..0412b3c99d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000494,sync:fuzzer03,src:000487
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000495,sync:fuzzer03,src:000482 b/tests/suite/ocsp-resp-coverage/id:000495,sync:fuzzer03,src:000482
new file mode 100644
index 0000000000..7bc65813fd
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000495,sync:fuzzer03,src:000482
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000496,sync:fuzzer08,src:000492,+cov b/tests/suite/ocsp-resp-coverage/id:000496,sync:fuzzer08,src:000492,+cov
new file mode 100644
index 0000000000..bc1858fbcb
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000496,sync:fuzzer08,src:000492,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000498,sync:fuzzer01,src:000388,+cov b/tests/suite/ocsp-resp-coverage/id:000498,sync:fuzzer01,src:000388,+cov
new file mode 100644
index 0000000000..df9e8b085b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000498,sync:fuzzer01,src:000388,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000500,sync:fuzzer07,src:000488,+cov b/tests/suite/ocsp-resp-coverage/id:000500,sync:fuzzer07,src:000488,+cov
new file mode 100644
index 0000000000..cf0c81ab69
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000500,sync:fuzzer07,src:000488,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000502,sync:fuzzer08,src:000498 b/tests/suite/ocsp-resp-coverage/id:000502,sync:fuzzer08,src:000498
new file mode 100644
index 0000000000..f830efc907
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000502,sync:fuzzer08,src:000498
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000504,sync:fuzzer03,src:000496 b/tests/suite/ocsp-resp-coverage/id:000504,sync:fuzzer03,src:000496
new file mode 100644
index 0000000000..bdf0c23f90
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000504,sync:fuzzer03,src:000496
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000507,src:000272+000488,op:splice,rep:2 b/tests/suite/ocsp-resp-coverage/id:000507,src:000272+000488,op:splice,rep:2
new file mode 100644
index 0000000000..0f334d3767
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000507,src:000272+000488,op:splice,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000507,sync:fuzzer03,src:000499 b/tests/suite/ocsp-resp-coverage/id:000507,sync:fuzzer03,src:000499
new file mode 100644
index 0000000000..b78230a6cd
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000507,sync:fuzzer03,src:000499
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000508,sync:fuzzer03,src:000500 b/tests/suite/ocsp-resp-coverage/id:000508,sync:fuzzer03,src:000500
new file mode 100644
index 0000000000..9bd9f4591c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000508,sync:fuzzer03,src:000500
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000509,sync:fuzzer03,src:000504 b/tests/suite/ocsp-resp-coverage/id:000509,sync:fuzzer03,src:000504
new file mode 100644
index 0000000000..b45c012281
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000509,sync:fuzzer03,src:000504
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000510,sync:fuzzer03,src:000507 b/tests/suite/ocsp-resp-coverage/id:000510,sync:fuzzer03,src:000507
new file mode 100644
index 0000000000..038818bf0d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000510,sync:fuzzer03,src:000507
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000511,sync:fuzzer03,src:000494 b/tests/suite/ocsp-resp-coverage/id:000511,sync:fuzzer03,src:000494
new file mode 100644
index 0000000000..c146fc30e5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000511,sync:fuzzer03,src:000494
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000512,sync:fuzzer03,src:000501 b/tests/suite/ocsp-resp-coverage/id:000512,sync:fuzzer03,src:000501
new file mode 100644
index 0000000000..ffff3fc819
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000512,sync:fuzzer03,src:000501
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000513,sync:fuzzer03,src:000503 b/tests/suite/ocsp-resp-coverage/id:000513,sync:fuzzer03,src:000503
new file mode 100644
index 0000000000..37f5a8b47d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000513,sync:fuzzer03,src:000503
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000515,sync:fuzzer03,src:000505 b/tests/suite/ocsp-resp-coverage/id:000515,sync:fuzzer03,src:000505
new file mode 100644
index 0000000000..fd9422f08c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000515,sync:fuzzer03,src:000505
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000517,sync:fuzzer02,src:000496 b/tests/suite/ocsp-resp-coverage/id:000517,sync:fuzzer02,src:000496
new file mode 100644
index 0000000000..60c66194e0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000517,sync:fuzzer02,src:000496
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000518,sync:fuzzer03,src:000510,+cov b/tests/suite/ocsp-resp-coverage/id:000518,sync:fuzzer03,src:000510,+cov
new file mode 100644
index 0000000000..da98d70d19
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000518,sync:fuzzer03,src:000510,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000520,src:000324,op:havoc,rep:2 b/tests/suite/ocsp-resp-coverage/id:000520,src:000324,op:havoc,rep:2
new file mode 100644
index 0000000000..46d61954f2
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000520,src:000324,op:havoc,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000523,src:000341,op:havoc,rep:8,+cov b/tests/suite/ocsp-resp-coverage/id:000523,src:000341,op:havoc,rep:8,+cov
new file mode 100644
index 0000000000..d7c82f4934
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000523,src:000341,op:havoc,rep:8,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000524,sync:fuzzer03,src:000515 b/tests/suite/ocsp-resp-coverage/id:000524,sync:fuzzer03,src:000515
new file mode 100644
index 0000000000..9b406b46eb
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000524,sync:fuzzer03,src:000515
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000525,src:000361,op:havoc,rep:4 b/tests/suite/ocsp-resp-coverage/id:000525,src:000361,op:havoc,rep:4
new file mode 100644
index 0000000000..f596bd9e0a
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000525,src:000361,op:havoc,rep:4
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000526,sync:fuzzer03,src:000517 b/tests/suite/ocsp-resp-coverage/id:000526,sync:fuzzer03,src:000517
new file mode 100644
index 0000000000..3a618b0ed0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000526,sync:fuzzer03,src:000517
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000527,sync:fuzzer03,src:000516 b/tests/suite/ocsp-resp-coverage/id:000527,sync:fuzzer03,src:000516
new file mode 100644
index 0000000000..eb063858ba
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000527,sync:fuzzer03,src:000516
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000528,src:000382+000140,op:splice,rep:2 b/tests/suite/ocsp-resp-coverage/id:000528,src:000382+000140,op:splice,rep:2
new file mode 100644
index 0000000000..9cb21fceff
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000528,src:000382+000140,op:splice,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000529,sync:fuzzer03,src:000520 b/tests/suite/ocsp-resp-coverage/id:000529,sync:fuzzer03,src:000520
new file mode 100644
index 0000000000..f862ac3111
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000529,sync:fuzzer03,src:000520
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000531,sync:fuzzer03,src:000523,+cov b/tests/suite/ocsp-resp-coverage/id:000531,sync:fuzzer03,src:000523,+cov
new file mode 100644
index 0000000000..cd6eb65adf
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000531,sync:fuzzer03,src:000523,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000532,sync:fuzzer03,src:000524 b/tests/suite/ocsp-resp-coverage/id:000532,sync:fuzzer03,src:000524
new file mode 100644
index 0000000000..98052e4bc6
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000532,sync:fuzzer03,src:000524
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000534,sync:fuzzer03,src:000522 b/tests/suite/ocsp-resp-coverage/id:000534,sync:fuzzer03,src:000522
new file mode 100644
index 0000000000..8e7076cd77
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000534,sync:fuzzer03,src:000522
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000535,sync:fuzzer03,src:000525 b/tests/suite/ocsp-resp-coverage/id:000535,sync:fuzzer03,src:000525
new file mode 100644
index 0000000000..d43063dfe4
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000535,sync:fuzzer03,src:000525
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000536,sync:fuzzer03,src:000529 b/tests/suite/ocsp-resp-coverage/id:000536,sync:fuzzer03,src:000529
new file mode 100644
index 0000000000..f48cb6bcee
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000536,sync:fuzzer03,src:000529
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000538,sync:fuzzer03,src:000530 b/tests/suite/ocsp-resp-coverage/id:000538,sync:fuzzer03,src:000530
new file mode 100644
index 0000000000..928d68a38d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000538,sync:fuzzer03,src:000530
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000539,sync:fuzzer03,src:000531 b/tests/suite/ocsp-resp-coverage/id:000539,sync:fuzzer03,src:000531
new file mode 100644
index 0000000000..ac32ac9a83
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000539,sync:fuzzer03,src:000531
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000540,sync:fuzzer03,src:000534 b/tests/suite/ocsp-resp-coverage/id:000540,sync:fuzzer03,src:000534
new file mode 100644
index 0000000000..beec9db5c8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000540,sync:fuzzer03,src:000534
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000541,sync:fuzzer03,src:000533 b/tests/suite/ocsp-resp-coverage/id:000541,sync:fuzzer03,src:000533
new file mode 100644
index 0000000000..43543613e8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000541,sync:fuzzer03,src:000533
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000542,sync:fuzzer03,src:000532,+cov b/tests/suite/ocsp-resp-coverage/id:000542,sync:fuzzer03,src:000532,+cov
new file mode 100644
index 0000000000..27194a4cf4
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000542,sync:fuzzer03,src:000532,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000543,src:000407+000403,op:splice,rep:4,+cov b/tests/suite/ocsp-resp-coverage/id:000543,src:000407+000403,op:splice,rep:4,+cov
new file mode 100644
index 0000000000..a6f635b50f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000543,src:000407+000403,op:splice,rep:4,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000545,sync:fuzzer07,src:000534,+cov b/tests/suite/ocsp-resp-coverage/id:000545,sync:fuzzer07,src:000534,+cov
new file mode 100644
index 0000000000..d44bae4b1f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000545,sync:fuzzer07,src:000534,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000546,sync:fuzzer05,src:000544 b/tests/suite/ocsp-resp-coverage/id:000546,sync:fuzzer05,src:000544
new file mode 100644
index 0000000000..b08b64a8fe
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000546,sync:fuzzer05,src:000544
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000546,sync:fuzzer07,src:000532 b/tests/suite/ocsp-resp-coverage/id:000546,sync:fuzzer07,src:000532
new file mode 100644
index 0000000000..1cfaddc3c5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000546,sync:fuzzer07,src:000532
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000547,sync:fuzzer07,src:000535 b/tests/suite/ocsp-resp-coverage/id:000547,sync:fuzzer07,src:000535
new file mode 100644
index 0000000000..939a29efe0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000547,sync:fuzzer07,src:000535
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000548,sync:fuzzer07,src:000531,+cov b/tests/suite/ocsp-resp-coverage/id:000548,sync:fuzzer07,src:000531,+cov
new file mode 100644
index 0000000000..d2209d2567
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000548,sync:fuzzer07,src:000531,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000552,sync:fuzzer03,src:000543 b/tests/suite/ocsp-resp-coverage/id:000552,sync:fuzzer03,src:000543
new file mode 100644
index 0000000000..02fdb32580
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000552,sync:fuzzer03,src:000543
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000553,sync:fuzzer03,src:000544 b/tests/suite/ocsp-resp-coverage/id:000553,sync:fuzzer03,src:000544
new file mode 100644
index 0000000000..00731ab12d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000553,sync:fuzzer03,src:000544
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000554,sync:fuzzer08,src:000552,+cov b/tests/suite/ocsp-resp-coverage/id:000554,sync:fuzzer08,src:000552,+cov
new file mode 100644
index 0000000000..c77fc047ca
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000554,sync:fuzzer08,src:000552,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000555,sync:fuzzer06,src:000548 b/tests/suite/ocsp-resp-coverage/id:000555,sync:fuzzer06,src:000548
new file mode 100644
index 0000000000..397c6d2f99
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000555,sync:fuzzer06,src:000548
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000557,sync:fuzzer06,src:000547 b/tests/suite/ocsp-resp-coverage/id:000557,sync:fuzzer06,src:000547
new file mode 100644
index 0000000000..1d9d6b37df
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000557,sync:fuzzer06,src:000547
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000558,sync:fuzzer03,src:000551 b/tests/suite/ocsp-resp-coverage/id:000558,sync:fuzzer03,src:000551
new file mode 100644
index 0000000000..599f3927d8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000558,sync:fuzzer03,src:000551
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000560,sync:fuzzer03,src:000552 b/tests/suite/ocsp-resp-coverage/id:000560,sync:fuzzer03,src:000552
new file mode 100644
index 0000000000..9b86c7f83c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000560,sync:fuzzer03,src:000552
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000561,sync:fuzzer03,src:000555,+cov b/tests/suite/ocsp-resp-coverage/id:000561,sync:fuzzer03,src:000555,+cov
new file mode 100644
index 0000000000..9a21ec281d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000561,sync:fuzzer03,src:000555,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000562,sync:fuzzer03,src:000554 b/tests/suite/ocsp-resp-coverage/id:000562,sync:fuzzer03,src:000554
new file mode 100644
index 0000000000..90e6a91e78
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000562,sync:fuzzer03,src:000554
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000564,sync:fuzzer03,src:000556 b/tests/suite/ocsp-resp-coverage/id:000564,sync:fuzzer03,src:000556
new file mode 100644
index 0000000000..866bd4e5f3
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000564,sync:fuzzer03,src:000556
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000565,sync:fuzzer03,src:000557 b/tests/suite/ocsp-resp-coverage/id:000565,sync:fuzzer03,src:000557
new file mode 100644
index 0000000000..d141df53a0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000565,sync:fuzzer03,src:000557
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000566,sync:fuzzer07,src:000552 b/tests/suite/ocsp-resp-coverage/id:000566,sync:fuzzer07,src:000552
new file mode 100644
index 0000000000..0e86efc2a2
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000566,sync:fuzzer07,src:000552
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000567,sync:fuzzer08,src:000562 b/tests/suite/ocsp-resp-coverage/id:000567,sync:fuzzer08,src:000562
new file mode 100644
index 0000000000..f378326b0f
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000567,sync:fuzzer08,src:000562
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000568,sync:fuzzer02,src:000551 b/tests/suite/ocsp-resp-coverage/id:000568,sync:fuzzer02,src:000551
new file mode 100644
index 0000000000..a13b92b76b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000568,sync:fuzzer02,src:000551
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000569,src:000520+000462,op:splice,rep:8 b/tests/suite/ocsp-resp-coverage/id:000569,src:000520+000462,op:splice,rep:8
new file mode 100644
index 0000000000..f36c41a270
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000569,src:000520+000462,op:splice,rep:8
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000569,sync:fuzzer06,src:000555 b/tests/suite/ocsp-resp-coverage/id:000569,sync:fuzzer06,src:000555
new file mode 100644
index 0000000000..0bdaeb6bc8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000569,sync:fuzzer06,src:000555
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000570,sync:fuzzer06,src:000556 b/tests/suite/ocsp-resp-coverage/id:000570,sync:fuzzer06,src:000556
new file mode 100644
index 0000000000..a555c45041
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000570,sync:fuzzer06,src:000556
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000571,sync:fuzzer04,src:000557 b/tests/suite/ocsp-resp-coverage/id:000571,sync:fuzzer04,src:000557
new file mode 100644
index 0000000000..236f6540c5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000571,sync:fuzzer04,src:000557
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000572,sync:fuzzer07,src:000560 b/tests/suite/ocsp-resp-coverage/id:000572,sync:fuzzer07,src:000560
new file mode 100644
index 0000000000..5a1a404c0b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000572,sync:fuzzer07,src:000560
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000573,sync:fuzzer08,src:000570 b/tests/suite/ocsp-resp-coverage/id:000573,sync:fuzzer08,src:000570
new file mode 100644
index 0000000000..bfa713708b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000573,sync:fuzzer08,src:000570
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000577,sync:fuzzer02,src:000563 b/tests/suite/ocsp-resp-coverage/id:000577,sync:fuzzer02,src:000563
new file mode 100644
index 0000000000..19a7e74862
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000577,sync:fuzzer02,src:000563
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000577,sync:fuzzer03,src:000568,+cov b/tests/suite/ocsp-resp-coverage/id:000577,sync:fuzzer03,src:000568,+cov
new file mode 100644
index 0000000000..bb690e5673
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000577,sync:fuzzer03,src:000568,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000579,sync:fuzzer01,src:000540 b/tests/suite/ocsp-resp-coverage/id:000579,sync:fuzzer01,src:000540
new file mode 100644
index 0000000000..73599ea92b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000579,sync:fuzzer01,src:000540
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000582,sync:fuzzer03,src:000575 b/tests/suite/ocsp-resp-coverage/id:000582,sync:fuzzer03,src:000575
new file mode 100644
index 0000000000..5b3be7281e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000582,sync:fuzzer03,src:000575
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000583,sync:fuzzer03,src:000576,+cov b/tests/suite/ocsp-resp-coverage/id:000583,sync:fuzzer03,src:000576,+cov
new file mode 100644
index 0000000000..de829146c1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000583,sync:fuzzer03,src:000576,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000585,sync:fuzzer07,src:000571 b/tests/suite/ocsp-resp-coverage/id:000585,sync:fuzzer07,src:000571
new file mode 100644
index 0000000000..b6c9ccc486
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000585,sync:fuzzer07,src:000571
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000586,sync:fuzzer07,src:000577 b/tests/suite/ocsp-resp-coverage/id:000586,sync:fuzzer07,src:000577
new file mode 100644
index 0000000000..3524afc009
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000586,sync:fuzzer07,src:000577
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000587,sync:fuzzer03,src:000577,+cov b/tests/suite/ocsp-resp-coverage/id:000587,sync:fuzzer03,src:000577,+cov
new file mode 100644
index 0000000000..749bf3d2d2
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000587,sync:fuzzer03,src:000577,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000587,sync:fuzzer07,src:000574 b/tests/suite/ocsp-resp-coverage/id:000587,sync:fuzzer07,src:000574
new file mode 100644
index 0000000000..7239e8004e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000587,sync:fuzzer07,src:000574
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000588,sync:fuzzer05,src:000587 b/tests/suite/ocsp-resp-coverage/id:000588,sync:fuzzer05,src:000587
new file mode 100644
index 0000000000..11e9367702
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000588,sync:fuzzer05,src:000587
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000589,src:000531+000575,op:splice,rep:2 b/tests/suite/ocsp-resp-coverage/id:000589,src:000531+000575,op:splice,rep:2
new file mode 100644
index 0000000000..9260266ce8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000589,src:000531+000575,op:splice,rep:2
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000589,sync:fuzzer05,src:000588 b/tests/suite/ocsp-resp-coverage/id:000589,sync:fuzzer05,src:000588
new file mode 100644
index 0000000000..3d688e5c4b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000589,sync:fuzzer05,src:000588
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000591,sync:fuzzer03,src:000585 b/tests/suite/ocsp-resp-coverage/id:000591,sync:fuzzer03,src:000585
new file mode 100644
index 0000000000..543e5edf5b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000591,sync:fuzzer03,src:000585
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000569 b/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000569
new file mode 100644
index 0000000000..12b8e91a38
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000569
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000579 b/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000579
new file mode 100644
index 0000000000..469af21c6e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000579
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000587,+cov b/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000587,+cov
new file mode 100644
index 0000000000..57e1dca471
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000592,sync:fuzzer03,src:000587,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000594,sync:fuzzer03,src:000586,+cov b/tests/suite/ocsp-resp-coverage/id:000594,sync:fuzzer03,src:000586,+cov
new file mode 100644
index 0000000000..ebf8a4c6e3
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000594,sync:fuzzer03,src:000586,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000595,sync:fuzzer07,src:000585 b/tests/suite/ocsp-resp-coverage/id:000595,sync:fuzzer07,src:000585
new file mode 100644
index 0000000000..b0b6c44201
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000595,sync:fuzzer07,src:000585
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000597,sync:fuzzer03,src:000592,+cov b/tests/suite/ocsp-resp-coverage/id:000597,sync:fuzzer03,src:000592,+cov
new file mode 100644
index 0000000000..80317c1ff0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000597,sync:fuzzer03,src:000592,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000599,sync:fuzzer03,src:000589 b/tests/suite/ocsp-resp-coverage/id:000599,sync:fuzzer03,src:000589
new file mode 100644
index 0000000000..4b283a3007
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000599,sync:fuzzer03,src:000589
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000600,sync:fuzzer03,src:000590 b/tests/suite/ocsp-resp-coverage/id:000600,sync:fuzzer03,src:000590
new file mode 100644
index 0000000000..e75feba912
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000600,sync:fuzzer03,src:000590
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000601,sync:fuzzer03,src:000594 b/tests/suite/ocsp-resp-coverage/id:000601,sync:fuzzer03,src:000594
new file mode 100644
index 0000000000..c579a86ecd
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000601,sync:fuzzer03,src:000594
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000602,sync:fuzzer03,src:000593 b/tests/suite/ocsp-resp-coverage/id:000602,sync:fuzzer03,src:000593
new file mode 100644
index 0000000000..953c7be3d4
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000602,sync:fuzzer03,src:000593
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000605,sync:fuzzer03,src:000602 b/tests/suite/ocsp-resp-coverage/id:000605,sync:fuzzer03,src:000602
new file mode 100644
index 0000000000..ecec2f7c02
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000605,sync:fuzzer03,src:000602
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000606,sync:fuzzer03,src:000596,+cov b/tests/suite/ocsp-resp-coverage/id:000606,sync:fuzzer03,src:000596,+cov
new file mode 100644
index 0000000000..f833a5361e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000606,sync:fuzzer03,src:000596,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000607,sync:fuzzer03,src:000598,+cov b/tests/suite/ocsp-resp-coverage/id:000607,sync:fuzzer03,src:000598,+cov
new file mode 100644
index 0000000000..2368e60701
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000607,sync:fuzzer03,src:000598,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000608,sync:fuzzer07,src:000596 b/tests/suite/ocsp-resp-coverage/id:000608,sync:fuzzer07,src:000596
new file mode 100644
index 0000000000..d198bcc037
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000608,sync:fuzzer07,src:000596
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000610,sync:fuzzer03,src:000595 b/tests/suite/ocsp-resp-coverage/id:000610,sync:fuzzer03,src:000595
new file mode 100644
index 0000000000..dd61452412
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000610,sync:fuzzer03,src:000595
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000611,sync:fuzzer03,src:000603 b/tests/suite/ocsp-resp-coverage/id:000611,sync:fuzzer03,src:000603
new file mode 100644
index 0000000000..7df5f217f0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000611,sync:fuzzer03,src:000603
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000612,sync:fuzzer03,src:000600,+cov b/tests/suite/ocsp-resp-coverage/id:000612,sync:fuzzer03,src:000600,+cov
new file mode 100644
index 0000000000..6da72b0179
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000612,sync:fuzzer03,src:000600,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000613,sync:fuzzer03,src:000605 b/tests/suite/ocsp-resp-coverage/id:000613,sync:fuzzer03,src:000605
new file mode 100644
index 0000000000..3f9e2f99d1
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000613,sync:fuzzer03,src:000605
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000613,sync:fuzzer03,src:000607,+cov b/tests/suite/ocsp-resp-coverage/id:000613,sync:fuzzer03,src:000607,+cov
new file mode 100644
index 0000000000..303a8b6721
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000613,sync:fuzzer03,src:000607,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000614,sync:fuzzer07,src:000605 b/tests/suite/ocsp-resp-coverage/id:000614,sync:fuzzer07,src:000605
new file mode 100644
index 0000000000..bdf4075201
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000614,sync:fuzzer07,src:000605
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000616,sync:fuzzer03,src:000608,+cov b/tests/suite/ocsp-resp-coverage/id:000616,sync:fuzzer03,src:000608,+cov
new file mode 100644
index 0000000000..fd89f6daad
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000616,sync:fuzzer03,src:000608,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000616,sync:fuzzer07,src:000606 b/tests/suite/ocsp-resp-coverage/id:000616,sync:fuzzer07,src:000606
new file mode 100644
index 0000000000..bc4b5a59fd
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000616,sync:fuzzer07,src:000606
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000617,sync:fuzzer03,src:000611 b/tests/suite/ocsp-resp-coverage/id:000617,sync:fuzzer03,src:000611
new file mode 100644
index 0000000000..051899a499
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000617,sync:fuzzer03,src:000611
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000620,sync:fuzzer03,src:000614 b/tests/suite/ocsp-resp-coverage/id:000620,sync:fuzzer03,src:000614
new file mode 100644
index 0000000000..969b31a6f5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000620,sync:fuzzer03,src:000614
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000621,sync:fuzzer03,src:000619,+cov b/tests/suite/ocsp-resp-coverage/id:000621,sync:fuzzer03,src:000619,+cov
new file mode 100644
index 0000000000..b4bcebf1b9
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000621,sync:fuzzer03,src:000619,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000624,sync:fuzzer03,src:000609 b/tests/suite/ocsp-resp-coverage/id:000624,sync:fuzzer03,src:000609
new file mode 100644
index 0000000000..49a4de03d0
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000624,sync:fuzzer03,src:000609
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000625,sync:fuzzer03,src:000617,+cov b/tests/suite/ocsp-resp-coverage/id:000625,sync:fuzzer03,src:000617,+cov
new file mode 100644
index 0000000000..7b48e0f468
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000625,sync:fuzzer03,src:000617,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000615,+cov b/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000615,+cov
new file mode 100644
index 0000000000..591043f62b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000615,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000618,+cov b/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000618,+cov
new file mode 100644
index 0000000000..e0a11bf65e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000618,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000623,+cov b/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000623,+cov
new file mode 100644
index 0000000000..eb4a44ed4d
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000627,sync:fuzzer03,src:000623,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000628,sync:fuzzer03,src:000620,+cov b/tests/suite/ocsp-resp-coverage/id:000628,sync:fuzzer03,src:000620,+cov
new file mode 100644
index 0000000000..9d2471e983
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000628,sync:fuzzer03,src:000620,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000628,sync:fuzzer03,src:000622,+cov b/tests/suite/ocsp-resp-coverage/id:000628,sync:fuzzer03,src:000622,+cov
new file mode 100644
index 0000000000..b8f54cc11b
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000628,sync:fuzzer03,src:000622,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000629,sync:fuzzer03,src:000616,+cov b/tests/suite/ocsp-resp-coverage/id:000629,sync:fuzzer03,src:000616,+cov
new file mode 100644
index 0000000000..dd1ae573e4
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000629,sync:fuzzer03,src:000616,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000629,sync:fuzzer03,src:000621,+cov b/tests/suite/ocsp-resp-coverage/id:000629,sync:fuzzer03,src:000621,+cov
new file mode 100644
index 0000000000..5af5bf9bb5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000629,sync:fuzzer03,src:000621,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000633,sync:fuzzer07,src:000611 b/tests/suite/ocsp-resp-coverage/id:000633,sync:fuzzer07,src:000611
new file mode 100644
index 0000000000..9ec340dbee
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000633,sync:fuzzer07,src:000611
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000633,sync:fuzzer07,src:000612 b/tests/suite/ocsp-resp-coverage/id:000633,sync:fuzzer07,src:000612
new file mode 100644
index 0000000000..f59d9eedc5
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000633,sync:fuzzer07,src:000612
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000634,sync:fuzzer02,src:000621 b/tests/suite/ocsp-resp-coverage/id:000634,sync:fuzzer02,src:000621
new file mode 100644
index 0000000000..eead1fdf48
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000634,sync:fuzzer02,src:000621
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000635,sync:fuzzer02,src:000622,+cov b/tests/suite/ocsp-resp-coverage/id:000635,sync:fuzzer02,src:000622,+cov
new file mode 100644
index 0000000000..f797d3ba70
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000635,sync:fuzzer02,src:000622,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000636,sync:fuzzer08,src:000636,+cov b/tests/suite/ocsp-resp-coverage/id:000636,sync:fuzzer08,src:000636,+cov
new file mode 100644
index 0000000000..e002cb2874
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000636,sync:fuzzer08,src:000636,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000637,sync:fuzzer08,src:000633,+cov b/tests/suite/ocsp-resp-coverage/id:000637,sync:fuzzer08,src:000633,+cov
new file mode 100644
index 0000000000..b50b7c017e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000637,sync:fuzzer08,src:000633,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000638,sync:fuzzer08,src:000638,+cov b/tests/suite/ocsp-resp-coverage/id:000638,sync:fuzzer08,src:000638,+cov
new file mode 100644
index 0000000000..77b40f778e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000638,sync:fuzzer08,src:000638,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000640,sync:fuzzer07,src:000626 b/tests/suite/ocsp-resp-coverage/id:000640,sync:fuzzer07,src:000626
new file mode 100644
index 0000000000..dac9059999
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000640,sync:fuzzer07,src:000626
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000640,sync:fuzzer08,src:000639 b/tests/suite/ocsp-resp-coverage/id:000640,sync:fuzzer08,src:000639
new file mode 100644
index 0000000000..c0e42f57ab
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000640,sync:fuzzer08,src:000639
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000641,sync:fuzzer03,src:000637,+cov b/tests/suite/ocsp-resp-coverage/id:000641,sync:fuzzer03,src:000637,+cov
new file mode 100644
index 0000000000..21d2772b8c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000641,sync:fuzzer03,src:000637,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000642,sync:fuzzer03,src:000635 b/tests/suite/ocsp-resp-coverage/id:000642,sync:fuzzer03,src:000635
new file mode 100644
index 0000000000..cf1db129db
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000642,sync:fuzzer03,src:000635
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000643,sync:fuzzer03,src:000636 b/tests/suite/ocsp-resp-coverage/id:000643,sync:fuzzer03,src:000636
new file mode 100644
index 0000000000..92487a98a8
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000643,sync:fuzzer03,src:000636
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000644,sync:fuzzer07,src:000633 b/tests/suite/ocsp-resp-coverage/id:000644,sync:fuzzer07,src:000633
new file mode 100644
index 0000000000..f998bccf9c
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000644,sync:fuzzer07,src:000633
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000645,sync:fuzzer07,src:000632 b/tests/suite/ocsp-resp-coverage/id:000645,sync:fuzzer07,src:000632
new file mode 100644
index 0000000000..5cd463cbeb
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000645,sync:fuzzer07,src:000632
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000646,sync:fuzzer03,src:000640 b/tests/suite/ocsp-resp-coverage/id:000646,sync:fuzzer03,src:000640
new file mode 100644
index 0000000000..577c4f79ef
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000646,sync:fuzzer03,src:000640
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000647,sync:fuzzer03,src:000641 b/tests/suite/ocsp-resp-coverage/id:000647,sync:fuzzer03,src:000641
new file mode 100644
index 0000000000..240f080f73
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000647,sync:fuzzer03,src:000641
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000648,sync:fuzzer07,src:000637 b/tests/suite/ocsp-resp-coverage/id:000648,sync:fuzzer07,src:000637
new file mode 100644
index 0000000000..9d4d1965c4
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000648,sync:fuzzer07,src:000637
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000649,sync:fuzzer07,src:000636 b/tests/suite/ocsp-resp-coverage/id:000649,sync:fuzzer07,src:000636
new file mode 100644
index 0000000000..d8454da072
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000649,sync:fuzzer07,src:000636
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000650,sync:fuzzer03,src:000642,+cov b/tests/suite/ocsp-resp-coverage/id:000650,sync:fuzzer03,src:000642,+cov
new file mode 100644
index 0000000000..819fde5946
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000650,sync:fuzzer03,src:000642,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000651,sync:fuzzer02,src:000639 b/tests/suite/ocsp-resp-coverage/id:000651,sync:fuzzer02,src:000639
new file mode 100644
index 0000000000..ac21b21fbe
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000651,sync:fuzzer02,src:000639
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000652,sync:fuzzer06,src:000644,+cov b/tests/suite/ocsp-resp-coverage/id:000652,sync:fuzzer06,src:000644,+cov
new file mode 100644
index 0000000000..1c1770b8e2
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000652,sync:fuzzer06,src:000644,+cov
Binary files differ
diff --git a/tests/suite/ocsp-resp-coverage/id:000653,src:000650,op:havoc,rep:8,+cov b/tests/suite/ocsp-resp-coverage/id:000653,src:000650,op:havoc,rep:8,+cov
new file mode 100644
index 0000000000..a67419b99e
--- /dev/null
+++ b/tests/suite/ocsp-resp-coverage/id:000653,src:000650,op:havoc,rep:8,+cov
Binary files differ