/** @title Arguments = 0, 0 */
public void testB5() {
T_add_int_1 t = new T_add_int_1();
assertEquals(0, t.run(0, 0));
}
/** @title Arguments = Integer.MIN_VALUE, Integer.MIN_VALUE */
public void testB6() {
T_add_int_1 t = new T_add_int_1();
assertEquals(0, t.run(Integer.MIN_VALUE, Integer.MIN_VALUE));
}
/** @title Arguments = Integer.MAX_VALUE, 1 */
public void testB3() {
T_add_int_1 t = new T_add_int_1();
assertEquals(Integer.MIN_VALUE, t.run(Integer.MAX_VALUE, 1));
}
/** @title Arguments = Integer.MIN_VALUE, 1 */
public void testB4() {
T_add_int_1 t = new T_add_int_1();
assertEquals(-2147483647, t.run(Integer.MIN_VALUE, 1));
}
/** @title Arguments = -1, 1 */
public void testN6() {
T_add_int_1 t = new T_add_int_1();
assertEquals(0, t.run(-1, 1));
}
/** @title Arguments = Integer.MAX_VALUE, Integer.MAX_VALUE */
public void testB2() {
T_add_int_1 t = new T_add_int_1();
assertEquals(-2, t.run(Integer.MAX_VALUE, Integer.MAX_VALUE));
}
/** @title Arguments = 0x7ffffffe, 2 */
public void testN5() {
T_add_int_1 t = new T_add_int_1();
assertEquals(-2147483648, t.run(0x7ffffffe, 2));
}
/** @title Arguments = 0, -2147483647 */
public void testN4() {
T_add_int_1 t = new T_add_int_1();
assertEquals(-2147483647, t.run(0, -2147483647));
}
/** @title Arguments = 0, -65536 */
public void testN3() {
T_add_int_1 t = new T_add_int_1();
assertEquals(-65536, t.run(0, -65536));
}
/** @title Arguments = 0, 255 */
public void testN2() {
T_add_int_1 t = new T_add_int_1();
assertEquals(255, t.run(0, 255));
}
/** @title Arguments = 8, 4 */
public void testN1() {
T_add_int_1 t = new T_add_int_1();
assertEquals(12, t.run(8, 4));
}