Development Log

  • GNAT Pro | GPS | GNATbench
    Dec 2nd, 2009

    Auto-fix for unexpected tilde or percent in SPARK
    Semantic errors 317, 318, 319, 320 and 321 raised by SPARK Examiner complain about an unexpected or misplaced tilde or percent. An auto-fix for such errors is offered, which consists either in removing the offending tilde or percent, or in replacing it correctly.