METHOD_0 ( ) { org . IDENT_0 . IDENT_1 IDENT_2 = new org . IDENT_0 . METHOD_1 ( ) ; for ( int k = 0 ; k < 1000 ; ++ k ) { IDENT_2 . add ( ( INT_0 * k ) ) ; } for ( int k = 0 ; k < ( INT_0 * 1000 ) ; ++ k ) { "<AssertPlaceHolder>" ; } } contains ( int ) { throw new java . lang . METHOD_2 ( STRING_0 ) ; }
org . junit . Assert . assertTrue ( ( ( IDENT_2 . contains ( k ) ) == ( ( ( k / INT_0 ) * INT_0 ) == k ) ) )