SWE 619 Assignment 10
Fall 2017


Goal: Object class contracts.

As it happens, Liskov's implementation of clone() for the IntSet class (see figure 5.10, page 97) is wrong.