# 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` |  |