Coverage upload

coverage/latest/logs/fuzz_cmp_tool.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1971556045
-MERGE-OUTER: 1834 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 2433027796
+MERGE-OUTER: 1839 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1971577165
+INFO: Seed: 2433049505
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge213.txt'
-MERGE-INNER: 1834 total files; 0 processed earlier; will process 1834 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge212.txt'
+MERGE-INNER: 1839 total files; 0 processed earlier; will process 1839 files now
 #1	pulse  exec/s: 0 rss: 30Mb
 #2	pulse  exec/s: 0 rss: 30Mb
 #4	pulse  exec/s: 0 rss: 30Mb
@@ -17,9 +17,9 @@ MERGE-INNER: 1834 total files; 0 processed earlier; will process 1834 files now
 #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
-#1834	DONE   exec/s: 0 rss: 34Mb
+#1024	pulse  exec/s: 0 rss: 32Mb
+#1839	DONE   exec/s: 0 rss: 34Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 217759 bytes
+MERGE-OUTER: the control file has 218370 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: 1971545856
-MERGE-OUTER: 1381 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 2433018773
+MERGE-OUTER: 1382 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1971563412
+INFO: Seed: 2433036230
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge201.txt'
-MERGE-INNER: 1381 total files; 0 processed earlier; will process 1381 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge200.txt'
+MERGE-INNER: 1382 total files; 0 processed earlier; will process 1382 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
+#1382	DONE   exec/s: 0 rss: 27Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 168099 bytes
+MERGE-OUTER: the control file has 168220 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: 1971538153
-MERGE-OUTER: 696 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 2433010290
+MERGE-OUTER: 698 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1971549944
+INFO: Seed: 2433020843
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge191.txt'
-MERGE-INNER: 696 total files; 0 processed earlier; will process 696 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge190.txt'
+MERGE-INNER: 698 total files; 0 processed earlier; will process 698 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: 696 total files; 0 processed earlier; will process 696 files now
 #128	pulse  exec/s: 0 rss: 27Mb
 #256	pulse  exec/s: 0 rss: 27Mb
 #512	pulse  exec/s: 0 rss: 27Mb
-#696	DONE   exec/s: 0 rss: 27Mb
+#698	DONE   exec/s: 0 rss: 27Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 85031 bytes
+MERGE-OUTER: the control file has 85277 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: 1971567775
-MERGE-OUTER: 1930 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 2433038036
+MERGE-OUTER: 1928 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1971589135
+INFO: Seed: 2433061185
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge226.txt'
-MERGE-INNER: 1930 total files; 0 processed earlier; will process 1930 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
-#1930	DONE   exec/s: 0 rss: 28Mb
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge225.txt'
+MERGE-INNER: 1928 total files; 0 processed earlier; will process 1928 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
+#1928	DONE   exec/s: 0 rss: 28Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 234343 bytes
+MERGE-OUTER: the control file has 234095 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

@@ -333,13 +333,13 @@ tbody tr:hover td, tfoot tr:hover td {
                   <pre><a href='src/cmp_tool/programs/cmp_tool.c.html'>src/cmp_tool/programs/cmp_tool.c</a></pre>
               </td>
             <td class='column-entry-yellow'>
-        <pre> 83.41% (548/657)</pre>
+        <pre> 83.71% (550/657)</pre>
       </td>
             <td class='column-entry-yellow'>
         <pre> 88.89% (8/9)</pre>
       </td>
             <td class='column-entry-yellow'>
-        <pre> 81.03% (581/717)</pre>
+        <pre> 81.31% (583/717)</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.11% (6363/10244)</pre>
+          <pre> 62.13% (6365/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 56.66% (6234/11003)</pre>
+          <pre> 56.68% (6236/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.11% (6363/10244)</pre>
+        <pre> 62.13% (6365/10244)</pre>
       </td>
             <td class='column-entry-red'>
         <pre> 46.41% (278/599)</pre>
       </td>
             <td class='column-entry-red'>
-        <pre> 56.66% (6234/11003)</pre>
+        <pre> 56.68% (6236/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.11% (6363/10244)</pre>
+          <pre> 62.13% (6365/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 56.66% (6234/11003)</pre>
+          <pre> 56.68% (6236/11003)</pre>
         </td>
               </tr>
     </tfoot>