Run strategy from `why3 prove`
The command why3 prove
includes a --apply-transformation
option which can be used to apply individual transformations before launching provers with why3 prove
, however, unlike in the IDE we cannot apply strategies as a transformation.
It would be useful to have this option when recreating large amounts of proof sessions in a mechanical manner (ie: regenerating the Creusot test suite).