function run()
 {
     $this->copy_headers();
     parent::run();
 }
Beispiel #2
0
 function run()
 {
     parent::run();
     $num_skipped = $this->solo_tests;
     echo "({$num_skipped} solo tests)\n";
 }