question: public static void addFailingTest ( ContractViolation violation ) { violationCount ++ ; if ( ! hasViolation ( violation ) ) { violations . add ( violation ) ; } }
target:  Keep track of a new observed contract violation