I just assumed they wrote a script to automatically generate all the setter/getter tests and then took a long lunch.