Deploying to gh-pages from @ a786bcc 🚀

OCamlPro · May 15, 2024 · 0112afc · 0112afc
1 parent 5ebf9b9
commit 0112afc
Show file tree

Hide file tree

Showing 44 changed files with 2,093 additions and 2,157 deletions.
diff --git a/coverage/badge.svg b/coverage/badge.svg
diff --git a/coverage/index.html b/coverage/index.html
@@ -3,13 +3,13 @@
   <head>
     <meta charset="utf-8"/>
     <title>Coverage report</title>
-    <meta name="description" content="80.15% coverage overall"/>
+    <meta name="description" content="79.93% coverage overall"/>
     <link rel="stylesheet" type="text/css" href="coverage.css"/>
   </head>
   <body>
     <div id="header">
       <h1>Coverage report</h1>
-      <h2>80.15%</h2>
+      <h2>79.93%</h2>
     </div>
     <div id="files">
       <div>
@@ -95,9 +95,9 @@ <h2>80.15%</h2>
       </div>
       <div>
         <span class="meter">
-          <span class="covered" style="width: 91%"></span>
+          <span class="covered" style="width: 87%"></span>
         </span>
-        <span class="percentage">91% <span class="stats">(156 / 171)</span></span>
+        <span class="percentage">87% <span class="stats">(102 / 116)</span></span>
         <a href="src/cmd/cmd_c.ml.html">
           <span class="dirname">src/cmd/</span>cmd_c.ml
         </a>
@@ -149,9 +149,9 @@ <h2>80.15%</h2>
       </div>
       <div>
         <span class="meter">
-          <span class="covered" style="width: 87%"></span>
+          <span class="covered" style="width: 85%"></span>
         </span>
-        <span class="percentage">87% <span class="stats">(144 / 164)</span></span>
+        <span class="percentage">85% <span class="stats">(145 / 170)</span></span>
         <a href="src/cmd/cmd_sym.ml.html">
           <span class="dirname">src/cmd/</span>cmd_sym.ml
         </a>
@@ -410,9 +410,9 @@ <h2>80.15%</h2>
       </div>
       <div>
         <span class="meter">
-          <span class="covered" style="width: 61%"></span>
+          <span class="covered" style="width: 60%"></span>
         </span>
-        <span class="percentage">61% <span class="stats">(619 / 1012)</span></span>
+        <span class="percentage">60% <span class="stats">(613 / 1010)</span></span>
         <a href="src/parser/binary_parser.ml.html">
           <span class="dirname">src/parser/</span>binary_parser.ml
         </a>
@@ -527,9 +527,9 @@ <h2>80.15%</h2>
       </div>
       <div>
         <span class="meter">
-          <span class="covered" style="width: 84%"></span>
+          <span class="covered" style="width: 83%"></span>
         </span>
-        <span class="percentage">84% <span class="stats">(174 / 205)</span></span>
+        <span class="percentage">83% <span class="stats">(172 / 205)</span></span>
         <a href="src/symbolic/symbolic_memory.ml.html">
           <span class="dirname">src/symbolic/</span>symbolic_memory.ml
         </a>

diff --git a/coverage/src/bin/owi.ml.html b/coverage/src/bin/owi.ml.html
diff --git a/coverage/src/c_processing/c_share.ml.html b/coverage/src/c_processing/c_share.ml.html
@@ -90,27 +90,27 @@ <h2>83.33%</h2>
 
 open Syntax
 
-let py_location = List.ma<span data-count="634">p</span> Fpath.v C_share_site.Sites.pyc
+let py_location = List.ma<span data-count="635">p</span> Fpath.v C_share_site.Sites.pyc
 
-let bin_location = List.ma<span data-count="634">p</span> Fpath.v C_share_site.Sites.binc
+let bin_location = List.ma<span data-count="635">p</span> Fpath.v C_share_site.Sites.binc
 
-let lib_location = List.ma<span data-count="634">p</span> Fpath.v C_share_site.Sites.libc
+let lib_location = List.ma<span data-count="635">p</span> Fpath.v C_share_site.Sites.libc
 
 let find location file =
-  <span data-count="634">l</span>et* l =
-    list_ma<span data-count="634">p</span>
+  <span data-count="635">l</span>et* l =
+    list_ma<span data-count="635">p</span>
       (fun dir -&gt;
-        <span data-count="634">l</span>et filename = Fpath.append dir file in
-        <span data-count="634">m</span>atch Bos.OS.File.exists filename with
-        | <span data-count="634">O</span>k true -&gt; Ok (Some filename)
+        <span data-count="635">l</span>et filename = Fpath.append dir file in
+        <span data-count="635">m</span>atch Bos.OS.File.exists filename with
+        | <span data-count="635">O</span>k true -&gt; Ok (Some filename)
         | <span data-count="0">O</span>k false -&gt; Ok None
         | <span data-count="0">E</span>rror (`Msg msg) -&gt; Error (`Msg msg) )
       location
   in
-  <span data-count="634">O</span>k (List.fin<span data-count="634">d</span> (function <span data-count="0">N</span>one -&gt; false | <span data-count="634">S</span>ome _filename -&gt; true) l)
+  <span data-count="635">O</span>k (List.fin<span data-count="635">d</span> (function <span data-count="0">N</span>one -&gt; false | <span data-count="635">S</span>ome _filename -&gt; true) l)
 
 let libc =
-  Option.ge<span data-count="634">t</span> @@ Result.get_o<span data-count="634">k</span> @@ fin<span data-count="634">d</span> bin_location (Fpath.<span data-count="634">v</span> "libc.wasm")
+  Option.ge<span data-count="635">t</span> @@ Result.get_o<span data-count="635">k</span> @@ fin<span data-count="635">d</span> bin_location (Fpath.<span data-count="635">v</span> "libc.wasm")
 </code></pre>
       </div>
     </div>