Development Log

  • GNAT Pro
    Mar 18th, 2016

    Remove superfluous calls to invariant checks
    Useless calls to empty type invariant procedures are not generated when assertion policy is set to Ignore.