search

verus-lang / verus

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

Add issue template for bug reports #1185

Closed jaybosamiya-ms closed 1 week ago

jaybosamiya-ms commented 1 week ago

Reminds users to look attach the --record output.