The main branch of stellar-goal-vault does not contain the path contracts/PROPERTY_TESTS_VERIFICATION.md.