// Copyright (c) The Diem Core Contributors
// Copyright (c) The Move Contributors
// SPDX-License-Identifier: Apache-2.0

use move_cli::base::prove::ProverTest;

// TODO: split this into individual tests once the package system supports this.

#[test]
fn prove() {
    ProverTest::create(".").run();
    ProverTest::create("nursery").run()
}