[sledge] Manually set exception backtrace recording

Summary: Base, ridiculously, enables backtrace recording by default. So manually disable it unless in debug mode. Reviewed By: kren1 Differential Revision: D16069450 fbshipit-source-id: 34cded329
6 years ago · ddc1a028c4
parent 8be5dbec0b
commit ddc1a028c4
1 changed files with 2 additions and 0 deletions
--- a/sledge/src/sledge.ml
+++ b/sledge/src/sledge.ml
@ -7,6 +7,8 @@

 (** SLEdge command line interface *)

+let () = Backtrace.Exn.set_recording Version.debug
+
 open Command.Let_syntax

 type 'a param = 'a Command.Param.t