def verifySDRProperties(self):
<EOL>self.assertTrue(_areAllSDRsUnique(self.lastSDR), "<STR_LIT>")<EOL>self.assertGreater(_computeOverlap(self.lastSDR[<NUM_LIT:0>], self.lastSDR[<NUM_LIT:1>]), <NUM_LIT:9>,<EOL>"<STR_LIT>")<EOL>for i in [<NUM_LIT:2>, <NUM_LIT:3>, <NUM_LIT:4>]:<EOL><INDENT>for j in range(<NUM_LIT:5>):<EOL><INDENT>if (i!=j):<EOL><INDENT>self.assertLess(_computeOverlap(self.lastSDR[i], self.lastSDR[j]),<EOL><NUM_LIT>, "<STR_LIT>")<EOL><DEDENT><DEDENT><DEDENT>
Verify that all SDRs have the properties desired for this test.

The bounds for checking overlap are set fairly loosely here since there is
some variance due to randomness and the artificial parameters used in this
test.