package humaneval.buggy;

/* Add two numbers x and y
>>> add(2, 3)
5
>>> add(5, 7)
12 */

public class ADD {
    public static int add(int x, int y) {
        return x | y;
    }
}

package humaneval;

import java.util.ArrayList;
import java.util.Arrays;

import java.util.List;
import java.util.HashMap;
public class TEST_ADD {
    @org.junit.Test(timeout = 1000)
    public void test_0() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, 1);
        org.junit.Assert.assertEquals(
            result, 1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_1() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, 0);
        org.junit.Assert.assertEquals(
            result, 1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_2() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, 3);
        org.junit.Assert.assertEquals(
            result, 5
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_3() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, 7);
        org.junit.Assert.assertEquals(
            result, 12
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_4() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(7, 5);
        org.junit.Assert.assertEquals(
            result, 12
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_5() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(480, 593);
        org.junit.Assert.assertEquals(
            result, 1073
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_6() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(139, 579);
        org.junit.Assert.assertEquals(
            result, 718
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_7() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(300, 77);
        org.junit.Assert.assertEquals(
            result, 377
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_8() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(569, 756);
        org.junit.Assert.assertEquals(
            result, 1325
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_9() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(911, 703);
        org.junit.Assert.assertEquals(
            result, 1614
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_10() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(197, 326);
        org.junit.Assert.assertEquals(
            result, 523
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_11() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(123, 102);
        org.junit.Assert.assertEquals(
            result, 225
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_12() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(671, 705);
        org.junit.Assert.assertEquals(
            result, 1376
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_13() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(101, 721);
        org.junit.Assert.assertEquals(
            result, 822
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_14() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(735, 413);
        org.junit.Assert.assertEquals(
            result, 1148
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_15() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(923, 369);
        org.junit.Assert.assertEquals(
            result, 1292
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_16() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(938, 221);
        org.junit.Assert.assertEquals(
            result, 1159
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_17() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(59, 772);
        org.junit.Assert.assertEquals(
            result, 831
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_18() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(540, 790);
        org.junit.Assert.assertEquals(
            result, 1330
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_19() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(244, 6);
        org.junit.Assert.assertEquals(
            result, 250
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_20() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(705, 148);
        org.junit.Assert.assertEquals(
            result, 853
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_21() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(890, 180);
        org.junit.Assert.assertEquals(
            result, 1070
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_22() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(342, 129);
        org.junit.Assert.assertEquals(
            result, 471
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_23() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(946, 559);
        org.junit.Assert.assertEquals(
            result, 1505
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_24() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(623, 593);
        org.junit.Assert.assertEquals(
            result, 1216
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_25() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(825, 294);
        org.junit.Assert.assertEquals(
            result, 1119
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_26() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(124, 732);
        org.junit.Assert.assertEquals(
            result, 856
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_27() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(333, 987);
        org.junit.Assert.assertEquals(
            result, 1320
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_28() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(269, 347);
        org.junit.Assert.assertEquals(
            result, 616
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_29() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(826, 822);
        org.junit.Assert.assertEquals(
            result, 1648
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_30() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(157, 479);
        org.junit.Assert.assertEquals(
            result, 636
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_31() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(534, 184);
        org.junit.Assert.assertEquals(
            result, 718
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_32() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(418, 549);
        org.junit.Assert.assertEquals(
            result, 967
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_33() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(855, 765);
        org.junit.Assert.assertEquals(
            result, 1620
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_34() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(666, 55);
        org.junit.Assert.assertEquals(
            result, 721
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_35() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(428, 315);
        org.junit.Assert.assertEquals(
            result, 743
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_36() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(704, 645);
        org.junit.Assert.assertEquals(
            result, 1349
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_37() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(183, 272);
        org.junit.Assert.assertEquals(
            result, 455
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_38() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(966, 528);
        org.junit.Assert.assertEquals(
            result, 1494
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_39() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(571, 697);
        org.junit.Assert.assertEquals(
            result, 1268
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_40() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(610, 541);
        org.junit.Assert.assertEquals(
            result, 1151
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_41() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(249, 665);
        org.junit.Assert.assertEquals(
            result, 914
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_42() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(452, 186);
        org.junit.Assert.assertEquals(
            result, 638
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_43() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(421, 529);
        org.junit.Assert.assertEquals(
            result, 950
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_44() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(860, 376);
        org.junit.Assert.assertEquals(
            result, 1236
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_45() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(172, 601);
        org.junit.Assert.assertEquals(
            result, 773
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_46() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(30, 177);
        org.junit.Assert.assertEquals(
            result, 207
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_47() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(35, 753);
        org.junit.Assert.assertEquals(
            result, 788
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_48() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(818, 902);
        org.junit.Assert.assertEquals(
            result, 1720
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_49() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(618, 175);
        org.junit.Assert.assertEquals(
            result, 793
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_50() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(165, 302);
        org.junit.Assert.assertEquals(
            result, 467
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_51() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(405, 836);
        org.junit.Assert.assertEquals(
            result, 1241
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_52() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(574, 555);
        org.junit.Assert.assertEquals(
            result, 1129
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_53() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(152, 343);
        org.junit.Assert.assertEquals(
            result, 495
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_54() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(882, 225);
        org.junit.Assert.assertEquals(
            result, 1107
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_55() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(670, 359);
        org.junit.Assert.assertEquals(
            result, 1029
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_56() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(480, 476);
        org.junit.Assert.assertEquals(
            result, 956
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_57() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(265, 822);
        org.junit.Assert.assertEquals(
            result, 1087
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_58() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(390, 904);
        org.junit.Assert.assertEquals(
            result, 1294
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_59() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(570, 503);
        org.junit.Assert.assertEquals(
            result, 1073
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_60() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(660, 18);
        org.junit.Assert.assertEquals(
            result, 678
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_61() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(457, 319);
        org.junit.Assert.assertEquals(
            result, 776
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_62() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(724, 18);
        org.junit.Assert.assertEquals(
            result, 742
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_63() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(469, 235);
        org.junit.Assert.assertEquals(
            result, 704
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_64() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(91, 322);
        org.junit.Assert.assertEquals(
            result, 413
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_65() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(91, 789);
        org.junit.Assert.assertEquals(
            result, 880
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_66() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(361, 945);
        org.junit.Assert.assertEquals(
            result, 1306
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_67() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(272, 952);
        org.junit.Assert.assertEquals(
            result, 1224
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_68() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(567, 768);
        org.junit.Assert.assertEquals(
            result, 1335
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_69() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(264, 478);
        org.junit.Assert.assertEquals(
            result, 742
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_70() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(57, 615);
        org.junit.Assert.assertEquals(
            result, 672
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_71() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(301, 553);
        org.junit.Assert.assertEquals(
            result, 854
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_72() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(191, 93);
        org.junit.Assert.assertEquals(
            result, 284
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_73() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(125, 119);
        org.junit.Assert.assertEquals(
            result, 244
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_74() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(528, 936);
        org.junit.Assert.assertEquals(
            result, 1464
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_75() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(314, 7);
        org.junit.Assert.assertEquals(
            result, 321
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_76() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(270, 420);
        org.junit.Assert.assertEquals(
            result, 690
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_77() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(25, 435);
        org.junit.Assert.assertEquals(
            result, 460
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_78() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(876, 389);
        org.junit.Assert.assertEquals(
            result, 1265
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_79() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(502, 653);
        org.junit.Assert.assertEquals(
            result, 1155
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_80() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(519, 807);
        org.junit.Assert.assertEquals(
            result, 1326
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_81() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(345, 523);
        org.junit.Assert.assertEquals(
            result, 868
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_82() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(473, 231);
        org.junit.Assert.assertEquals(
            result, 704
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_83() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(746, 105);
        org.junit.Assert.assertEquals(
            result, 851
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_84() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(18, 434);
        org.junit.Assert.assertEquals(
            result, 452
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_85() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(659, 191);
        org.junit.Assert.assertEquals(
            result, 850
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_86() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(855, 65);
        org.junit.Assert.assertEquals(
            result, 920
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_87() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(843, 872);
        org.junit.Assert.assertEquals(
            result, 1715
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_88() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(997, 59);
        org.junit.Assert.assertEquals(
            result, 1056
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_89() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(420, 134);
        org.junit.Assert.assertEquals(
            result, 554
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_90() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(950, 85);
        org.junit.Assert.assertEquals(
            result, 1035
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_91() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(223, 50);
        org.junit.Assert.assertEquals(
            result, 273
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_92() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(473, 244);
        org.junit.Assert.assertEquals(
            result, 717
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_93() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(994, 169);
        org.junit.Assert.assertEquals(
            result, 1163
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_94() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(287, 494);
        org.junit.Assert.assertEquals(
            result, 781
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_95() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(528, 830);
        org.junit.Assert.assertEquals(
            result, 1358
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_96() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(492, 739);
        org.junit.Assert.assertEquals(
            result, 1231
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_97() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(483, 198);
        org.junit.Assert.assertEquals(
            result, 681
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_98() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(228, 863);
        org.junit.Assert.assertEquals(
            result, 1091
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_99() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(345, 405);
        org.junit.Assert.assertEquals(
            result, 750
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_100() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(878, 86);
        org.junit.Assert.assertEquals(
            result, 964
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_101() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(841, 854);
        org.junit.Assert.assertEquals(
            result, 1695
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_102() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(950, 134);
        org.junit.Assert.assertEquals(
            result, 1084
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_103() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(550, 501);
        org.junit.Assert.assertEquals(
            result, 1051
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_104() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(371, 167);
        org.junit.Assert.assertEquals(
            result, 538
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_105() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, 3);
        org.junit.Assert.assertEquals(
            result, 1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_106() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, 0);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_107() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-5, -7);
        org.junit.Assert.assertEquals(
            result, -12
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_108() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10, -15);
        org.junit.Assert.assertEquals(
            result, -5
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_109() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999, 1);
        org.junit.Assert.assertEquals(
            result, 1000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_110() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, 10);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_111() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, -1000);
        org.junit.Assert.assertEquals(
            result, 9000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_112() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -1);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_113() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-5, 10);
        org.junit.Assert.assertEquals(
            result, 5
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_114() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, -250);
        org.junit.Assert.assertEquals(
            result, -350
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_115() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-250, -1);
        org.junit.Assert.assertEquals(
            result, -251
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_116() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1, -2);
        org.junit.Assert.assertEquals(
            result, -3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_117() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-6, -5);
        org.junit.Assert.assertEquals(
            result, -11
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_118() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-5, -8);
        org.junit.Assert.assertEquals(
            result, -13
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_119() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-15, -15);
        org.junit.Assert.assertEquals(
            result, -30
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_120() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-15, -250);
        org.junit.Assert.assertEquals(
            result, -265
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_121() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, -5);
        org.junit.Assert.assertEquals(
            result, -15
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_122() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, 1);
        org.junit.Assert.assertEquals(
            result, -9
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_123() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1, -1);
        org.junit.Assert.assertEquals(
            result, -2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_124() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, -2);
        org.junit.Assert.assertEquals(
            result, -4
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_125() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, -15);
        org.junit.Assert.assertEquals(
            result, 9985
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_126() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10, 10);
        org.junit.Assert.assertEquals(
            result, 20
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_127() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-15, -2);
        org.junit.Assert.assertEquals(
            result, -17
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_128() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-6, -6);
        org.junit.Assert.assertEquals(
            result, -12
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_129() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-6, -8);
        org.junit.Assert.assertEquals(
            result, -14
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_130() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, -16);
        org.junit.Assert.assertEquals(
            result, 9984
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_131() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000, 10);
        org.junit.Assert.assertEquals(
            result, -990
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_132() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-3, -2);
        org.junit.Assert.assertEquals(
            result, -5
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_133() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000, -251);
        org.junit.Assert.assertEquals(
            result, -1251
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_134() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, -1);
        org.junit.Assert.assertEquals(
            result, -1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_135() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-3, -3);
        org.junit.Assert.assertEquals(
            result, -6
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_136() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-15, -249);
        org.junit.Assert.assertEquals(
            result, -264
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_137() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, -2);
        org.junit.Assert.assertEquals(
            result, -2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_138() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(3, 3);
        org.junit.Assert.assertEquals(
            result, 6
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_139() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-5, -5);
        org.junit.Assert.assertEquals(
            result, -10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_140() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, 1);
        org.junit.Assert.assertEquals(
            result, 10001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_141() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-5, 1);
        org.junit.Assert.assertEquals(
            result, -4
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_142() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999, -2);
        org.junit.Assert.assertEquals(
            result, 997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_143() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, -250);
        org.junit.Assert.assertEquals(
            result, -260
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_144() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(3, -251);
        org.junit.Assert.assertEquals(
            result, -248
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_145() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-16, -249);
        org.junit.Assert.assertEquals(
            result, -265
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_146() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-7, -7);
        org.junit.Assert.assertEquals(
            result, -14
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_147() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9, -15);
        org.junit.Assert.assertEquals(
            result, -6
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_148() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, 10000);
        org.junit.Assert.assertEquals(
            result, 20000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_149() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -3);
        org.junit.Assert.assertEquals(
            result, -2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_150() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, -250);
        org.junit.Assert.assertEquals(
            result, -252
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_151() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1, 9);
        org.junit.Assert.assertEquals(
            result, 8
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_152() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -999);
        org.junit.Assert.assertEquals(
            result, -998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_153() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, -15);
        org.junit.Assert.assertEquals(
            result, -15
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_154() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-7, -15);
        org.junit.Assert.assertEquals(
            result, -22
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_155() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-5, -6);
        org.junit.Assert.assertEquals(
            result, -11
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_156() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1, -250);
        org.junit.Assert.assertEquals(
            result, -251
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_157() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, 999);
        org.junit.Assert.assertEquals(
            result, 10999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_158() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, -10);
        org.junit.Assert.assertEquals(
            result, -20
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_159() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1, -249);
        org.junit.Assert.assertEquals(
            result, -250
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_160() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-16, -16);
        org.junit.Assert.assertEquals(
            result, -32
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_161() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, -250);
        org.junit.Assert.assertEquals(
            result, -250
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_162() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -251);
        org.junit.Assert.assertEquals(
            result, -250
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_163() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-3, -100);
        org.junit.Assert.assertEquals(
            result, -103
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_164() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, -249);
        org.junit.Assert.assertEquals(
            result, -259
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_165() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-101, -251);
        org.junit.Assert.assertEquals(
            result, -352
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_166() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, -7);
        org.junit.Assert.assertEquals(
            result, 9993
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_167() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, 10000);
        org.junit.Assert.assertEquals(
            result, 10000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_168() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-998, 10);
        org.junit.Assert.assertEquals(
            result, -988
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_169() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-3, -1000);
        org.junit.Assert.assertEquals(
            result, -1003
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_170() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-101, -15);
        org.junit.Assert.assertEquals(
            result, -116
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_171() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-4, -100);
        org.junit.Assert.assertEquals(
            result, -104
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_172() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10001, 10000);
        org.junit.Assert.assertEquals(
            result, 20001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_173() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(8, -998);
        org.junit.Assert.assertEquals(
            result, -990
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_174() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000, -249);
        org.junit.Assert.assertEquals(
            result, -1249
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_175() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-4, 0);
        org.junit.Assert.assertEquals(
            result, -4
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_176() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, -100);
        org.junit.Assert.assertEquals(
            result, -200
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_177() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-101, -8);
        org.junit.Assert.assertEquals(
            result, -109
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_178() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-250, -250);
        org.junit.Assert.assertEquals(
            result, -500
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_179() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-249, -249);
        org.junit.Assert.assertEquals(
            result, -498
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_180() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-15, 1);
        org.junit.Assert.assertEquals(
            result, -14
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_181() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-249, -5);
        org.junit.Assert.assertEquals(
            result, -254
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_182() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, 3);
        org.junit.Assert.assertEquals(
            result, -97
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_183() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-5, 3);
        org.junit.Assert.assertEquals(
            result, -2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_184() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-101, 3);
        org.junit.Assert.assertEquals(
            result, -98
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_185() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-4, -5);
        org.junit.Assert.assertEquals(
            result, -9
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_186() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10, -13);
        org.junit.Assert.assertEquals(
            result, -3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_187() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000, 8);
        org.junit.Assert.assertEquals(
            result, -992
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_188() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-4, -4);
        org.junit.Assert.assertEquals(
            result, -8
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_189() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(8, 10000);
        org.junit.Assert.assertEquals(
            result, 10008
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_190() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, 10001);
        org.junit.Assert.assertEquals(
            result, 9999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_191() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9, -13);
        org.junit.Assert.assertEquals(
            result, -4
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_192() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-4, -2);
        org.junit.Assert.assertEquals(
            result, -6
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_193() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-249, -10);
        org.junit.Assert.assertEquals(
            result, -259
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_194() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, 10002);
        org.junit.Assert.assertEquals(
            result, 10002
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_195() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9, -10);
        org.junit.Assert.assertEquals(
            result, -1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_196() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, -999);
        org.junit.Assert.assertEquals(
            result, -997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_197() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10001, 10001);
        org.junit.Assert.assertEquals(
            result, 20002
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_198() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(8, -15);
        org.junit.Assert.assertEquals(
            result, -7
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_199() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10, 1);
        org.junit.Assert.assertEquals(
            result, 11
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_200() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-3, 0);
        org.junit.Assert.assertEquals(
            result, -3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_201() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-13, -15);
        org.junit.Assert.assertEquals(
            result, -28
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_202() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1001, -1000);
        org.junit.Assert.assertEquals(
            result, -2001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_203() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, -101);
        org.junit.Assert.assertEquals(
            result, -201
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_204() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(8, -249);
        org.junit.Assert.assertEquals(
            result, -241
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_209() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, 5);
        org.junit.Assert.assertEquals(
            result, -5
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_210() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, -99);
        org.junit.Assert.assertEquals(
            result, -198
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_211() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, -9999);
        org.junit.Assert.assertEquals(
            result, 1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_212() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, 1000);
        org.junit.Assert.assertEquals(
            result, 900
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_213() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, -999999);
        org.junit.Assert.assertEquals(
            result, 1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_214() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, -10000);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_218() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999998, 999999);
        org.junit.Assert.assertEquals(
            result, 1999997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_219() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999998, 999998);
        org.junit.Assert.assertEquals(
            result, 1999996
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_227() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -9999);
        org.junit.Assert.assertEquals(
            result, -19998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_228() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, 999998);
        org.junit.Assert.assertEquals(
            result, 999998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_229() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -99);
        org.junit.Assert.assertEquals(
            result, -10098
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_235() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000, 1000);
        org.junit.Assert.assertEquals(
            result, 2000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_241() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10000, -99);
        org.junit.Assert.assertEquals(
            result, -10099
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_244() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999999, 999999);
        org.junit.Assert.assertEquals(
            result, 1999998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_249() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999998, 999997);
        org.junit.Assert.assertEquals(
            result, 1999995
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_250() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999997, 999998);
        org.junit.Assert.assertEquals(
            result, 1999995
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_255() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, -99);
        org.junit.Assert.assertEquals(
            result, -99
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_256() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1001, 1002);
        org.junit.Assert.assertEquals(
            result, 2003
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_261() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, 1000000);
        org.junit.Assert.assertEquals(
            result, 2000000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_264() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999999, 999998);
        org.junit.Assert.assertEquals(
            result, 1999997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_267() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, -100);
        org.junit.Assert.assertEquals(
            result, -100
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_275() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999998, -9999);
        org.junit.Assert.assertEquals(
            result, 989999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_276() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, -1000000);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_284() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9998, -10000);
        org.junit.Assert.assertEquals(
            result, -2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_285() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -999997);
        org.junit.Assert.assertEquals(
            result, -1009996
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_286() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, -999998);
        org.junit.Assert.assertEquals(
            result, 2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_287() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999997, 999997);
        org.junit.Assert.assertEquals(
            result, 1999994
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_291() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999997, 999999);
        org.junit.Assert.assertEquals(
            result, 1999996
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_294() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9998, 9998);
        org.junit.Assert.assertEquals(
            result, 19996
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_295() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10000, -10000);
        org.junit.Assert.assertEquals(
            result, -20000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_296() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, 5);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_299() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10002, 10001);
        org.junit.Assert.assertEquals(
            result, 20003
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_302() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000, -999997);
        org.junit.Assert.assertEquals(
            result, -998997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_304() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, 10001);
        org.junit.Assert.assertEquals(
            result, 2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_305() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -10001);
        org.junit.Assert.assertEquals(
            result, -20000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_308() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, -98);
        org.junit.Assert.assertEquals(
            result, -1000096
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_309() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999997, -9999);
        org.junit.Assert.assertEquals(
            result, 989998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_324() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10000, -999998);
        org.junit.Assert.assertEquals(
            result, -1009998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_327() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10002, 5);
        org.junit.Assert.assertEquals(
            result, 10007
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_329() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10001, 999998);
        org.junit.Assert.assertEquals(
            result, 1009999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_330() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999997, 1000000);
        org.junit.Assert.assertEquals(
            result, 1999997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_334() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, 10001);
        org.junit.Assert.assertEquals(
            result, 1010001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_339() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(7, -999997);
        org.junit.Assert.assertEquals(
            result, -999990
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_340() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, 1000);
        org.junit.Assert.assertEquals(
            result, 1005
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_343() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, -999999);
        org.junit.Assert.assertEquals(
            result, -1000097
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_344() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9, -10);
        org.junit.Assert.assertEquals(
            result, -19
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_345() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999998, 999996);
        org.junit.Assert.assertEquals(
            result, 1999994
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_346() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, 9999);
        org.junit.Assert.assertEquals(
            result, -989999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_347() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, -999999);
        org.junit.Assert.assertEquals(
            result, -1999997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_351() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -10000);
        org.junit.Assert.assertEquals(
            result, -19999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_354() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999996, -999996);
        org.junit.Assert.assertEquals(
            result, -1999992
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_355() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999998, -999996);
        org.junit.Assert.assertEquals(
            result, 2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_358() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999998, 1002);
        org.junit.Assert.assertEquals(
            result, 1001000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_359() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999997, -10000);
        org.junit.Assert.assertEquals(
            result, -1009997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_362() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, 10000);
        org.junit.Assert.assertEquals(
            result, 9900
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_376() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10001, 9997);
        org.junit.Assert.assertEquals(
            result, 19998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_377() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10000, -999999);
        org.junit.Assert.assertEquals(
            result, -1009999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_379() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1002, 1002);
        org.junit.Assert.assertEquals(
            result, 2004
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_381() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, -99);
        org.junit.Assert.assertEquals(
            result, -199
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_382() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, 1000);
        org.junit.Assert.assertEquals(
            result, 901
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_385() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(4, 4);
        org.junit.Assert.assertEquals(
            result, 8
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_387() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10002, 10002);
        org.junit.Assert.assertEquals(
            result, 20004
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_388() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000001, -10001);
        org.junit.Assert.assertEquals(
            result, 990000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_389() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, -999998);
        org.junit.Assert.assertEquals(
            result, -1999996
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_393() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, 6);
        org.junit.Assert.assertEquals(
            result, -94
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_394() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9999, 9999);
        org.junit.Assert.assertEquals(
            result, 19998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_396() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1001, 999998);
        org.junit.Assert.assertEquals(
            result, 1000999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_403() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10001, -999999);
        org.junit.Assert.assertEquals(
            result, -1010000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_410() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999997, -1000000);
        org.junit.Assert.assertEquals(
            result, -1999997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_414() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, 5);
        org.junit.Assert.assertEquals(
            result, 1000005
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_426() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, -9999);
        org.junit.Assert.assertEquals(
            result, -1009997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_434() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999998, 1001);
        org.junit.Assert.assertEquals(
            result, 1000999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_436() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10003, 10001);
        org.junit.Assert.assertEquals(
            result, 20004
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_445() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, -98);
        org.junit.Assert.assertEquals(
            result, -197
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_447() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000000, -999999);
        org.junit.Assert.assertEquals(
            result, -1999999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_450() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10003, 5);
        org.junit.Assert.assertEquals(
            result, 10008
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_456() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-97, -98);
        org.junit.Assert.assertEquals(
            result, -195
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_460() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1001, -999996);
        org.junit.Assert.assertEquals(
            result, -998995
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_461() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, -10);
        org.junit.Assert.assertEquals(
            result, -109
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_462() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -999999);
        org.junit.Assert.assertEquals(
            result, -1999998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_467() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(3, 4);
        org.junit.Assert.assertEquals(
            result, 7
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_470() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-97, 10001);
        org.junit.Assert.assertEquals(
            result, 9904
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_475() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999997, -999996);
        org.junit.Assert.assertEquals(
            result, -1999993
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_478() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999997, 1001);
        org.junit.Assert.assertEquals(
            result, 1000998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_480() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000001, -999998);
        org.junit.Assert.assertEquals(
            result, -1999999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_482() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10001, -9999);
        org.junit.Assert.assertEquals(
            result, -20000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_483() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000001, 1000001);
        org.junit.Assert.assertEquals(
            result, 2000002
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_484() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10001, 10002);
        org.junit.Assert.assertEquals(
            result, 20003
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_489() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1002, -9999);
        org.junit.Assert.assertEquals(
            result, -8997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_490() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999996, 999997);
        org.junit.Assert.assertEquals(
            result, 1999993
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_494() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9997, -999999);
        org.junit.Assert.assertEquals(
            result, -990002
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_502() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000002, -999999);
        org.junit.Assert.assertEquals(
            result, -2000001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_508() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, 1000001);
        org.junit.Assert.assertEquals(
            result, 999903
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_513() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000, 1001);
        org.junit.Assert.assertEquals(
            result, 2001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_515() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10001, -1000002);
        org.junit.Assert.assertEquals(
            result, -1010003
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_517() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9, 10000);
        org.junit.Assert.assertEquals(
            result, 9991
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_518() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -1000002);
        org.junit.Assert.assertEquals(
            result, -2000001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_525() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-97, -99);
        org.junit.Assert.assertEquals(
            result, -196
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_526() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, -100);
        org.junit.Assert.assertEquals(
            result, -199
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_530() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10002, 10003);
        org.junit.Assert.assertEquals(
            result, 20005
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_533() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9997, 9997);
        org.junit.Assert.assertEquals(
            result, 19994
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_534() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999995, 999996);
        org.junit.Assert.assertEquals(
            result, 1999991
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_536() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000001, -1000002);
        org.junit.Assert.assertEquals(
            result, -2000003
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_538() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, -999998);
        org.junit.Assert.assertEquals(
            result, -1000096
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_543() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000002, 1000001);
        org.junit.Assert.assertEquals(
            result, 2000003
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_548() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10003, 10003);
        org.junit.Assert.assertEquals(
            result, 20006
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_552() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000, -100);
        org.junit.Assert.assertEquals(
            result, 900
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_561() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10000, -9999);
        org.junit.Assert.assertEquals(
            result, -19999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_568() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, 1001);
        org.junit.Assert.assertEquals(
            result, 1001001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_575() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -97);
        org.junit.Assert.assertEquals(
            result, -10096
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_578() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10003, 10002);
        org.junit.Assert.assertEquals(
            result, 20005
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_579() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10001, 999999);
        org.junit.Assert.assertEquals(
            result, 1010000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_581() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1002, 0);
        org.junit.Assert.assertEquals(
            result, 1002
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_583() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000001, 1000000);
        org.junit.Assert.assertEquals(
            result, 2000001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_584() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, -99);
        org.junit.Assert.assertEquals(
            result, -197
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_585() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1, 1);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_588() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-5, 7);
        org.junit.Assert.assertEquals(
            result, 2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_589() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-68, -577);
        org.junit.Assert.assertEquals(
            result, -645
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_590() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, -10);
        org.junit.Assert.assertEquals(
            result, -10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_591() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000000, 0);
        org.junit.Assert.assertEquals(
            result, -1000000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_592() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9, -999999);
        org.junit.Assert.assertEquals(
            result, -1000008
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_599() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, 1);
        org.junit.Assert.assertEquals(
            result, 2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_602() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, 0);
        org.junit.Assert.assertEquals(
            result, -2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_603() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, -9);
        org.junit.Assert.assertEquals(
            result, -19
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_606() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-8, -10);
        org.junit.Assert.assertEquals(
            result, -18
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_607() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, -97);
        org.junit.Assert.assertEquals(
            result, -1000095
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_608() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -9999);
        org.junit.Assert.assertEquals(
            result, -1009998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_609() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -9);
        org.junit.Assert.assertEquals(
            result, -1000008
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_610() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-97, -999998);
        org.junit.Assert.assertEquals(
            result, -1000095
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_611() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9998, -9999);
        org.junit.Assert.assertEquals(
            result, -19997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_613() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-8, -8);
        org.junit.Assert.assertEquals(
            result, -16
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_620() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, 2);
        org.junit.Assert.assertEquals(
            result, 101
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_621() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -2);
        org.junit.Assert.assertEquals(
            result, -10001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_622() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-97, -1000000);
        org.junit.Assert.assertEquals(
            result, -1000097
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_623() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, -97);
        org.junit.Assert.assertEquals(
            result, -195
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_624() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, 0);
        org.junit.Assert.assertEquals(
            result, 5
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_625() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -9999);
        org.junit.Assert.assertEquals(
            result, -9998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_626() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, -9);
        org.junit.Assert.assertEquals(
            result, -1000007
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_631() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, -1000000);
        org.junit.Assert.assertEquals(
            result, -990000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_632() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9, 9999);
        org.junit.Assert.assertEquals(
            result, 9990
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_633() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9998, 1000);
        org.junit.Assert.assertEquals(
            result, -8998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_634() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, -1);
        org.junit.Assert.assertEquals(
            result, -100
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_635() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, -999999);
        org.junit.Assert.assertEquals(
            result, -989999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_636() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9, -9);
        org.junit.Assert.assertEquals(
            result, -18
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_638() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-97, -97);
        org.junit.Assert.assertEquals(
            result, -194
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_641() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, -1000000);
        org.junit.Assert.assertEquals(
            result, -1000002
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_643() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, -2);
        org.junit.Assert.assertEquals(
            result, -101
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_647() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -9998);
        org.junit.Assert.assertEquals(
            result, -19997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_648() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, -999999);
        org.junit.Assert.assertEquals(
            result, -1000001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_650() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, -1000000);
        org.junit.Assert.assertEquals(
            result, -999995
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_652() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000, 9999);
        org.junit.Assert.assertEquals(
            result, 10999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_657() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, -8);
        org.junit.Assert.assertEquals(
            result, -6
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_659() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, -1000000);
        org.junit.Assert.assertEquals(
            result, -999901
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_661() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, -100);
        org.junit.Assert.assertEquals(
            result, 999900
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_662() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, -10);
        org.junit.Assert.assertEquals(
            result, -1000008
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_664() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000001, -97);
        org.junit.Assert.assertEquals(
            result, 999904
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_665() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -99);
        org.junit.Assert.assertEquals(
            result, -98
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_668() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, 1000000);
        org.junit.Assert.assertEquals(
            result, 999901
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_669() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, 9999);
        org.junit.Assert.assertEquals(
            result, 9989
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_670() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, 1);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_671() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, -10);
        org.junit.Assert.assertEquals(
            result, -12
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_672() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-8, -9999);
        org.junit.Assert.assertEquals(
            result, -10007
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_673() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000000, -1000000);
        org.junit.Assert.assertEquals(
            result, -2000000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_675() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000001, -999998);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_676() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, -100);
        org.junit.Assert.assertEquals(
            result, -95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_679() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(4, 5);
        org.junit.Assert.assertEquals(
            result, 9
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_680() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-101, 1000);
        org.junit.Assert.assertEquals(
            result, 899
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_681() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-11, -10);
        org.junit.Assert.assertEquals(
            result, -21
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_682() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, 1000000);
        org.junit.Assert.assertEquals(
            result, 1000005
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_685() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9999, -8);
        org.junit.Assert.assertEquals(
            result, -10007
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_686() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, -98);
        org.junit.Assert.assertEquals(
            result, -196
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_688() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000000, -9999);
        org.junit.Assert.assertEquals(
            result, -1009999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_689() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, 0);
        org.junit.Assert.assertEquals(
            result, -99
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_690() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9, -11);
        org.junit.Assert.assertEquals(
            result, -20
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_693() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9998, 9999);
        org.junit.Assert.assertEquals(
            result, 19997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_695() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, -97);
        org.junit.Assert.assertEquals(
            result, -107
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_696() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, 99);
        org.junit.Assert.assertEquals(
            result, 198
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_697() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(0, 9998);
        org.junit.Assert.assertEquals(
            result, 9998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_699() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-103, 1000);
        org.junit.Assert.assertEquals(
            result, 897
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_704() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, 1);
        org.junit.Assert.assertEquals(
            result, -1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_707() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -11);
        org.junit.Assert.assertEquals(
            result, -1000010
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_708() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-101, -9);
        org.junit.Assert.assertEquals(
            result, -110
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_710() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, -1);
        org.junit.Assert.assertEquals(
            result, -101
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_712() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000001, -2);
        org.junit.Assert.assertEquals(
            result, 999999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_715() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999996, -999995);
        org.junit.Assert.assertEquals(
            result, -1999991
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_716() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, -9);
        org.junit.Assert.assertEquals(
            result, -107
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_717() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9999, -10);
        org.junit.Assert.assertEquals(
            result, 9989
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_718() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1, 0);
        org.junit.Assert.assertEquals(
            result, -1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_720() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, -99);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_721() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999997, -10);
        org.junit.Assert.assertEquals(
            result, -1000007
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_726() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -10000);
        org.junit.Assert.assertEquals(
            result, -1009999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_727() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999997, 1000001);
        org.junit.Assert.assertEquals(
            result, 4
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_728() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, -102);
        org.junit.Assert.assertEquals(
            result, -104
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_729() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000001, -98);
        org.junit.Assert.assertEquals(
            result, 999903
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_730() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, 1);
        org.junit.Assert.assertEquals(
            result, -98
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_731() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(66, 2);
        org.junit.Assert.assertEquals(
            result, 68
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_732() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, -1000000);
        org.junit.Assert.assertEquals(
            result, -1000098
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_733() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-97, -999997);
        org.junit.Assert.assertEquals(
            result, -1000094
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_734() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000000, -10000);
        org.junit.Assert.assertEquals(
            result, -1010000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_737() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, 2);
        org.junit.Assert.assertEquals(
            result, 4
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_738() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000001, -11);
        org.junit.Assert.assertEquals(
            result, 999990
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_741() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9997, 1000);
        org.junit.Assert.assertEquals(
            result, -8997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_742() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(69, 70);
        org.junit.Assert.assertEquals(
            result, 139
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_749() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, -103);
        org.junit.Assert.assertEquals(
            result, -105
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_752() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(4, -98);
        org.junit.Assert.assertEquals(
            result, -94
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_755() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(10000, 9999);
        org.junit.Assert.assertEquals(
            result, 19999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_758() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(71, 71);
        org.junit.Assert.assertEquals(
            result, 142
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_759() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, -9999);
        org.junit.Assert.assertEquals(
            result, -9900
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_760() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -10);
        org.junit.Assert.assertEquals(
            result, -1000009
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_764() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -999999);
        org.junit.Assert.assertEquals(
            result, -999998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_767() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, 4);
        org.junit.Assert.assertEquals(
            result, 6
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_768() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-96, -97);
        org.junit.Assert.assertEquals(
            result, -193
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_769() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999997, -98);
        org.junit.Assert.assertEquals(
            result, -1000095
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_771() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, 98);
        org.junit.Assert.assertEquals(
            result, 197
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_772() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(70, -999999);
        org.junit.Assert.assertEquals(
            result, -999929
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_773() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999999, -100);
        org.junit.Assert.assertEquals(
            result, 999899
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_776() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-11, -2);
        org.junit.Assert.assertEquals(
            result, -13
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_777() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-98, -96);
        org.junit.Assert.assertEquals(
            result, -194
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_778() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1, -101);
        org.junit.Assert.assertEquals(
            result, -102
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_779() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9997, -1000000);
        org.junit.Assert.assertEquals(
            result, -1009997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_780() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, -10000);
        org.junit.Assert.assertEquals(
            result, -9901
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_782() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -1000000);
        org.junit.Assert.assertEquals(
            result, -1999999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_785() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-101, -101);
        org.junit.Assert.assertEquals(
            result, -202
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_789() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-103, -103);
        org.junit.Assert.assertEquals(
            result, -206
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_792() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, -999997);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_793() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(66, 66);
        org.junit.Assert.assertEquals(
            result, 132
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_797() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, -8);
        org.junit.Assert.assertEquals(
            result, -1000006
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_801() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(67, -99);
        org.junit.Assert.assertEquals(
            result, -32
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_804() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, 4);
        org.junit.Assert.assertEquals(
            result, 2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_806() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, 9999);
        org.junit.Assert.assertEquals(
            result, 9900
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_813() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, 10000);
        org.junit.Assert.assertEquals(
            result, 10099
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_814() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, 9998);
        org.junit.Assert.assertEquals(
            result, 9898
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_817() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(100, -999999);
        org.junit.Assert.assertEquals(
            result, -999899
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_818() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9998, 999);
        org.junit.Assert.assertEquals(
            result, -8999
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_819() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9996, -10);
        org.junit.Assert.assertEquals(
            result, -10006
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_820() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(6, 1);
        org.junit.Assert.assertEquals(
            result, 7
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_824() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, -9996);
        org.junit.Assert.assertEquals(
            result, -9991
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_826() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-8, -999998);
        org.junit.Assert.assertEquals(
            result, -1000006
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_827() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-11, -999996);
        org.junit.Assert.assertEquals(
            result, -1000007
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_828() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, -2);
        org.junit.Assert.assertEquals(
            result, -12
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_830() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(5, -3);
        org.junit.Assert.assertEquals(
            result, 2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_831() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10, -100);
        org.junit.Assert.assertEquals(
            result, -110
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_833() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000, -9);
        org.junit.Assert.assertEquals(
            result, 991
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_834() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9997, -9998);
        org.junit.Assert.assertEquals(
            result, -19995
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_835() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10001, 70);
        org.junit.Assert.assertEquals(
            result, -9931
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_837() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-2, -1);
        org.junit.Assert.assertEquals(
            result, -3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_839() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(69, 69);
        org.junit.Assert.assertEquals(
            result, 138
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_840() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(69, 99);
        org.junit.Assert.assertEquals(
            result, 168
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_843() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, -2);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_844() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-8, -3);
        org.junit.Assert.assertEquals(
            result, -11
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_845() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, -9999);
        org.junit.Assert.assertEquals(
            result, -10098
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_846() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -2);
        org.junit.Assert.assertEquals(
            result, -1
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_848() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9999, -11);
        org.junit.Assert.assertEquals(
            result, 9988
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_849() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(70, 70);
        org.junit.Assert.assertEquals(
            result, 140
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_850() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(70, 999);
        org.junit.Assert.assertEquals(
            result, 1069
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_851() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000000, 0);
        org.junit.Assert.assertEquals(
            result, 1000000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_853() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000000, -999998);
        org.junit.Assert.assertEquals(
            result, -1999998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_854() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, 66);
        org.junit.Assert.assertEquals(
            result, -34
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_856() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9998, -9997);
        org.junit.Assert.assertEquals(
            result, -19995
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_857() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(98, 98);
        org.junit.Assert.assertEquals(
            result, 196
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_858() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, 99);
        org.junit.Assert.assertEquals(
            result, -999899
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_860() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, 10001);
        org.junit.Assert.assertEquals(
            result, 10100
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_861() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(4, 1000);
        org.junit.Assert.assertEquals(
            result, 1004
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_864() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(97, 1);
        org.junit.Assert.assertEquals(
            result, 98
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_866() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10002, 5);
        org.junit.Assert.assertEquals(
            result, -9997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_868() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1000, 5);
        org.junit.Assert.assertEquals(
            result, 1005
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_872() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9998, -9998);
        org.junit.Assert.assertEquals(
            result, -19996
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_874() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10000, -9);
        org.junit.Assert.assertEquals(
            result, -10009
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_875() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(97, 96);
        org.junit.Assert.assertEquals(
            result, 193
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_877() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, 97);
        org.junit.Assert.assertEquals(
            result, 99
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_881() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(6, 6);
        org.junit.Assert.assertEquals(
            result, 12
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_883() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999995, -999995);
        org.junit.Assert.assertEquals(
            result, -1999990
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_888() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, 1);
        org.junit.Assert.assertEquals(
            result, -99
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_889() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-96, 70);
        org.junit.Assert.assertEquals(
            result, -26
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_892() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999997, -8);
        org.junit.Assert.assertEquals(
            result, -1000005
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_894() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(1, -9);
        org.junit.Assert.assertEquals(
            result, -8
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_895() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(67, 67);
        org.junit.Assert.assertEquals(
            result, 134
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_896() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-3, 1000001);
        org.junit.Assert.assertEquals(
            result, 999998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_897() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(69, 98);
        org.junit.Assert.assertEquals(
            result, 167
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_900() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999998, 1000);
        org.junit.Assert.assertEquals(
            result, -998998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_901() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-96, -999998);
        org.junit.Assert.assertEquals(
            result, -1000094
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_906() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000000, -1000001);
        org.junit.Assert.assertEquals(
            result, -2000001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_907() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, 96);
        org.junit.Assert.assertEquals(
            result, -4
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_908() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(66, -9996);
        org.junit.Assert.assertEquals(
            result, -9930
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_909() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999997, 9999);
        org.junit.Assert.assertEquals(
            result, -989998
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_911() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, -10001);
        org.junit.Assert.assertEquals(
            result, -9902
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_915() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-11, -9);
        org.junit.Assert.assertEquals(
            result, -20
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_917() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9, -98);
        org.junit.Assert.assertEquals(
            result, -107
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_918() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10001, 1000);
        org.junit.Assert.assertEquals(
            result, -9001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_921() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-999999, -1);
        org.junit.Assert.assertEquals(
            result, -1000000
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_924() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-12, -12);
        org.junit.Assert.assertEquals(
            result, -24
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_926() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, -9999);
        org.junit.Assert.assertEquals(
            result, -10099
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_927() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(97, -10);
        org.junit.Assert.assertEquals(
            result, 87
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_929() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-100, -9997);
        org.junit.Assert.assertEquals(
            result, -10097
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_931() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9998, -98);
        org.junit.Assert.assertEquals(
            result, 9900
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_934() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(2, -999997);
        org.junit.Assert.assertEquals(
            result, -999995
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_936() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-9996, -1000001);
        org.junit.Assert.assertEquals(
            result, -1009997
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_937() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(3, -101);
        org.junit.Assert.assertEquals(
            result, -98
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_940() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-11, 2);
        org.junit.Assert.assertEquals(
            result, -9
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_941() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-10001, -10000);
        org.junit.Assert.assertEquals(
            result, -20001
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_943() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-1000000, -101);
        org.junit.Assert.assertEquals(
            result, -1000101
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_944() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, -9998);
        org.junit.Assert.assertEquals(
            result, -9899
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_945() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-11, -11);
        org.junit.Assert.assertEquals(
            result, -22
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_951() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(4, -999996);
        org.junit.Assert.assertEquals(
            result, -999992
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_954() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(99, 100);
        org.junit.Assert.assertEquals(
            result, 199
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_955() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(-99, -9996);
        org.junit.Assert.assertEquals(
            result, -10095
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_956() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(998, -10002);
        org.junit.Assert.assertEquals(
            result, -9004
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_961() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(9998, -100);
        org.junit.Assert.assertEquals(
            result, 9898
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_962() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(4, 2);
        org.junit.Assert.assertEquals(
            result, 6
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_964() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(97, -999999);
        org.junit.Assert.assertEquals(
            result, -999902
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_966() throws java.lang.Exception {
        int result = humaneval.buggy.ADD.add(999, -1000000);
        org.junit.Assert.assertEquals(
            result, -999001
        );
    }
}