Is this it this: http://pixelscommander.com/wp-content/uploads/2014/12/P10.pdf http://pixelscommander.com/wp-content/uploads/2014/12/P10.pd...? If so it looks

Is this it this: http://pixelscommander.com/wp-content/uploads/2014/12/P10.pdf http://pixelscommander.com/wp-content/uploads/2014/12/P10.pd...? If so it looks like functions can't be more than 60 lines (rule #4), and that the "assertion density" (rule #5) must be two asserts per function.