Update property tests