Coverage upload

coverage/latest/logs/fuzz_cmp_tool.log

 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1538743620
-MERGE-OUTER: 1800 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 2467190630
+MERGE-OUTER: 1811 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1538764211
+INFO: Seed: 2467211740
 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: 1800 total files; 0 processed earlier; will process 1800 files now
+MERGE-INNER: 1811 total files; 0 processed earlier; will process 1811 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: 1800 total files; 0 processed earlier; will process 1800 files now
 #256	pulse  exec/s: 0 rss: 30Mb
 #512	pulse  exec/s: 0 rss: 30Mb
 #1024	pulse  exec/s: 0 rss: 30Mb
-#1800	DONE   exec/s: 0 rss: 30Mb
+#1811	DONE   exec/s: 0 rss: 30Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 213607 bytes
+MERGE-OUTER: the control file has 214915 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: 1538753385
-MERGE-OUTER: 1380 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 2467198782
+MERGE-OUTER: 1389 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1538777888
+INFO: Seed: 2467216454
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
-MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge237.txt'
-MERGE-INNER: 1380 total files; 0 processed earlier; will process 1380 files now
+MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge238.txt'
+MERGE-INNER: 1389 total files; 0 processed earlier; will process 1389 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: 1380 total files; 0 processed earlier; will process 1380 files now
 #256	pulse  exec/s: 0 rss: 27Mb
 #512	pulse  exec/s: 0 rss: 27Mb
 #1024	pulse  exec/s: 0 rss: 27Mb
-#1380	DONE   exec/s: 0 rss: 28Mb
+#1389	DONE   exec/s: 0 rss: 28Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 167971 bytes
+MERGE-OUTER: the control file has 169094 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: 1538735752
-MERGE-OUTER: 693 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 2467182495
+MERGE-OUTER: 690 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1538748447
+INFO: Seed: 2467197856
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
 MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge216.txt'
-MERGE-INNER: 693 total files; 0 processed earlier; will process 693 files now
+MERGE-INNER: 690 total files; 0 processed earlier; will process 690 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: 693 total files; 0 processed earlier; will process 693 files now
 #128	pulse  exec/s: 0 rss: 27Mb
 #256	pulse  exec/s: 0 rss: 27Mb
 #512	pulse  exec/s: 0 rss: 27Mb
-#693	DONE   exec/s: 0 rss: 27Mb
+#690	DONE   exec/s: 0 rss: 27Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 84662 bytes
+MERGE-OUTER: the control file has 84293 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: 1538727500
-MERGE-OUTER: 2867 files, 0 in the initial corpus, 0 processed earlier
+INFO: Seed: 2467174078
+MERGE-OUTER: 2896 files, 0 in the initial corpus, 0 processed earlier
 MERGE-OUTER: attempt 1
 INFO: Running with entropic power schedule (0xFF, 100).
-INFO: Seed: 1538755996
+INFO: Seed: 2467201826
 INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 1048576 bytes
 MERGE-INNER: using the control file '/tmp/libFuzzerTemp.Merge206.txt'
-MERGE-INNER: 2867 total files; 0 processed earlier; will process 2867 files now
+MERGE-INNER: 2896 total files; 0 processed earlier; will process 2896 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: 2867 total files; 0 processed earlier; will process 2867 files now
 #512	pulse  exec/s: 0 rss: 28Mb
 #1024	pulse  exec/s: 0 rss: 28Mb
 #2048	pulse  exec/s: 0 rss: 28Mb
-#2867	DONE   exec/s: 0 rss: 28Mb
+#2896	DONE   exec/s: 0 rss: 28Mb
 MERGE-OUTER: successful in 1 attempt(s)
-MERGE-OUTER: the control file has 350286 bytes
+MERGE-OUTER: the control file has 353869 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> 81.28% (534/657)</pre>
+        <pre> 80.82% (531/657)</pre>
       </td>
             <td class='column-entry-yellow'>
         <pre> 88.89% (8/9)</pre>
       </td>
             <td class='column-entry-red'>
-        <pre> 79.92% (573/717)</pre>
+        <pre> 78.66% (564/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.98% (6349/10244)</pre>
+          <pre> 61.95% (6346/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 56.58% (6226/11003)</pre>
+          <pre> 56.50% (6217/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.98% (6349/10244)</pre>
+        <pre> 61.95% (6346/10244)</pre>
       </td>
             <td class='column-entry-red'>
         <pre> 46.41% (278/599)</pre>
       </td>
             <td class='column-entry-red'>
-        <pre> 56.58% (6226/11003)</pre>
+        <pre> 56.50% (6217/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.98% (6349/10244)</pre>
+          <pre> 61.95% (6346/10244)</pre>
         </td>
                 <td class='column-entry-red'>
           <pre> 46.41% (278/599)</pre>
         </td>
                 <td class='column-entry-red'>
-          <pre> 56.58% (6226/11003)</pre>
+          <pre> 56.50% (6217/11003)</pre>
         </td>
               </tr>
     </tfoot>