METHOD_0 ( ) { int [ ] IDENT_0 = new int [ ] { Integer . IDENT_1 , ( Integer . IDENT_1 ) + 1 , ( Integer . IDENT_1 ) + 2 , Integer . MAX_VALUE , ( Integer . MAX_VALUE ) - 1 , ( Integer . MAX_VALUE ) - 2 , - 10 , - 9 , - 8 , - 7 , - 6 , - 5 , - 4 , - 3 , - 2 , - 1 , 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , ( - 1 ) - ( ( Integer . IDENT_1 ) / 2 ) , 0 - ( ( Integer . IDENT_1 ) / 2 ) , 1 - ( ( Integer . IDENT_1 ) / 2 ) , ( - 1 ) + ( ( Integer . MAX_VALUE ) / 2 ) , 0 + ( ( Integer . MAX_VALUE ) / 2 ) , 1 + ( ( Integer . MAX_VALUE ) / 2 ) } ; for ( int a : IDENT_0 ) { for ( int b : IDENT_0 ) { java . math . BigInteger IDENT_2 = java . math . BigInteger . valueOf ( a ) ; java . math . BigInteger IDENT_3 = java . math . BigInteger . valueOf ( b ) ; java . math . BigInteger IDENT_4 = IDENT_2 . METHOD_1 ( IDENT_3 ) ; if ( ( ( IDENT_4 . compareTo ( java . math . BigInteger . valueOf ( Integer . IDENT_1 ) ) ) < 0 ) || ( ( IDENT_4 . compareTo ( java . math . BigInteger . valueOf ( Integer . MAX_VALUE ) ) ) > 0 ) ) { try { org . apache . commons . math4 . util . IDENT_5 . METHOD_2 ( a , b ) ; org . junit . Assert . fail ( STRING_0 ) ; } catch ( org . apache . commons . math4 . exception . IDENT_6 IDENT_7 ) { } } else { "<AssertPlaceHolder>" ; } } } } METHOD_2 ( int , int ) { final int IDENT_8 = a - b ; if ( ( ( a OP_0 b ) < 0 ) && ( ( IDENT_8 OP_0 b ) >= 0 ) ) { throw new org . apache . commons . math4 . exception . METHOD_3 ( org . apache . commons . math4 . exception . util . IDENT_9 . IDENT_10 , a , b ) ; } return IDENT_8 ; }
org . junit . Assert . assertEquals ( IDENT_4 , java . math . BigInteger . valueOf ( org . apache . commons . math4 . util . IDENT_5 . METHOD_2 ( a , b ) ) )