2017-04-04 19:00:11 +03:00
|
|
|
<?php
|
2017-04-05 11:26:17 +03:00
|
|
|
global $name, $pretty_name, $lower_is_better;
|
2017-04-04 19:00:11 +03:00
|
|
|
|
|
|
|
$name = "emberperf"; // Corresponds to the name in benchmarks_shell.py. An unique name without spaces.
|
|
|
|
$pretty_name = "Ember perf"; // The name that will be visible on the AWFY site.
|
2017-04-08 12:46:41 +03:00
|
|
|
$lower_is_better = false; // If the benchmark is measuring time executing. Lower is better. If the benchmark is a score this needs to be false.
|
2017-04-04 19:00:11 +03:00
|
|
|
|
|
|
|
$migrate = function() {
|
2017-04-05 11:26:17 +03:00
|
|
|
global $name, $pretty_name, $lower_is_better;
|
|
|
|
mysql_query("INSERT INTO `awfy_suite` (`name`, `description`, `better_direction`, `visible`) VALUES ('$name', '$pretty_name', '".(($lower_is_better)?"-1":"1")."', '1')") or die(mysql_error());
|
2017-04-04 19:00:11 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
$rollback = function() {
|
2017-04-05 11:26:17 +03:00
|
|
|
global $name;
|
|
|
|
mysql_query("DELETE FROM `awfy_suite` WHERE `name` = '$name'") or die(mysql_error());
|
2017-04-04 19:00:11 +03:00
|
|
|
};
|