# # Properties for test cases. #