Coverage upload

coverage/latest/logs/fuzz_cmp_tool.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1121738128
-MERGE-OUTER: 1715 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 1538743620
+MERGE-OUTER: 1800 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1121758496
+INFO: Seed: 1538764211
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge227.txt'
-MERGE-INNER: 1715 total files; 0 processed earlier; will process 1715 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge226.txt'
+MERGE-INNER: 1800 total files; 0 processed earlier; will process 1800 files now
 #1	pulse  exec/s: 0 rss: 30Mb
 #2	pulse  exec/s: 0 rss: 30Mb
 #4	pulse  exec/s: 0 rss: 30Mb
@@ -18,8 +18,8 @@ MERGE-INNER: 1715 total files; 0 processed earlier; will process 1715 files now
 #256	pulse  exec/s: 0 rss: 30Mb
 #512	pulse  exec/s: 0 rss: 30Mb
 #1024	pulse  exec/s: 0 rss: 30Mb
-#1715	DONE   exec/s: 0 rss: 30Mb
+#1800	DONE   exec/s: 0 rss: 30Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 203400 bytes
+MERGE-OUTER: the control file has 213607 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: 1121749820
-MERGE-OUTER: 1381 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 1538753385
+MERGE-OUTER: 1380 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1121767656
+INFO: Seed: 1538777888
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge242.txt'
-MERGE-INNER: 1381 total files; 0 processed earlier; will process 1381 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge237.txt'
+MERGE-INNER: 1380 total files; 0 processed earlier; will process 1380 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
+#1380	DONE   exec/s: 0 rss: 28Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 168093 bytes
-MERGE-OUTER: consumed 0Mb (28Mb rss) to parse the control file
+MERGE-OUTER: the control file has 167971 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: 1121728652
-MERGE-OUTER: 690 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 1538735752
+MERGE-OUTER: 693 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1121740104
+INFO: Seed: 1538748447
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge217.txt'
-MERGE-INNER: 690 total files; 0 processed earlier; will process 690 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge216.txt'
+MERGE-INNER: 693 total files; 0 processed earlier; will process 693 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: 690 total files; 0 processed earlier; will process 690 files now
 #128	pulse  exec/s: 0 rss: 27Mb
 #256	pulse  exec/s: 0 rss: 27Mb
 #512	pulse  exec/s: 0 rss: 27Mb
-#690	DONE   exec/s: 0 rss: 27Mb
+#693	DONE   exec/s: 0 rss: 27Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 84293 bytes
+MERGE-OUTER: the control file has 84662 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: 1121721281
-MERGE-OUTER: 2839 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 1538727500
+MERGE-OUTER: 2867 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1121749492
+INFO: Seed: 1538755996
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge207.txt'
-MERGE-INNER: 2839 total files; 0 processed earlier; will process 2839 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge206.txt'
+MERGE-INNER: 2867 total files; 0 processed earlier; will process 2867 files now
 #1	pulse  exec/s: 0 rss: 28Mb
 #2	pulse  exec/s: 0 rss: 28Mb
 #4	pulse  exec/s: 0 rss: 28Mb
@@ -19,8 +19,8 @@ MERGE-INNER: 2839 total files; 0 processed earlier; will process 2839 files now
 #512	pulse  exec/s: 0 rss: 28Mb
 #1024	pulse  exec/s: 0 rss: 28Mb
 #2048	pulse  exec/s: 0 rss: 28Mb
-#2839	DONE   exec/s: 0 rss: 28Mb
+#2867	DONE   exec/s: 0 rss: 28Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 346830 bytes
+MERGE-OUTER: the control file has 350286 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> 80.82% (531/657)</pre>
+        <pre> 81.28% (534/657)</pre>
       </td>
             <td class='column-entry-yellow'>
         <pre> 88.89% (8/9)</pre>
       </td>
             <td class='column-entry-red'>
-        <pre> 78.66% (564/717)</pre>
+        <pre> 79.92% (573/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> 61.95% (6346/10244)</pre>
+          <pre> 61.98% (6349/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 56.50% (6217/11003)</pre>
+          <pre> 56.58% (6226/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> 61.95% (6346/10244)</pre>
+        <pre> 61.98% (6349/10244)</pre>
       </td>
             <td class='column-entry-red'>
         <pre> 46.41% (278/599)</pre>
       </td>
             <td class='column-entry-red'>
-        <pre> 56.50% (6217/11003)</pre>
+        <pre> 56.58% (6226/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> 61.95% (6346/10244)</pre>
+          <pre> 61.98% (6349/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 56.50% (6217/11003)</pre>
+          <pre> 56.58% (6226/11003)</pre>
         </td>
               </tr>
     </tfoot>