From 2cb3819ec430ceefe27bac905ec824dac6ec616d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 21 Dec 2005 14:32:37 +0000 Subject: [PATCH] bench --- helm/matita/scripts/public_html/bench.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php index 49bfe6235..8db85a147 100644 --- a/helm/matita/scripts/public_html/bench.php +++ b/helm/matita/scripts/public_html/bench.php @@ -37,6 +37,8 @@ $query_csc = urlencode("Performances (byte and GC) per mark@@@select mark, SEC_T $query_csc_opt = urlencode("Performances (opt and GC) per mark@@@select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser from bench where options = 'gc-on' and compilation = 'opt'group by mark order by mark desc;"); +$query_total = urlencode("Number of compiled tests@@@select mark, COUNT(DISTINCT test) as N from bench group by mark order by mark desc;"); + ?> @@ -53,6 +55,7 @@ $query_csc_opt = urlencode("Performances (opt and GC) per mark@@@select mark, SE
  • Auto performances
  • Global performances (bytecode)
  • Global performances (nativecode)
    • +
  • Number of compiled tests
  • All table contents

    • -- 2.39.2