Mentions légales du service

Skip to content
  • Sylvain Dailler's avatar
    Add name to requires and asserts · 5214043f
    Sylvain Dailler authored
    This is implemented using an attribute that is detected when a
    transformation introduces the hypothesis.
    Added for assertion_kind and requires.
    5214043f