[Coding Guideline]: Ensure all loops have a termination condition that is provably reachable#305

rcseacord wants to merge 7 commits into

Safety-Critical-Rust-Consortium:mainSafety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines:mainfrom

rcseacord:guideline/inflooprcseacord/safety-critical-rust-coding-guidelines:guideline/infloopCopy head branch name to clipboard