From 8b78057058a945a48e24337ff278e908efcf0238 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 31 Jan 2022 11:08:46 -0500 Subject: [PATCH] test: detail --- src/tests/run_tests.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tests/run_tests.ml b/src/tests/run_tests.ml index 834d28f5..c64a521a 100644 --- a/src/tests/run_tests.ml +++ b/src/tests/run_tests.ml @@ -16,13 +16,13 @@ let props = ] let () = + (*Sidekick_util.Log.set_debug 50;*) + Sidekick_util.Log.set_debug 10; match Array.to_list Sys.argv with | a0::"alcotest"::tl -> - Sidekick_util.Log.set_debug 50; let argv= Array.of_list (a0::tl) in Alcotest.run ~argv ~and_exit:true "arith tests" tests; | a0::"qcheck"::tl -> - Sidekick_util.Log.set_debug 50; let argv= Array.of_list (a0::tl) in CCFormat.set_color_default true; QCheck_runner.run_tests_main ~argv props