source/rust_verify_test/tests/cargo-tests · verus · Tangled

forked from verus-lang/verus

verus source rust_verify_test tests cargo-tests

2 folders · 1 file

Xiangdong Chen · Fix unsound opaque type assumptions at function returns (#3112) · 3w ago

Fix: Structural macro output when run under nomral cargo (#2007)

Fix unsound opaque type assumptions at function returns (#3112)

Add support for running tests of `cargo` and `cargo verus` (#1919)