From a47641ecea27031d17dd8002152835aa490f26b8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 7 Jun 2019 11:23:43 -0500 Subject: [PATCH] feat(main): use `--long` style for options --- src/main/main.ml | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/src/main/main.ml b/src/main/main.ml index bb795e03..5c951969 100644 --- a/src/main/main.ml +++ b/src/main/main.ml @@ -62,23 +62,23 @@ let input_file = fun s -> file := s let usage = "Usage : main [options] " 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), " [kMGT] sets the size limit for the sat solver"; - "-time", Arg.String (int_arg time_limit), " [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), " [kMGT] sets the size limit for the sat solver"; + "--time", Arg.String (int_arg time_limit), " [smhd] sets the time limit for the sat solver"; "-v", Arg.Int Msat.Log.set_debug, " sets the debug verbose level"; ]