Skip to content
Snippets Groups Projects
Commit f5734028 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[ptests] executes tests from the result directories

parent 095e53bb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
ptests/ptests.ml
+ 1
− 1
View file @ f5734028
...@@ -175,7 +175,7 @@ let get_default_env_of_int var value = ...@@ -175,7 +175,7 @@ let get_default_env_of_int var value =
1 -> apply a filter (about pathname) to prepare oracles 1 -> apply a filter (about pathname) to prepare oracles
2 -> run tests from result directories (except make command) 2 -> run tests from result directories (except make command)
*) *)
let dune_mode = ref (get_default_env_of_int "PTEST_DUNE_MODE" 0) let dune_mode = ref (get_default_env_of_int "PTEST_DUNE_MODE" 2)
(** the name of the directory-wide configuration file*) (** the name of the directory-wide configuration file*)
let dir_config_file = "test_config" let dir_config_file = "test_config"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment