diff options
Diffstat (limited to 'abstract/abs_interp.ml')
| -rw-r--r-- | abstract/abs_interp.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/abstract/abs_interp.ml b/abstract/abs_interp.ml index a612976..a401f60 100644 --- a/abstract/abs_interp.ml +++ b/abstract/abs_interp.ml @@ -262,6 +262,7 @@ end = struct let cl = Formula.conslist_of_f f in let cl_g = Formula.conslist_of_f f_g in + Format.printf "Cycle conslist:@.%a@.@." Formula_printer.print_conslist cl; (* calculate cycle variables and forget variables *) let cycle = List.fold_left @@ -353,7 +354,7 @@ 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; *) + (*Format.printf "{{ %a ->@.%a }}@." print_dd env print_dd env_f;*) dd_pass_cycle st env_f |