Giters

verus-lang / verus

Verified Rust for low-level systems code

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Is this a typo?

ChuyueSun opened this issue · comments

commented

verus/source/rust_verify/example/vectors.rs

Line 91 in 2bf6609

fn pust_test(t: Vec<u64>, y: u64)

commented

Yep, looks like. Good catch!