Documentation in categories CodePeer

  • CodePeer
    • CodePeer Tutorial     (Link to this entry)

      This document provides a guide through the major capabilities of CodePeer inside the GNAT Programming Studio (GPS) by working on a code example: sdc, a simple desktop calculator.

    • CodePeer User’s Guide     (Link to this entry)

      This is the main documentation for CodePeer, a static error detection tool that automatically identifies possible programming errors and verifies logical correctness, without relying on labor-intensive run time testing.