Coverage upload

coverage/latest/logs/fuzz_cmp_tool.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 177078623
-MERGE-OUTER: 1699 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 717948713
+MERGE-OUTER: 1404 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 177100049
+INFO: Seed: 717967646
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge212.txt'
-MERGE-INNER: 1699 total files; 0 processed earlier; will process 1699 files now
-#1	pulse  exec/s: 0 rss: 29Mb
-#2	pulse  exec/s: 0 rss: 29Mb
-#4	pulse  exec/s: 0 rss: 29Mb
-#8	pulse  exec/s: 0 rss: 29Mb
-#16	pulse  exec/s: 0 rss: 29Mb
-#32	pulse  exec/s: 0 rss: 29Mb
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge205.txt'
+MERGE-INNER: 1404 total files; 0 processed earlier; will process 1404 files now
+#1	pulse  exec/s: 0 rss: 30Mb
+#2	pulse  exec/s: 0 rss: 30Mb
+#4	pulse  exec/s: 0 rss: 30Mb
+#8	pulse  exec/s: 0 rss: 30Mb
+#16	pulse  exec/s: 0 rss: 30Mb
+#32	pulse  exec/s: 0 rss: 30Mb
 #64	pulse  exec/s: 0 rss: 30Mb
 #128	pulse  exec/s: 0 rss: 30Mb
 #256	pulse  exec/s: 0 rss: 30Mb
 #512	pulse  exec/s: 0 rss: 30Mb
-#1024	pulse  exec/s: 0 rss: 30Mb
-#1699	DONE   exec/s: 0 rss: 34Mb
+#1024	pulse  exec/s: 0 rss: 32Mb
+#1404	DONE   exec/s: 0 rss: 34Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 201532 bytes
-MERGE-OUTER: consumed 0Mb (30Mb rss) to parse the control file
+MERGE-OUTER: the control file has 166030 bytes
+MERGE-OUTER: consumed 0Mb (29Mb rss) to parse the control file
 MERGE-OUTER: 0 new files with 0 new features added; 0 new coverage edges

coverage/latest/logs/fuzz_compression.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 177070545
-MERGE-OUTER: 1381 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 717939271
+MERGE-OUTER: 1355 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 177087809
+INFO: Seed: 717958766
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge200.txt'
-MERGE-INNER: 1381 total files; 0 processed earlier; will process 1381 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge193.txt'
+MERGE-INNER: 1355 total files; 0 processed earlier; will process 1355 files now
 #1	pulse  exec/s: 0 rss: 27Mb
 #2	pulse  exec/s: 0 rss: 27Mb
 #4	pulse  exec/s: 0 rss: 27Mb
@@ -18,8 +18,8 @@ MERGE-INNER: 1381 total files; 0 processed earlier; will process 1381 files now
 #256	pulse  exec/s: 0 rss: 27Mb
 #512	pulse  exec/s: 0 rss: 27Mb
 #1024	pulse  exec/s: 0 rss: 27Mb
-#1381	DONE   exec/s: 0 rss: 28Mb
+#1355	DONE   exec/s: 0 rss: 27Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 168094 bytes
-MERGE-OUTER: consumed 0Mb (27Mb rss) to parse the control file
+MERGE-OUTER: the control file has 164856 bytes
+MERGE-OUTER: consumed 0Mb (28Mb rss) to parse the control file
 MERGE-OUTER: 0 new files with 0 new features added; 0 new coverage edges

coverage/latest/logs/fuzz_decompression.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 177062399
-MERGE-OUTER: 714 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 717930756
+MERGE-OUTER: 686 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 177073573
+INFO: Seed: 717941847
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge190.txt'
-MERGE-INNER: 714 total files; 0 processed earlier; will process 714 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge183.txt'
+MERGE-INNER: 686 total files; 0 processed earlier; will process 686 files now
 #1	pulse  exec/s: 0 rss: 27Mb
 #2	pulse  exec/s: 0 rss: 27Mb
 #4	pulse  exec/s: 0 rss: 27Mb
@@ -17,8 +17,8 @@ MERGE-INNER: 714 total files; 0 processed earlier; will process 714 files now
 #128	pulse  exec/s: 0 rss: 27Mb
 #256	pulse  exec/s: 0 rss: 27Mb
 #512	pulse  exec/s: 0 rss: 27Mb
