`why3 session create` should not apply transform `split_vc` by default
Since there is option -a
, there is no reason to apply split_vc
by default.
Please change the code and the documentation accordingly
Since there is option -a
, there is no reason to apply split_vc
by default.
Please change the code and the documentation accordingly