# New Tutorial: How to Set Up Unit Tests and SPARK Proofs

**URL:** <https://forum.ada-lang.io/t/new-tutorial-how-to-set-up-unit-tests-and-spark-proofs/4575>\
**Category:** Releases\
**Tags:** ada, spark, alire\
**Created:** [July 14, 2026, 2:48pm UTC](https://forum.ada-lang.io/t/new-tutorial-how-to-set-up-unit-tests-and-spark-proofs/4575 "2026-07-14T14:48:47Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![krischik](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/krischik/32/420_2.png) [@krischik](https://forum.ada-lang.io/u/krischik)\
**Post date:** [July 14, 2026, 2:48pm UTC](https://forum.ada-lang.io/t/new-tutorial-how-to-set-up-unit-tests-and-spark-proofs/4575/1 "2026-07-14T14:48:47Z")

</div>

Hello everyone,

I have just published a new guide on the AdaCL website that shows how I organise an Ada/Alire project so you can comfortably switch between normal builds, AUnit tests and full SPARK proofs — including variants with and without tasking or logging.

The tutorial covers:

- A clean directory structure using child crates
- Alire `test` actions for both AUnit and `gnatprove`
- Complex CI-style verification scripts
- A practical Visual Studio Code workspace setup

You can read it here:

> **[How to Set Up Unit Tests and SPARK Proofs](https://adacl.sourceforge.net/setup-prove_and_test/)**
>
> A practical guide to organising Ada projects with Alire so you can easily switch between normal builds, AUnit tests and SPARK proofs — including variants with and without tasking or logging.

Feedback and questions are very welcome!

Best regards,  
Martin