From 431946f30b0733498ffa731cfa97692b2c942208 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Wed, 2 May 2012 14:31:57 +0200 Subject: [PATCH] Add more logging statements. --- src/ata.ml | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/src/ata.ml b/src/ata.ml index ae633d3..8590a8e 100644 --- a/src/ata.ml +++ b/src/ata.ml @@ -268,14 +268,13 @@ let top_down_approx auto states tree = let get_trans ?(attributes=TagSet.empty) auto states tag = StateSet.fold (fun q acc -> List.fold_left (fun ((tr_acc, l_acc, r_acc) as acc) (ts, tr) -> - let ts = if ts == TagSet.star then TagSet.diff ts attributes else ts - in +(* let ts = if ts == TagSet.star then TagSet.diff ts attributes else ts + in *) let b = TagSet.mem tag ts in - let () = LOG(__ "transition" 3 "tag=<%s>, %s: %a7C" + LOG(__ "transition" 3 "tag=<%s>, %s: %a7C" (Tag.to_string tag) (if b then " taking" else "not taking") - Transition.print tr) - in + Transition.print tr); if b then let _, _, _, f = Transition.node tr in let l, r = Formula.st f in -- 2.17.1