-#714	DONE   exec/s: 0 rss: 27Mb
+#686	DONE   exec/s: 0 rss: 27Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 87245 bytes
+MERGE-OUTER: the control file has 83801 bytes
 MERGE-OUTER: consumed 0Mb (27Mb rss) to parse the control file
 MERGE-OUTER: 0 new files with 0 new features added; 0 new coverage edges

coverage/latest/logs/fuzz_round_trip.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 177091431
-MERGE-OUTER: 1925 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 717958380
+MERGE-OUTER: 1907 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 177112469
+INFO: Seed: 717980778
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge225.txt'
-MERGE-INNER: 1925 total files; 0 processed earlier; will process 1925 files now
-#1	pulse  exec/s: 0 rss: 28Mb
-#2	pulse  exec/s: 0 rss: 28Mb
-#4	pulse  exec/s: 0 rss: 28Mb
-#8	pulse  exec/s: 0 rss: 28Mb
-#16	pulse  exec/s: 0 rss: 28Mb
-#32	pulse  exec/s: 0 rss: 28Mb
-#64	pulse  exec/s: 0 rss: 28Mb
-#128	pulse  exec/s: 0 rss: 28Mb
-#256	pulse  exec/s: 0 rss: 28Mb
-#512	pulse  exec/s: 0 rss: 28Mb
-#1024	pulse  exec/s: 0 rss: 28Mb
-#1925	DONE   exec/s: 0 rss: 28Mb
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge217.txt'
+MERGE-INNER: 1907 total files; 0 processed earlier; will process 1907 files now
+#1	pulse  exec/s: 0 rss: 27Mb
+#2	pulse  exec/s: 0 rss: 27Mb
+#4	pulse  exec/s: 0 rss: 27Mb
+#8	pulse  exec/s: 0 rss: 27Mb
+#16	pulse  exec/s: 0 rss: 27Mb
+#32	pulse  exec/s: 0 rss: 27Mb
+#64	pulse  exec/s: 0 rss: 27Mb
+#128	pulse  exec/s: 0 rss: 27Mb
+#256	pulse  exec/s: 0 rss: 27Mb
+#512	pulse  exec/s: 0 rss: 27Mb
+#1024	pulse  exec/s: 0 rss: 27Mb
+#1907	DONE   exec/s: 0 rss: 28Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 233727 bytes
-MERGE-OUTER: consumed 0Mb (28Mb rss) to parse the control file
+MERGE-OUTER: the control file has 231505 bytes
+MERGE-OUTER: consumed 0Mb (27Mb rss) to parse the control file
 MERGE-OUTER: 0 new files with 0 new features added; 0 new coverage edges

coverage/latest/report/linux/file_view_index.html

@@ -319,7 +319,7 @@ tbody tr:hover td, tfoot tr:hover td {
                   <pre><a href='src/cmp_tool/programs/cmp_io.c.html'>src/cmp_tool/programs/cmp_io.c</a></pre>
               </td>
             <td class='column-entry-yellow'>
-        <pre> 80.41% (989/1230)</pre>
+        <pre> 80.49% (990/1230)</pre>
       </td>
             <td class='column-entry-yellow'>
         <pre> 83.87% (26/31)</pre>
@@ -475,7 +475,7 @@ tbody tr:hover td, tfoot tr:hover td {
           <pre>Totals</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 62.12% (6364/10244)</pre>
+          <pre> 62.13% (6365/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>

coverage/latest/report/linux/report.html

@@ -67,7 +67,7 @@ tbody tr:hover td, tfoot tr:hover td {
                   <pre><a href='src/report.html'>src/</a></pre>
               </td>
             <td class='column-entry-red'>
-        <pre> 62.12% (6364/10244)</pre>
+        <pre> 62.13% (6365/10244)</pre>
       </td>
             <td class='column-entry-red'>
         <pre> 46.41% (278/599)</pre>
@@ -83,7 +83,7 @@ tbody tr:hover td, tfoot tr:hover td {
           <pre>Totals</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 62.12% (6364/10244)</pre>
+          <pre> 62.13% (6365/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>