From 08096254ecf8c2341320e255ad74a7d99fb46d47 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 2 Jul 2014 10:27:30 +0200
Subject: More verbosity ; adapt rfollow so that it can be proved

---
 abstract/abs_interp.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'abstract/abs_interp.ml')

diff --git a/abstract/abs_interp.ml b/abstract/abs_interp.ml
index a401f60..c3b2d79 100644
--- a/abstract/abs_interp.ml
+++ b/abstract/abs_interp.ml
@@ -11,6 +11,7 @@ type cmdline_opt = {
     widen_delay       : int;
     disjunct          : (id -> bool);
     verbose_ci        : bool;
+    vverbose_ci       : bool;
 }
 
 
@@ -354,7 +355,8 @@ end = struct
     *)
     let cycle st cl env =
       let env_f = apply_cl env cl in
-      (*Format.printf "{{ %a ->@.%a }}@." print_dd env print_dd env_f;*)
+      if st.opt.vverbose_ci then
+        Format.printf "{{ %a ->@.%a }}@." print_dd env print_dd env_f;
       dd_pass_cycle st env_f
 
 
-- 
cgit v1.2.3