simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat(main): use --long style for options

Browse source
This commit is contained in:
Simon Cruanes 2019-06-07 11:23:43 -05:00
parent cad49b3747
commit a47641ecea
1 changed files with 16 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
src/main/main.ml
View file

@ -62,23 +62,23 @@ let input_file = fun s -> file := s
let usage = "Usage : main [options] <file>"
let argspec = Arg.align [
"-bt", Arg.Unit (fun () -> Printexc.record_backtrace true), " enable stack traces";
"-cnf", Arg.Set p_cnf, " prints the cnf used.";
"-check", Arg.Set check, " build, check and print the proof (if output is set), if unsat";
"-no-check", Arg.Clear check, " inverse of -check";
"-gc", Arg.Set gc, " enable garbage collection";
"-no-gc", Arg.Clear gc, " disable garbage collection";
"-restarts", Arg.Set restarts, " enable restarts";
"-no-restarts", Arg.Clear restarts, " disable restarts";
"-dot", Arg.Set_string p_dot_proof, " if provided, print the dot proof in the given file";
"-stat", Arg.Set p_stat, " print statistics";
"-model", Arg.Set p_model, " print model";
"-no-model", Arg.Clear p_model, " do not print model";
"-gc-stat", Arg.Set p_gc_stat, " outputs statistics about the GC";
"--bt", Arg.Unit (fun () -> Printexc.record_backtrace true), " enable stack traces";
"--cnf", Arg.Set p_cnf, " prints the cnf used.";
"--check", Arg.Set check, " build, check and print the proof (if output is set), if unsat";
"--no-check", Arg.Clear check, " inverse of -check";
"--gc", Arg.Set gc, " enable garbage collection";
"--no-gc", Arg.Clear gc, " disable garbage collection";
"--restarts", Arg.Set restarts, " enable restarts";
"--no-restarts", Arg.Clear restarts, " disable restarts";
"--dot", Arg.Set_string p_dot_proof, " if provided, print the dot proof in the given file";
"--stat", Arg.Set p_stat, " print statistics";
"--model", Arg.Set p_model, " print model";
"--no-model", Arg.Clear p_model, " do not print model";
"--gc-stat", Arg.Set p_gc_stat, " outputs statistics about the GC";
"-p", Arg.Set p_progress, " print progress bar";
"-no-p", Arg.Clear p_progress, " no progress bar";
"-size", Arg.String (int_arg size_limit), " <s>[kMGT] sets the size limit for the sat solver";
"-time", Arg.String (int_arg time_limit), " <t>[smhd] sets the time limit for the sat solver";
"--no-p", Arg.Clear p_progress, " no progress bar";
"--size", Arg.String (int_arg size_limit), " <s>[kMGT] sets the size limit for the sat solver";
"--time", Arg.String (int_arg time_limit), " <t>[smhd] sets the time limit for the sat solver";
"-v", Arg.Int Msat.Log.set_debug, "<lvl> sets the debug verbose level";
]