diff options
author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-02 10:27:30 +0200 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-02 10:27:30 +0200 |
commit | 08096254ecf8c2341320e255ad74a7d99fb46d47 (patch) | |
tree | 383b7710c1a82d50a527b367581128f158cc445b /abstract/abs_interp.ml | |
parent | cbd88f9238dbd66acacb782bdc0fd3aa9a82b804 (diff) | |
download | scade-analyzer-08096254ecf8c2341320e255ad74a7d99fb46d47.tar.gz scade-analyzer-08096254ecf8c2341320e255ad74a7d99fb46d47.zip |
More verbosity ; adapt rfollow so that it can be proved
Diffstat (limited to 'abstract/abs_interp.ml')
-rw-r--r-- | abstract/abs_interp.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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 |