Push memory limit to 4GB by default.

src/verification.ml

@@ -11,8 +11,17 @@ let () = Language.register_nnet_support ()
 
 let create_env loadpath =
   let config = Autodetection.autodetect ~debug:true () in
-  let stdlib = Dirs.Sites.stdlib in
   let open Why3 in
+  let config =
+    let main = Whyconf.get_main config in
+    let dft_memlimit = 4000 (* 4 GB *) in
+    let main =
+      Whyconf.(
+        set_limits main (timelimit main) dft_memlimit (running_provers_max main))
+    in
+    Whyconf.set_main config main
+  in
+  let stdlib = Dirs.Sites.stdlib in
   ( Env.create_env
       (loadpath @ stdlib @ Whyconf.loadpath (Whyconf.get_main config)),
     config )