The tests are done; all assertions added for known cases