search

verus-lang / verus

Verified Rust for low-level systems code
MIT License
1.06k stars 58 forks source link

run the verus binary we produce to check it doesn't fail trivially #1204

Closed utaal closed 5 days ago

utaal commented 5 days ago

Thank you @jaylorch with the help with the Windows command line.