diff options
| author | Stavros Aronis <[email protected]> | 2012-03-05 11:39:28 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:22 +0200 |
| commit | 4a1fa04e5f57ad56e35aae8e9ff278bf1133889a (patch) | |
| tree | 522ccc0093ae7910a03eef7e71b9156f5f9ebb7f /lib/dialyzer/src/dialyzer_cl_parse.erl | |
| parent | 49ccc5df4f2f64ff19dd5751523c8ba45adaf658 (diff) | |
| download | otp-4a1fa04e5f57ad56e35aae8e9ff278bf1133889a.tar.gz otp-4a1fa04e5f57ad56e35aae8e9ff278bf1133889a.tar.bz2 otp-4a1fa04e5f57ad56e35aae8e9ff278bf1133889a.zip | |
Change --time to --statistics and include more info
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl_parse.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_cl_parse.erl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl_parse.erl b/lib/dialyzer/src/dialyzer_cl_parse.erl index 5baba7d11b..05e50c3d6b 100644 --- a/lib/dialyzer/src/dialyzer_cl_parse.erl +++ b/lib/dialyzer/src/dialyzer_cl_parse.erl @@ -164,7 +164,7 @@ cl(["--src"|T]) -> cl(["--no_spec"|T]) -> put(dialyzer_options_use_contracts, false), cl(T); -cl(["--time"|T]) -> +cl(["--statistics"|T]) -> put(dialyzer_timing, true), cl(T); cl(["-v"|_]) -> @@ -356,7 +356,7 @@ help_message() -> [--apps applications] [-o outfile] [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] [--no_check_plt] [--plt_info] [--get_warnings] - [--no_native] [--fullpath] [--time] + [--no_native] [--fullpath] [--statistics] Options: files_or_dirs (for backwards compatibility also as: -c files_or_dirs) Use Dialyzer from the command line to detect defects in the @@ -423,8 +423,9 @@ Options: Make Dialyzer a bit more quiet. --verbose Make Dialyzer a bit more verbose. - --time - Print time information + --statistics + Prints information about the progress of execution (analysis phases, + time spent in each and size of the relative input). --build_plt The analysis starts from an empty plt and creates a new one from the files specified with -c and -r. Only works for beam files. |