hw4.test

Class SpecificationTests