Skip to main content

AUnit

2026


How to Set Up Unit Tests and SPARK Proofs

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.

2025


Ada Class Library

AdaCL: Strings, Regex, Search/Replace, and more with i18n support.

2024


GNU GetOpt

GNU GetOpt style command line parser with wide character support.

Regular Expressions

·
Regular Expressions for Strings, Wide_Strings and Wide_Wide_Strings.

Fluent AUnit Asserts

·
Assets for AUnit with additional information on failure.

2023


Ada Class Library

·
AdaCL: Strings, Regex, Search/Replace, and more with i18n support.