Agenda
- Warm-up: Predict the Output — a binary search that misses
- Practise: Searching Practice — linear and binary, written from the specification
- The precondition: binary search on unsorted data is a bug that returns an answer
Things to do before our next class
- Finish the practice set.