eigerco / move-spec-testing

Other
0 stars 1 forks source link

feat: add function-filter to spec-test and mutation-test #21

Closed Rqnsom closed 1 month ago

Rqnsom commented 1 month ago

This PR adds addition command line argument to mutate only specified functions:

    /// Work only over specified functions.
    #[clap(short = 'f', long, value_parser, default_value = "all")]
    pub mutate_functions: FunctionFilter,

to both move-spec-test and move-mutation-test tools.