$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;");
+
?>
<html>
<li><a href="showquery.php?query=<? echo $query_auto; ?>">Auto performances</a></li>
<li><a href="showquery.php?query=<? echo $query_csc; ?>">Global performances (bytecode)</a></li>
<li><a href="showquery.php?query=<? echo $query_csc_opt; ?>">Global performances (nativecode)</a></li>
+ <li><a href="showquery.php?query=<? echo $quey_total; ?>">Number of compiled tests</a></li>
<li><a href="showquery.php?query=<? echo $quey_all; ?>">All table contents</a></li>
</ul>
</p>
projects / helm.git / commitdiff