used the prettytest library for the main test file