property testing tool based on log