We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
You may think of it as easy 30 points (just make j>=0) but the whole purpose of this question is to introduce us to the concept of loop invariants which are used to formally reason about the correctness of code.
Cookie support is required to access HackerRank
Seems like cookies are disabled on this browser, please enable them to open this website
Correctness and the Loop Invariant
You are viewing a single comment's thread. Return to all comments →
You may think of it as easy 30 points (just make j>=0) but the whole purpose of this question is to introduce us to the concept of loop invariants which are used to formally reason about the correctness of code.