Mentions légales du service

Skip to content

WIP: transformation: add trivial_true (from SPARK); change strategy split_vc

DAILLER Sylvain requested to merge 367_trivial_goals into master

WIP as this may not be a correct solution.

Merge request reports