Quickcheck Assignment

Work with the ScalaCheck library for automated specification-based
testing