1. Flyology
  2. Runtime
  3. Guide
  4. Verification

Verify a change.

Use the repository scripts as the authority for behavioral checks, proofs, documentation, stress campaigns, and showcases.

STEP 11

Run the relevant checks.

The repository scripts are authoritative for behavioral tests, proofs, documentation, stress campaigns, and showcases.

core verification
./scripts/test.sh
./scripts/stress.sh
./scripts/prove.sh
./scripts/docs.sh
./scripts/showcases.sh
  • test.sh runs both project defaults, runtime-preparation validation, and an external consumer.
  • stress.sh runs bounded deterministic concurrency and fault campaigns.
  • prove.sh runs the SPARK policy proof suite.
  • docs.sh generates the public GNATdoc reference with undocumented-entity warnings enabled.
  • showcases.sh builds and runs the maintained showcase scenarios.