Feature request: -trace-validation/-tracevalidate mode

[achamayou]

It would be nice to have an explicit trace validation mode, similar to simulation, which would adjust behaviour to be more suitable to trace validation, for example using -Dtlc2.tool.queue.IStateQueue=StateDeque by default (as well as \cdot maybe).

[lemmy]

So far, the unspoken rule was that command-line parameters are API and system properties are not. Given that \cdot support is incomplete, we, perhaps, have to add an -experimental command-line parameter to explicitly enable experimental features.

[achamayou]

So far, the unspoken rule was that command-line parameters are API and system properties are not.

That makes sense. So perhaps a way to rephrase the feature request is: can there be an API for trace validation? Relying on discovering and setting the right system properties (some combinations of which can be unsafe) is not ideal if this is going to be a supported workflow.

[lemmy]

The short-term fix could be a single, "umbrella" property -Dtlc.tool.tracevalidate that also enables cdot, StateDequeu, ...

[achamayou]

This could also be taken care of by a CLI option in a potential wrapper such as the one discussed in #833.