From 83607ace5ea000045175e0a6a70b196e1e671671 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Mon, 25 Feb 2019 07:06:55 -0800
Subject: [PATCH] [sledge] Add Trace.all

Summary:
This makes it convenient to call

`Trace.init ~margin:70 ~config:all ()`

in test modules.

Reviewed By: mbouaziz

Differential Revision: D14075515

fbshipit-source-id: 3d3940eb1
---
 sledge/src/trace/trace.ml  | 1 +
 sledge/src/trace/trace.mli | 1 +
 2 files changed, 2 insertions(+)

diff --git a/sledge/src/trace/trace.ml b/sledge/src/trace/trace.ml
index 821f94b27..c469d47a0 100644
--- a/sledge/src/trace/trace.ml
+++ b/sledge/src/trace/trace.ml
@@ -20,6 +20,7 @@ type trace_mods_funs = trace_mod_funs Map.M(String).t
 type config = {trace_all: bool; trace_mods_funs: trace_mods_funs}
 
 let none = {trace_all= false; trace_mods_funs= Map.empty (module String)}
+let all = {none with trace_all= true}
 let config : config ref = ref none
 
 let init ?(margin = 300) ~config:c () =
diff --git a/sledge/src/trace/trace.mli b/sledge/src/trace/trace.mli
index 5c143b532..026907bdd 100644
--- a/sledge/src/trace/trace.mli
+++ b/sledge/src/trace/trace.mli
@@ -22,6 +22,7 @@ type config =
         (** Specify tracing of individual toplevel modules *) }
 
 val none : config
+val all : config
 
 val init : ?margin:int -> config:config -> unit -> unit
 (** Initialize the configuration of debug tracing. *)