hw3.test

Class SpecificationTests