Hi,
It seems that dune-gen (used by stanza 0.2) does not support setting non-deterministic mode:
|
line " run_exn ~packages ~predicates ~prelude_str:[]"; |
|
line " ~non_deterministic:false"; |
|
line " ~silent_eval:false ~record_backtrace:false"; |
|
line " ~syntax:None ~silent:false"; |
|
line " ~verbose_findlib:false ~section:None"; |
|
line " ~root:None ~force_output:false"; |
|
line " ~output:(Some `Stdout)"; |
If we want MDX_RUN_NON_DETERMINISTIC=1 dune runtest to work, this needs be supported and dune to be adjusted so that it knows about the envvar dependency.
Hi,
It seems that dune-gen (used by stanza 0.2) does not support setting non-deterministic mode:
mdx/bin/dune_gen.ml
Lines 35 to 41 in 4942357
If we want
MDX_RUN_NON_DETERMINISTIC=1 dune runtestto work, this needs be supported and dune to be adjusted so that it knows about the envvar dependency.