# Adacovex_SBOM_Tests

Unit tests for the proof-aware SBOM feature: property-value mapping,
Alire manifest / .gpr dependency-graph resolution, and CycloneDX 1.5 /
SPDX 2.3 JSON generation.

> **Note:** All items in this package are public.

## Procedures

### procedure Run (R : Adacovex.Test_Support.Runner'Class)

| Parameter | Description |
|-----------|-------------|
| `R` |  |