Coverage upload

coverage/latest/logs/fuzz_cmp_tool.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 4185756943
-MERGE-OUTER: 1851 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 177078623
+MERGE-OUTER: 1699 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 4185777848
+INFO: Seed: 177100049
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge215.txt'
-MERGE-INNER: 1851 total files; 0 processed earlier; will process 1851 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
+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
 #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
-#1851	DONE   exec/s: 0 rss: 34Mb
+#1699	DONE   exec/s: 0 rss: 34Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 219760 bytes
+MERGE-OUTER: the control file has 201532 bytes
 MERGE-OUTER: consumed 0Mb (30Mb 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: 4185747274
-MERGE-OUTER: 1378 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 177070545
+MERGE-OUTER: 1381 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 4185764685
+INFO: Seed: 177087809
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge203.txt'
-MERGE-INNER: 1378 total files; 0 processed earlier; will process 1378 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge200.txt'
+MERGE-INNER: 1381 total files; 0 processed earlier; will process 1381 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: 1378 total files; 0 processed earlier; will process 1378 files now
 #256	pulse  exec/s: 0 rss: 27Mb
 #512	pulse  exec/s: 0 rss: 27Mb
 #1024	pulse  exec/s: 0 rss: 27Mb
-#1378	DONE   exec/s: 0 rss: 28Mb
+#1381	DONE   exec/s: 0 rss: 28Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 167723 bytes
+MERGE-OUTER: the control file has 168094 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_decompression.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 4185739753
-MERGE-OUTER: 708 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 177062399
+MERGE-OUTER: 714 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 4185751247
+INFO: Seed: 177073573
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge193.txt'
-MERGE-INNER: 708 total files; 0 processed earlier; will process 708 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge190.txt'
+MERGE-INNER: 714 total files; 0 processed earlier; will process 714 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: 708 total files; 0 processed earlier; will process 708 files now
 #128	pulse  exec/s: 0 rss: 27Mb
 #256	pulse  exec/s: 0 rss: 27Mb
 #512	pulse  exec/s: 0 rss: 27Mb
-#708	DONE   exec/s: 0 rss: 27Mb
+#714	DONE   exec/s: 0 rss: 27Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 86507 bytes
+MERGE-OUTER: the control file has 87245 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: 4185767869
-MERGE-OUTER: 1926 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 177091431
+MERGE-OUTER: 1925 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 4185789091
+INFO: Seed: 177112469
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge228.txt'
-MERGE-INNER: 1926 total files; 0 processed earlier; will process 1926 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
-#1926	DONE   exec/s: 0 rss: 28Mb
+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-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 233850 bytes
+MERGE-OUTER: the control file has 233727 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/report/linux/file_view_index.html

@@ -319,13 +319,13 @@ 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.49% (990/1230)</pre>
+        <pre> 80.41% (989/1230)</pre>
       </td>
             <td class='column-entry-yellow'>
         <pre> 83.87% (26/31)</pre>
       </td>
             <td class='column-entry-red'>
-        <pre> 79.08% (1391/1759)</pre>
+        <pre> 79.02% (1390/1759)</pre>
       </td>
           </tr>
         <tr class="light-row">
@@ -475,13 +475,13 @@ tbody tr:hover td, tfoot tr:hover td {
           <pre>Totals</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 62.13% (6365/10244)</pre>
+          <pre> 62.12% (6364/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 56.68% (6236/11003)</pre>
+          <pre> 56.67% (6235/11003)</pre>
         </td>
               </tr>
     </tfoot>

coverage/latest/report/linux/report.html

@@ -67,13 +67,13 @@ 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.13% (6365/10244)</pre>
+        <pre> 62.12% (6364/10244)</pre>
       </td>
             <td class='column-entry-red'>
         <pre> 46.41% (278/599)</pre>
       </td>
             <td class='column-entry-red'>
-        <pre> 56.68% (6236/11003)</pre>
+        <pre> 56.67% (6235/11003)</pre>
       </td>
           </tr>
       </tbody>
@@ -83,13 +83,13 @@ tbody tr:hover td, tfoot tr:hover td {
           <pre>Totals</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 62.13% (6365/10244)</pre>
+          <pre> 62.12% (6364/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 56.68% (6236/11003)</pre>
+          <pre> 56.67% (6235/11003)</pre>
         </td>
               </tr>
     </tfoot>