Add exhaustive test cases