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

Releases
, ,
1

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:

Feedback and questions are very welcome!

Best regards,
Martin

2 Likes