Skip to content
Vela

Fuzzing And Validation

Vela uses layered validation. Parser tests, compiler tests, VM tests, examples, benchmarks, fuzz targets, and CI checks cover different failure modes.

Standard Validation

Section titled “Standard Validation”

The default full validation target is:

Terminal window
cargo fmt --all -- --check
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspace

For site syntax highlighting, the documentation site also provides:

Terminal window
cd site && npm run test:syntax

Fuzzing

Section titled “Fuzzing”

The repository includes a parser fuzz target under fuzz/. The local command when cargo-fuzz is installed is:

Terminal window
cargo fuzz run parser

Fuzzing should find parser crashes, recovery bugs, and unexpected panics. It does not replace semantic or VM conformance tests.

Example Coverage

Section titled “Example Coverage”

Runnable examples under examples/src/bin exercise hot reload, reflection, host permissions, stale host refs, schema rejection, I/O capabilities, and domain-neutral standard helpers.

Validation Discipline

Section titled “Validation Discipline”

Do not delete tests to make a failure pass. New runtime behavior should have a focused test at the layer that owns the contract, then broader examples or conformance fixtures when the behavior crosses subsystem boundaries.