ac = $ac;
parent::__construct($encoding);
}
public function paintHeader($test_name) {
parent::paintHeader($test_name);
?>
Max memory usage: $max_mem bytes";
}
parent::paintFooter($test_name);
}
protected function getCss() {
$css = parent::getCss();
$css .= '
#select {position:absolute;top:0.2em;right:0.2em;}
';
return $css;
}
function getTestList() {
// hacky; depends on a specific implementation of paintPass, etc.
$list = parent::getTestList();
$testcase = $list[1];
if (class_exists($testcase, false)) $file = str_replace('_', '/', $testcase) . '.php';
else $file = $testcase;
$list[1] = '' . $testcase . '';
return $list;
}
}
// vim: et sw=4 sts=4