Skip to content

Latest commit

 

History

History
13 lines (10 loc) · 358 Bytes

README.md

File metadata and controls

13 lines (10 loc) · 358 Bytes

black-box-testing

Repo for Lab 2 in DD2459 - Software Reliability

1

Condensation graph for binary search

2

The pre- and postconditions for each function are written in the source file Exercises.java.

3

The programs are implemented in the source file Exercies.java.

4

See submitted report.