Dune fmt

OCamlPro · Apr 27, 2024 · 453b325 · 453b325
1 parent 5c502e2
commit 453b325
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 7 deletions.
diff --git a/src/cmd/cmd_conc.ml b/src/cmd/cmd_conc.ml
@@ -297,8 +297,13 @@ let add_trace tree trace = add_trace [] tree trace
 let run_once tree link_state modules_to_run forced_values =
   let result = run_modules_to_run link_state modules_to_run in
   let ( ( result
-        , Choice.{ pc; symbols = _; symbols_value; shared = _; preallocated_values = _ } )
-        as r ) =
+        , Choice.
+            { pc
+            ; symbols = _
+            ; symbols_value
+            ; shared = _
+            ; preallocated_values = _
+            } ) as r ) =
     let forced_values =
       match forced_values with None -> Hashtbl.create 0 | Some v -> v
     in

diff --git a/src/concolic/concolic.ml b/src/concolic/concolic.ml
@@ -197,7 +197,8 @@ module P = struct
       let orig_table = Link_env.get_table env id in
       let f (t : thread) : Table.t =
         let sym_table =
-          Symbolic_table.get_table (Link_env.id env) orig_table t.shared.tables id
+          Symbolic_table.get_table (Link_env.id env) orig_table t.shared.tables
+            id
         in
         { c = orig_table; s = sym_table }
       in
@@ -213,7 +214,8 @@ module P = struct
       let orig_global = Link_env.get_global env id in
       let f (t : thread) : Global.t =
         let sym_global =
-          Symbolic_global.get_global (Link_env.id env) orig_global t.shared.globals id
+          Symbolic_global.get_global (Link_env.id env) orig_global
+            t.shared.globals id
         in
         { c = orig_global; s = sym_global }
       in
@@ -244,5 +246,4 @@ end
 module P' : Interpret_intf.P = P
 
 let convert_module_to_run (m : 'f Link.module_to_run) =
-  P.Module_to_run.
-    { modul = m.modul; env = m.env; to_run = m.to_run }
+  P.Module_to_run.{ modul = m.modul; env = m.env; to_run = m.to_run }
diff --git a/src/concolic/concolic_choice.ml b/src/concolic/concolic_choice.ml
@@ -133,7 +133,8 @@ let run preallocated_values (M v) : _ run_result =
   let shared =
     { memories = Symbolic_memory.init ()
     ; tables = Symbolic_table.init ()
-    ; globals = Symbolic_global.init () }
+    ; globals = Symbolic_global.init ()
+    }
   in
   v (init_thread preallocated_values shared)