Assignment 2

Assignment spec

SpecChecker

Sample code