if (isset($_GET['_release_id'])) {
    $release_id = $_GET['_release_id'];
}
if (isset($_GET['_build_id'])) {
    $build_id = $_GET['_build_id'];
}
if (isset($_GET['_testset_id'])) {
    $testset_id = $_GET['_testset_id'];
}
html_window_title();
auth_authenticate_user();
html_print_body();
html_page_title($project_name . " - " . lang_get('report_verif_page'));
html_page_header($db, $project_name);
html_print_menu();
html_browse_release_menu($db, $page, $project_id);
error_report_check($_GET);
print "<div align=center>";
print "<br>" . NEWLINE;
if (isset($testset_id) && $testset_id != 'all') {
    $verif_summary = report_get_verifs_summary($testset_id);
    $passed = $verif_summary["Passed"];
    $failed = $verif_summary["Failed"];
    $info = $verif_summary["Info"];
    $bugs = $verif_summary["Bugs"];
    print "<form method=post action='{$page}?_release_id={$release_id}&amp;_build_id={$build_id}&amp;_testset_id={$testset_id}'>";
    print "<table class=width80>" . NEWLINE;
    print "<tr>" . NEWLINE;
    html_tbl_print_header(lang_get('verifs_passed'));
    html_tbl_print_header(lang_get('verifs_failed'));
    html_tbl_print_header(lang_get('num_bugs'));
$page_number = 1;
util_set_order_by($order_by, $_POST);
util_set_order_dir($order_dir, $_POST);
util_set_page_number($page_number, $_POST);
if (isset($_GET['_release_id'])) {
    $release_id = $_GET['_release_id'];
}
if (isset($_GET['_build_id'])) {
    $build_id = $_GET['_build_id'];
}
html_window_title();
html_print_body();
html_page_title($project_name . " - " . lang_get('report_build_status_page'));
html_page_header($db, $project_name);
html_print_menu();
html_browse_release_menu($db, $page, $project_id, "", true, false);
error_report_check($_GET);
global $db;
print "<div align=center>";
if (isset($build_id) && $build_id != 'all') {
    $build_status = report_get_build_status($build_id);
    $build_date_received = $build_status[0];
    $num_of_test_sets = $build_status[1];
    $num_of_tests = $build_status[2];
    $num_of_passed = $build_status[3];
    $num_of_failed = $build_status[4];
    $num_awaiting_review = $build_status[5];
    $num_wip = $build_status[6];
    $num_not_running = $build_status[7];
    $num_not_started = $build_status[8];
    $num_incomplete = $build_status[9];