From b7c77dca313dc017b212a81bb607813ddc0cb87c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 14 Jun 2012 15:16:58 +0200 Subject: [PATCH] * src/tgbatest/ltl2tgba.cc: Clock the degeneralization. --- src/tgbatest/ltl2tgba.cc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc index 45aefc5c5..5ee00f7c1 100644 --- a/src/tgbatest/ltl2tgba.cc +++ b/src/tgbatest/ltl2tgba.cc @@ -1013,7 +1013,9 @@ main(int argc, char** argv) } else if (degeneralize_opt == DegenSBA) { + tm.start("degeneralization"); degeneralized = a = spot::degeneralize(a); + tm.stop("degeneralization"); assume_sba = true; } else if (labeling_opt == StateLabeled) @@ -1066,8 +1068,10 @@ main(int argc, char** argv) } else if (degeneralize_opt == DegenSBA) { + tm.start("degeneralize product"); product = product_degeneralized = a = spot::degeneralize(product); + tm.stop("degeneralize product"); assume_sba = true; } }