Documentation for triggers extended to explicitly mention valid and invalid triggers - Githubissues

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

Documentation for triggers extended to explicitly mention valid and invalid triggers #1194

Open JoPolzin opened 1 week ago