Development Log

  • SPARK Pro
    Mar 15th, 2016

    Allow to disable steps limit
    The --level switch of GNATprove sets a steps limit, and it was previously impossible to disable this steps limit without removing the --level switch entirely. Now one can add the switch --steps=0 to the GNATprove command line invocation to keep all the settings of the --level switch and only disable the steps limit.