This PR proposes to add a quiet flag to ortac. The flag is exposed as part of Ortac_core.Registration so it can be used by different plugins. Then the flag is used by ortac-qcheck-stm.
Using a flag implies that there are only too level of verbosity for warnings (errors are always displayed when they occur). We may to add more control over the verbosity in the future, but I think we should wait for more stability in the warning system. Still, I believe the user can benefit from a quiet mode, especially when generating tests with dune.
This PR proposes to add a quiet flag to ortac. The flag is exposed as part of
Ortac_core.Registration
so it can be used by different plugins. Then the flag is used byortac-qcheck-stm
.Using a flag implies that there are only too level of verbosity for warnings (errors are always displayed when they occur). We may to add more control over the verbosity in the future, but I think we should wait for more stability in the warning system. Still, I believe the user can benefit from a quiet mode, especially when generating tests with dune.
Related to #151