Development Log

  • SPARK Pro
    Apr 7th, 2016

    More options for reporting of results
    The --report switch of the gnatprove tool now provides one more option to select from. If the option --report=provers is selected, gnatprove will show information about which provers have contributed to the proof of each check.