Update how-to-test-a-property.md#232

dappconsulting wants to merge 1 commit intocrytic:mastercrytic/building-secure-contracts:masterfrom

dappconsulting:patch-1dappconsulting/building-secure-contracts:patch-1Copy head branch name to clipboard