simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-05 19:00:33 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

test: detail

Browse source
This commit is contained in:
Simon Cruanes 2022-01-31 11:08:46 -05:00
parent 10c8006597
commit 8b78057058
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/tests/run_tests.ml
View file

@ -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