The standard assertions which come with AUnit can only check for boolean for true and false which results in rather boring error messages like:
FAIL Tests : Test_01 : simple calculation
value
at tests.adb:49
With version 6.0.0 of AdaCL I have added new improved assertions which will give you more informative error messages:
FAIL Tests : Test_01 : simple calculation
Discrete_Type «value» 1 is not equal to 2
at tests.adb:49
For more details see: AdaCL.Asserts and download with Alire.