Add optional memtrace

package.json

@@ -50,7 +50,8 @@
     "@opam/stdint": ">=0.5.1 <0.8.0",
     "@opam/yojson": ">=1.7.0 <2.1.0",
     "@opam/opium": ">=0.20.0 <1.0.0",
-    "@opam/ezcurl": ">=0.2.4 <0.3.0"
+    "@opam/ezcurl": ">=0.2.4 <0.3.0",
+    "@opam/memtrace": ">=0.2.3 <0.3.0"
   },
   "devDependencies": {
     "@opam/merlin": "*",

scilla.opam

@@ -51,6 +51,7 @@ depends: [
   "yojson" {>= "1.7.0" & < "2.1~"}
   "opium"  {>= "0.20.0" & < "1.0.0"}
   "ezcurl" {>= "0.2.4" & < "0.3.0"}
+  "memtrace" {>= "0.2.3" & < "0.3.0"}
 ]
 build: [
   [ "./scripts/build_deps.sh" ]

src/runners/dune

@@ -8,7 +8,7 @@
    disambiguate_state_json scilla_fmt scilla_merger scilla_server_http)
  (libraries core core_unix.command_unix angstrom yojson cryptokit fileutils
    scilla_base scilla_eval scilla_server_lib scilla_crypto scilla_format
-   scilla_merge cmdliner opium)
+   scilla_merge cmdliner opium memtrace)
  (modes byte native)
  (preprocess
   (pps ppx_sexp_conv ppx_deriving_yojson ppx_let ppx_deriving.show bisect_ppx --conditional)))

src/runners/scilla_server_http.ml

@@ -66,6 +66,7 @@ let run_handler req =
 ;;
 
 let _ =
+  Memtrace.trace_if_requested ~context:"scilla-server" ();
   App.empty
   |> App.post "/run" (Error_checking_mutex.synchronize run_handler)
   |> App.run_command