METHOD_0 ( ) { boolean IDENT_0 = METHOD_1 ( INT_0 ) ; "<AssertPlaceHolder>" ; } METHOD_1 ( int ) { if ( ( n OP_0 2 ) == 0 ) { return false ; } else { for ( int i = 3 ; ( i * i ) <= n ; i += 2 ) { if ( ( n OP_0 i ) == 0 ) { return false ; } } } return true ; }
org . junit . Assert . assertTrue ( IDENT_0 )