I read this there :
(inline_tests <state>)
, where<state>
is eitherenabled
,disabled
, orignored
. This field has been available since Dune 1.11. It controls the variable’s value%{inline_tests}
, which is read by the inline test framework. The default value isdisabled
for therelease
profile andenabled
otherwise.
I haven’t checked recently if this has changed (and then the doc must be out of date), but this was still working this way last year.
EDIT: see also this post and subsequent messages that, for some, confirm this issue.