# Adacovex_Prove_Tests

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

## Procedures

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

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