Adacovex_IR_Tests

Unit tests for the IR synthesis layer: bounded target scalar types (Adacovex.Target_Profiles), host/target word-size configuration, foreign type-name lowering (Adacovex.IR_Synthesiser), and the bounds-checked arithmetic fixture (Adacovex.IR_Bounds).

Note: All items in this package are public.

Procedures

procedure Run (R : Adacovex.Test_Support.Runner’Class)

Parameter	Description
R