Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • DAILLER Sylvain's avatar
    Generalization of check_unused_vars to logic and program decl · f91bb58b
    DAILLER Sylvain authored
    Description:
    - Choice was made to not add unused variables when there is no contract
      and no body (no pre/(x)post, and no body).
    - For postcondition variable result, we only check variables that are not
      of unit type. And, we report a warning only if the variable is not present
      in all the ensures.
    - For result variable, with several imbricated raise, it seems possible to
      have false positive with no location. Removing the no location case which
      seems unhelpful anyway
    f91bb58b
13853.mlw 277 Bytes