PropertyTestcase
PropertyTestcase::PropertyTestcase(std::string name) :
PropertyTestcase::~PropertyTestcase()