diff options
author | David Allsopp <david.allsopp@metastack.com> | 2021-09-05 12:59:38 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2021-12-23 10:53:39 +0000 |
commit | 598af9df00cd33f5d4291a30b60589d7c4ed3977 (patch) | |
tree | 8a61f5ff0ffe2d7dcd3b7f637eff145edfb0e863 /ocamltest/options.mli | |
parent | 229e26245ed0d5fb3fad09b3779bb9325c5d6017 (diff) | |
download | ocaml-598af9df00cd33f5d4291a30b60589d7c4ed3977.tar.gz |
Add -show-timings option to ocamltest
Dumps the wall-clock time for each test _file_
Diffstat (limited to 'ocamltest/options.mli')
-rw-r--r-- | ocamltest/options.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ocamltest/options.mli b/ocamltest/options.mli index 56da374e67..7b7c5943a4 100644 --- a/ocamltest/options.mli +++ b/ocamltest/options.mli @@ -30,3 +30,5 @@ val find_test_dirs : string list val list_tests : string list val keep_test_dir_on_success : bool + +val show_timings : bool |