Verified Commit 34273e4c authored by Amin Bandali's avatar Amin Bandali
Browse files

Move --solvers from CatalystCommand to Mut

parent 6de3e4d3
......@@ -72,14 +72,6 @@ public abstract class CatalystCommand {
" names; e.g. with \"$_\", /a/b/c becomes $_a$_b$_c")
protected String outSep = "$_";
@Option(names = "--solvers",
split = ",",
paramLabel = "<solver>",
description = { "Comma-separated list of SAT solvers to be used",
"Possible values: ${COMPLETION-CANDIDATES}"})
protected Solver[] solvers = { Solver.minisat, Solver.minisatprover,
Solver.glucose, Solver.sat4j };
@Option(names = "--ignore",
paramLabel = "<regex>",
description = "file paths matching this regex will be skipped")
......
......@@ -75,6 +75,14 @@ enum SolverResult {
@Command(name = "mut", description = "Mutation analysis mode")
public final class Mut extends CatalystCommand implements Runnable {
@Option(names = "--solvers",
split = ",",
paramLabel = "<solver>",
description = { "Comma-separated list of SAT solvers to be used",
"Possible values: ${COMPLETION-CANDIDATES}"})
protected Solver[] solvers = { Solver.minisat, Solver.minisatprover,
Solver.glucose, Solver.sat4j };
@Option(names = "--mutation-count",
description = "Number of mutations to generate per Alloy file")
protected int mutationCount = 3;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment