Mentions légales du service

Skip to content

Add name to requires and asserts

DAILLER Sylvain requested to merge named_require into master

This is implemented using an attribute that is detected when a transformation introduces the hypothesis. Added for assertion_kind and requires.

Edited by DAILLER Sylvain

Merge request reports