LESSON 03 / 17

Postconditions

A postcondition is what is guaranteed to be true after the algorithm finishes — like “the list is now sorted” after a sort. It’s the promise you test against.

🎓Hardlevel
⏱️12 minto finish
✏️1activities

📂 Correctness, Complexity & Quality🏷️ Complexity

🔒

You’ve finished your free lessons! 🎉

Create a free account to unlock every lesson, save your progress, keep your streak and get personal review suggestions. It takes 20 seconds.