prover-mutation 0.3.2

Move Prover mutation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

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

#![forbid(unsafe_code)]

use itertools::Itertools;
use prover_mutation::mutator;

fn main() {
    let args = std::env::args().collect_vec();
    mutator::mutate(&args[1..]);
}