Mentions légales du service

Skip to content

ce: support for if-branching

DAILLER Sylvain requested to merge if_branching_ce into master

This adds introduce_premises as a counterexample transformation (to introduce possible exists quantifications) and add attributes that are tagged with the special branch_id= to variables directly near it.

Merge request reports