Update docs to explain how to opt-out of the spinoff-loop behavior - Githubissues

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

Update docs to explain how to opt-out of the spinoff-loop behavior #1182

Closed parno closed 1 week ago

parno commented 1 week ago

Thanks!