From 9e5423c413da35b4bc155e25f84b2f4d367aa344 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 31 Aug 2021 15:54:49 +0200
Subject: [PATCH] Set autodetect debug flag wrt global caisar verbosity.
---
src/main.ml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/main.ml b/src/main.ml
index fbcfe607..c22b8dc9 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -46,7 +46,10 @@ let config detect () =
if detect
then begin
Logs.debug (fun m -> m "Automatic detection.");
- let config = Autodetection.autodetect ~debug:false () in
+ let config =
+ let debug = match Logs.level () with Some Debug -> true | _ -> false in
+ Autodetection.autodetect ~debug ()
+ in
let open Why3 in
let provers = Whyconf.get_provers config in
Logs.app (fun m ->
--
GitLab