METHOD_0 ( ) { "<AssertPlaceHolder>" ; } METHOD_1 ( int ) { if ( IDENT_0 == 0 ) return 1 ; else if ( IDENT_0 == 1 ) return 1 ; else if ( IDENT_0 == 2 ) return 2 ; else if ( IDENT_0 == 3 ) return 4 ; int a = 1 ; int b = 2 ; int c = 4 ; int IDENT_1 = 0 ; for ( int i = 4 ; i <= IDENT_0 ; i ++ ) { IDENT_1 = ( a + b ) + c ; a = b ; b = c ; c = IDENT_1 ; } return IDENT_1 ; }
org . junit . Assert . assertEquals ( 4 , s . METHOD_1 ( 3 ) )