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