Skip to content
Snippets Groups Projects
  • Basile Desloges's avatar
    b92bb659
    [Eva] Update missing assigns messages · b92bb659
    Basile Desloges authored
    The warning messages for missing assigns and missing from now have a
    category that is set to `error` by default. Moreover, the message is
    expanded to note that `assigns \nothing` and `assigns \from \nothing` is
    assumed instead and that the analysis is probably incorrect.
    b92bb659
    History
    [Eva] Update missing assigns messages
    Basile Desloges authored
    The warning messages for missing assigns and missing from now have a
    category that is set to `error` by default. Moreover, the message is
    expanded to note that `assigns \nothing` and `assigns \from \nothing` is
    assumed instead and that the analysis is probably incorrect.