From 4ddf24429b50dc505822479ff6359f7f7307f6fa Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 28 Feb 2012 13:14:24 +0000 Subject: [PATCH] libpgf: the time measurement in pgf-translate should be made after pgf_parse_result for more accurate timing --- src/runtime/c/utils/pgf-translate.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/runtime/c/utils/pgf-translate.c b/src/runtime/c/utils/pgf-translate.c index 129bd29a4..f6c55d6a8 100644 --- a/src/runtime/c/utils/pgf-translate.c +++ b/src/runtime/c/utils/pgf-translate.c @@ -129,14 +129,14 @@ int main(int argc, char* argv[]) { tok = strtok(NULL, " \n"); } + // Now begin enumerating the resulting syntax trees + GuEnum* result = pgf_parse_result(parse, ppool); + clock_t end = clock(); double cpu_time_used = ((double) (end - start)) / CLOCKS_PER_SEC; printf("%.2f sec\n", cpu_time_used); - // Now begin enumerating the resulting syntax trees - GuEnum* result = pgf_parse_result(parse, ppool); - while (true) { PgfExpr expr = gu_next(result, PgfExpr, ppool); // The enumerator will return a null variant at the