Mentions légales du service

Skip to content

Relocate vc for variant clauses

DAILLER Sylvain requested to merge variant_loc into master

The idea is to relocate the term used for the verification condition of the variant decrease to the variant itself instead of the while loop.

Also, update counterexamples bench accordingly.

Edited by DAILLER Sylvain

Merge request reports