Browse Source

Add a non-deterministic dune profile to run mdx non-det tests

Signed-off-by: Nathan Rebours <nathan.p.rebours@gmail.com>
Nathan Rebours 2 years ago
parent
commit
4ad0d610e8
3 changed files with 5 additions and 3 deletions
  1. 1 1
      Makefile
  2. 2 2
      README.md
  3. 2 0
      dune

+ 1 - 1
Makefile

@@ -11,7 +11,7 @@ test:
 	dune runtest
 
 test-all:
-	dune build @runtest-all
+	dune runtest --profile non-deterministic
 
 dep:
 	dune exec -- rwo-dep

+ 2 - 2
README.md

@@ -85,10 +85,10 @@ make promote
 ### Testing non-deterministic examples
 
 A few code examples are not deterministic: for instance benchmarks. In this case,
-there is a special command to run:
+there is a specific dune profile to use:
 
 ```
-make test-all
+dune runtest --profile non-deterministic ...
 ```
 
 To accept the changes:

+ 2 - 0
dune

@@ -0,0 +1,2 @@
+(env
+ (non-deterministic (env-vars (MDX_RUN_NON_DETERMINISTIC true))))