1,295
edits
| Line 47: | Line 47: | ||
Requirement 2 is satisfied since the dirty rect is only used to constrain the filled area, and only when filtering does not occur. Requirements 3, 4, 5, 6 and 7 are satisfied by construction. | Requirement 2 is satisfied since the dirty rect is only used to constrain the filled area, and only when filtering does not occur. Requirements 3, 4, 5, 6 and 7 are satisfied by construction. | ||
=== Requirement 8 === | |||
Requirement 8 is difficult to prove. | Requirement 8 is difficult to prove. | ||
edits