You are an expert in writing code in many different languages. Your goal is to perform code completion for the following code, keeping in mind the rest of the code and the file meta data.
    Metadata details:
    filename: testsuite.rs
    path of file: ./repos/diem/language/move-prover/tests
    
    the code of the file until where you have to start completion: // Copyright (c) The Diem Core Contributors
// SPDX-License-Identifier: Apache-2.0

use std::path::{Path, PathBuf};

use codespan_reporting::term::termcolor::Buffer;

use anyhow::anyhow;
use itertools::Itertools;
use move_command_line_common::{env::read_env_var, testing::EXP_EXT};
use move_pro
    
fn get_features() -> &'static [Feature] {
    static TESTED_FEATURES: OnceCell<Vec<Feature>> = OnceCell::new();
    TESTED_FEATURES.get_or_init(|| {
        vec![
            // Tests the default configuration.
            Feature {
                name: "default",
                flags: &[],
                inclusion_mode: InclusionMode::Implicit,
                enable_in_ci: true,
                only_if_requested: false,
                separate_baseline: false,
                runner: |p| test_runner_for_feature(p, get_feature_by_name("default")),
                enabling_condition: |_, _| true,
            },
            // Tests with pragma opaque ignored for internal functions
            Feature {
                name: "no_opaque",
                flags: &["--ignore-pragma-opaque-internal-only"],
                inclusion_mode: InclusionMode::Implicit,
                enable_in_ci: true,
                only_if_requested: false,
                separate_baseline: false,
                runner: |p| test_runner_for_feature(p, get_feature_by_name("no_opaque")),
                enabling_condition: |_, _| true,
            },
            // Tests with cvc4 as a backend for boogie.
            Feature {
                name: "cvc4",
                flags: &["--use-cvc4"],
                inclusion_mode: InclusionMode::Implicit,
                enable_in_ci: false, // Do not enable in CI until we have more data about stability
                only_if_requested: false,
                separate_baseline: false,
                runner: |p| test_runner_for_feature(p, get_feature_by_name("cvc4")),
                enabling_condition: |group, _| group == "unit",
            },
        ]
    })
}