Miniassignment 3

Assignment spec

SpecChecker

Sample code