forked from verus-lang/verus

verus source cargo-verus tests

10 files

Máté Kovács · [cargo-verus] feat: add Verus version to Cargo metadata hash (#3281) · 3w ago

[cargo-verus] refactor: remove `fake-cargo` and update all tests (#2383)

[cargo-verus] feat: add Verus version to Cargo metadata hash (#3281)

[cargo-verus] feat: `cargo verus fmt` (#2883)

[cargo-verus] feat: add Verus version to Cargo metadata hash (#3281)

test_late_args.rs

[cargo-verus] feat: add Verus version to Cargo metadata hash (#3281)

[cargo-verus] feat: `cargo verus fmt` (#2883)

test_toolchain.rs

[cargo-verus] refactor: make `current_dir` input to `plan_execution` mandatory (#2710)

[cargo-verus] feat: add Verus version to Cargo metadata hash (#3281)

test_verus_arg_fwd.rs

[cargo-verus] feat: add Verus version to Cargo metadata hash (#3281)

test_vstd_sources.rs

fix: pin version in cargo-verus vstd test (#2646)

README.md

Package-Level Tests for `cargo verus` #

The tests in this directory validate cargo-verus command planning directly. They use MockPackage/MockWorkspace fixtures and assert against the ExecutionPlan::RunCargo output: CLI args and environment variable bindings.

How to Run #

cargo test -p cargo-verus