oder tests

[helm.git] / helm / software / matita / scripts / public_html / bench.php

diff --git a/helm/software/matita/scripts/public_html/bench.php b/helm/software/matita/scripts/public_html/bench.php
index 51d9e6e2d93d157a2338befdcf622b0b0d7e14b8..1ee4d9ae46c8556b43dd6c92965abecc6d0f312f 100644 (file)
--- a/helm/software/matita/scripts/public_html/bench.php
+++ b/helm/software/matita/scripts/public_html/bench.php
@@ -140,18 +140,18 @@ from
      b1.options = 'gc-on' and 
      b1.compilation = 'byte' 
      group by b1.mark) as bench_times,
-  (select b1.mark as mark, COUNT(DISTINCT b1.test) as count
+  (select
+    b1.mark as mark,
+    SUM(if(b1.result='fail' and b1.compilation='byte' and b1.options='gc-on',1,0))
+    as count
    from bench as b1
-   where 
-     b1.options = 'gc-on' and 
-     b1.compilation = 'byte' and b1.result = 'fail'
-     group by b1.mark) as bench_fails,
-  (select b1.mark as mark, COUNT(DISTINCT b1.test) as count
+   group by b1.mark) as bench_fails,
+  (select
+    b1.mark as mark,
+    SUM(if(b1.result='fail' and b1.compilation='opt' and b1.options='gc-on',1,0))
+    as count
    from bench as b1
-   where 
-     b1.options = 'gc-on' and 
-     b1.compilation = 'opt' and b1.result = 'fail'
-     group by b1.mark) as bench_fails_opt
+   group by b1.mark) as bench_fails_opt
 where 
   bench_times.mark = bench_fails.mark and 
   bench_times_opt.mark = bench_fails_opt.mark and 
@@ -261,7 +261,7 @@ function links_of($name,$q,$limits){
     <td>    
       <select name="test">";
         <option value="--">--</option>";
-          <?query("select distinct test from bench;","array_to_combo");?>
+          <?query("select distinct test from bench order by test;","array_to_combo");?>
       </select>      
     </td>
   </tr>