Commit aad31a0b authored by leberre's avatar leberre

Completed descriptions of command line options.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@324 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 101f6ff1
......@@ -125,11 +125,20 @@ public class Lanceur extends AbstractLauncher {
op.setArgName("libname");
op = options.getOption("s");
op.setArgName("solvername");
op = options.getOption("S");
op.setArgName("solverStringDefinition");
op = options.getOption("t");
op.setArgName("delay");
op.setArgName("number");
op = options.getOption("T");
op.setArgName("number");
op = options.getOption("C");
op.setArgName("number");
op = options.getOption("k");
op.setArgName("k");
options.getOption("d");
op.setArgName("number");
op = options.getOption("d");
op.setArgName("filename");
op = options.getOption("f");
op.setArgName("filename");
return options;
}
......
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