Example Code for Testing Installation of Spark Ada

On Linux Machines in the Linux Lab, please follow Testing Installation of SPARK Ada on Linux Machines in the Linux Lab

Preliminaries

Trying out gnatstudio

Basic Usage of gnatstudio