diff options
author | Jason Gross <jgross@mit.edu> | 2019-01-18 18:06:22 -0500 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2019-01-23 18:52:41 -0500 |
commit | 226c05f2db7177cd33fffef6546d0385d6a1492f (patch) | |
tree | 92643b8f9ca2c2463b956e5a41e54db3093654ec | |
parent | b48a0a78c26ec34b84fe10cb8efb2bf54d8d7584 (diff) |
Give slightly more standard usage strings
-rw-r--r-- | src/CLI.v | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -293,7 +293,8 @@ Module ForExtraction. error | nil => error ["empty argv"] | prog::args - => error ["Expected arguments curve_description, n, s, c, machine_wordsize, [function_to_synthesize*] got " ++ show false (List.length args) ++ " arguments in " ++ prog; + => error ["USAGE: " ++ prog ++ " curve_description n s c machine_wordsize [function_to_synthesize*]"; + "Got " ++ show false (List.length args) ++ " arguments."; ""; curve_description_help; n_help; @@ -394,7 +395,8 @@ Module ForExtraction. error | nil => error ["empty argv"] | prog::args - => error ["Expected arguments curve_description, m, machine_wordsize, [function_to_synthesize*] got " ++ show false (List.length args) ++ " arguments in " ++ prog; + => error ["USAGE: " ++ prog ++ " curve_description m machine_wordsize [function_to_synthesize*]"; + "Got " ++ show false (List.length args) ++ " arguments"; ""; curve_description_help; m_help; @@ -490,7 +492,8 @@ Module ForExtraction. error | nil => error ["empty argv"] | prog::args - => error ["Expected arguments curve_description, s, c, machine_wordsize, [function_to_synthesize*] got " ++ show false (List.length args) ++ " arguments in " ++ prog; + => error ["USAGE: " ++ prog ++ " curve_description s c machine_wordsize [function_to_synthesize*]"; + "Got " ++ show false (List.length args) ++ " arguments"; ""; curve_description_help; s_help; |