verus
forked from verus-lang/verus
Star 0
Fork 0
Watch
verus examples basic_failure.rs
424 B · 24 lines
Rust
at master