diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 18:11:35 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 18:11:35 +0200 |
| commit | 2514cd8a0767804a254addc9ac0ad8da2ce97dda (patch) | |
| tree | 9df94006ffdc35a52badd78fbecadd032be4d331 /abstract/abs_interp.ml | |
| parent | 3c3b96e877dcb121d17da282dc4ca0caadda72b2 (diff) | |
| download | scade-analyzer-2514cd8a0767804a254addc9ac0ad8da2ce97dda.tar.gz scade-analyzer-2514cd8a0767804a254addc9ac0ad8da2ce97dda.zip | |
Actually, it works.
Diffstat (limited to 'abstract/abs_interp.ml')
| -rw-r--r-- | abstract/abs_interp.ml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/abstract/abs_interp.ml b/abstract/abs_interp.ml index 7a53134..e55f199 100644 --- a/abstract/abs_interp.ml +++ b/abstract/abs_interp.ml @@ -127,14 +127,12 @@ end = struct let do_prog widen_delay rp = let st = init_state widen_delay rp in - let final, final_c = loop st st.env in + let final_nc, final = loop st st.env in Format.printf "@[<hov>F %a@]@.@." - E.print_all final; - (* + E.print_all final_nc; Format.printf "@[<hov>F' %a@]@.@." - E.print_all final_c; - *) + E.print_all final; let check_guarantee (id, f) = let cl = Formula.conslist_of_f f in |