How to Set Up Unit Tests and SPARK Proofs July 14, 2026 Learn how to structure an Ada/Alire project with multiple test and proof configurations, integrate them with Alire actions, and set up a convenient Visual Studio Code workspace.