Test file for assertions