- Gc.minor_heap_size = 32*1024*1024;
- Gc.major_heap_increment = 8*1024*1024;
- Gc.max_overhead = 1000000;
- Gc.space_overhead = 100;
- }
-
-
-
-let pr_mat v r =
- let () =
- Printf.eprintf "Number of nodes in the result set : %i\n%!"
- (NodeSet.Mat.length r);
- in
- if !Options.verbose then Printf.eprintf "Size of result set: %i kb\n"
- (Ocaml.size_w r);
- match !Options.output_file with
- | None -> ()
- | Some f ->
- let fd, finish =
- if f = "-" then Unix.stdout, ignore
- else
- Unix.openfile f [ Unix.O_WRONLY; Unix.O_TRUNC; Unix.O_CREAT ] 0o666,
- Unix.close
- in
- let () =
- time ~msg:"Serializing results"
- (NodeSet.Mat.iter (fun node -> Tree.print_xml v node fd)) r
- in
- Tree.flush v fd;
- finish fd
+ Gc.minor_heap_size = 32*1024*1024;
+ Gc.major_heap_increment = 8*1024*1024;
+ Gc.max_overhead = 1000000;
+ Gc.space_overhead = 100;
+}