IntegerArithmeticTest.java

package st.gravel.systemtests;

import org.junit.Before;
import org.junit.Test;

import st.gravel.support.jvm.runtime.ImageBootstrapper;
import st.gravel.support.jvm.runtime.MethodTools;

public class IntegerArithmeticTest {
	@Before
	public void setUp() {
		st.gravel.support.compiler.testtools.TestBootstrap.getSingleton();
	}
	@Test
	public void test_big_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_backslashbackslash_big");
	}
	@Test
	public void test_big_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_backslashbackslash_int");
	}
	@Test
	public void test_big_backslashbackslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_backslashbackslash_long");
	}
	@Test
	public void test_big_backslashbackslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_backslashbackslash_negBig");
	}
	@Test
	public void test_big_backslashbackslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_backslashbackslash_negInt");
	}
	@Test
	public void test_big_backslashbackslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_backslashbackslash_negLong");
	}
	@Test
	public void test_big_gcd__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_gcd__big");
	}
	@Test
	public void test_big_gcd__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_gcd__int");
	}
	@Test
	public void test_big_gcd__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_gcd__long");
	}
	@Test
	public void test_big_gcd__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_gcd__negBig");
	}
	@Test
	public void test_big_gcd__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_gcd__negInt");
	}
	@Test
	public void test_big_gcd__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_gcd__negLong");
	}
	@Test
	public void test_big_gcd__zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_gcd__zero");
	}
	@Test
	public void test_big_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_minus_big");
	}
	@Test
	public void test_big_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_minus_int");
	}
	@Test
	public void test_big_minus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_minus_long");
	}
	@Test
	public void test_big_minus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_minus_negBig");
	}
	@Test
	public void test_big_minus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_minus_negInt");
	}
	@Test
	public void test_big_minus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_minus_negLong");
	}
	@Test
	public void test_big_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_minus_zero");
	}
	@Test
	public void test_big_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_plus_big");
	}
	@Test
	public void test_big_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_plus_int");
	}
	@Test
	public void test_big_plus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_plus_long");
	}
	@Test
	public void test_big_plus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_plus_negBig");
	}
	@Test
	public void test_big_plus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_plus_negInt");
	}
	@Test
	public void test_big_plus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_plus_negLong");
	}
	@Test
	public void test_big_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_plus_zero");
	}
	@Test
	public void test_big_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_quo__big");
	}
	@Test
	public void test_big_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_quo__int");
	}
	@Test
	public void test_big_quo__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_quo__long");
	}
	@Test
	public void test_big_quo__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_quo__negBig");
	}
	@Test
	public void test_big_quo__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_quo__negInt");
	}
	@Test
	public void test_big_quo__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_quo__negLong");
	}
	@Test
	public void test_big_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_rem__big");
	}
	@Test
	public void test_big_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_rem__int");
	}
	@Test
	public void test_big_rem__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_rem__long");
	}
	@Test
	public void test_big_rem__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_rem__negBig");
	}
	@Test
	public void test_big_rem__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_rem__negInt");
	}
	@Test
	public void test_big_rem__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_rem__negLong");
	}
	@Test
	public void test_big_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_slashslash_big");
	}
	@Test
	public void test_big_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_slashslash_int");
	}
	@Test
	public void test_big_slashslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_slashslash_long");
	}
	@Test
	public void test_big_slashslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_slashslash_negBig");
	}
	@Test
	public void test_big_slashslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_slashslash_negInt");
	}
	@Test
	public void test_big_slashslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_slashslash_negLong");
	}
	@Test
	public void test_big_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_times_big");
	}
	@Test
	public void test_big_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_times_int");
	}
	@Test
	public void test_big_times_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_times_long");
	}
	@Test
	public void test_big_times_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_times_negBig");
	}
	@Test
	public void test_big_times_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_times_negInt");
	}
	@Test
	public void test_big_times_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_times_negLong");
	}
	@Test
	public void test_big_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_big_times_zero");
	}
	@Test
	public void test_int_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_backslashbackslash_big");
	}
	@Test
	public void test_int_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_backslashbackslash_int");
	}
	@Test
	public void test_int_backslashbackslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_backslashbackslash_long");
	}
	@Test
	public void test_int_backslashbackslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_backslashbackslash_negBig");
	}
	@Test
	public void test_int_backslashbackslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_backslashbackslash_negInt");
	}
	@Test
	public void test_int_backslashbackslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_backslashbackslash_negLong");
	}
	@Test
	public void test_int_gcd__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_gcd__big");
	}
	@Test
	public void test_int_gcd__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_gcd__int");
	}
	@Test
	public void test_int_gcd__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_gcd__long");
	}
	@Test
	public void test_int_gcd__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_gcd__negBig");
	}
	@Test
	public void test_int_gcd__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_gcd__negInt");
	}
	@Test
	public void test_int_gcd__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_gcd__negLong");
	}
	@Test
	public void test_int_gcd__zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_gcd__zero");
	}
	@Test
	public void test_int_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_minus_big");
	}
	@Test
	public void test_int_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_minus_int");
	}
	@Test
	public void test_int_minus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_minus_long");
	}
	@Test
	public void test_int_minus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_minus_negBig");
	}
	@Test
	public void test_int_minus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_minus_negInt");
	}
	@Test
	public void test_int_minus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_minus_negLong");
	}
	@Test
	public void test_int_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_minus_zero");
	}
	@Test
	public void test_int_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_plus_big");
	}
	@Test
	public void test_int_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_plus_int");
	}
	@Test
	public void test_int_plus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_plus_long");
	}
	@Test
	public void test_int_plus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_plus_negBig");
	}
	@Test
	public void test_int_plus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_plus_negInt");
	}
	@Test
	public void test_int_plus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_plus_negLong");
	}
	@Test
	public void test_int_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_plus_zero");
	}
	@Test
	public void test_int_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_quo__big");
	}
	@Test
	public void test_int_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_quo__int");
	}
	@Test
	public void test_int_quo__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_quo__long");
	}
	@Test
	public void test_int_quo__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_quo__negBig");
	}
	@Test
	public void test_int_quo__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_quo__negInt");
	}
	@Test
	public void test_int_quo__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_quo__negLong");
	}
	@Test
	public void test_int_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_rem__big");
	}
	@Test
	public void test_int_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_rem__int");
	}
	@Test
	public void test_int_rem__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_rem__long");
	}
	@Test
	public void test_int_rem__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_rem__negBig");
	}
	@Test
	public void test_int_rem__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_rem__negInt");
	}
	@Test
	public void test_int_rem__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_rem__negLong");
	}
	@Test
	public void test_int_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_slashslash_big");
	}
	@Test
	public void test_int_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_slashslash_int");
	}
	@Test
	public void test_int_slashslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_slashslash_long");
	}
	@Test
	public void test_int_slashslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_slashslash_negBig");
	}
	@Test
	public void test_int_slashslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_slashslash_negInt");
	}
	@Test
	public void test_int_slashslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_slashslash_negLong");
	}
	@Test
	public void test_int_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_times_big");
	}
	@Test
	public void test_int_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_times_int");
	}
	@Test
	public void test_int_times_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_times_long");
	}
	@Test
	public void test_int_times_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_times_negBig");
	}
	@Test
	public void test_int_times_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_times_negInt");
	}
	@Test
	public void test_int_times_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_times_negLong");
	}
	@Test
	public void test_int_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_int_times_zero");
	}
	@Test
	public void test_long_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_backslashbackslash_big");
	}
	@Test
	public void test_long_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_backslashbackslash_int");
	}
	@Test
	public void test_long_backslashbackslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_backslashbackslash_long");
	}
	@Test
	public void test_long_backslashbackslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_backslashbackslash_negBig");
	}
	@Test
	public void test_long_backslashbackslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_backslashbackslash_negInt");
	}
	@Test
	public void test_long_backslashbackslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_backslashbackslash_negLong");
	}
	@Test
	public void test_long_gcd__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_gcd__big");
	}
	@Test
	public void test_long_gcd__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_gcd__int");
	}
	@Test
	public void test_long_gcd__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_gcd__long");
	}
	@Test
	public void test_long_gcd__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_gcd__negBig");
	}
	@Test
	public void test_long_gcd__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_gcd__negInt");
	}
	@Test
	public void test_long_gcd__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_gcd__negLong");
	}
	@Test
	public void test_long_gcd__zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_gcd__zero");
	}
	@Test
	public void test_long_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_minus_big");
	}
	@Test
	public void test_long_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_minus_int");
	}
	@Test
	public void test_long_minus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_minus_long");
	}
	@Test
	public void test_long_minus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_minus_negBig");
	}
	@Test
	public void test_long_minus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_minus_negInt");
	}
	@Test
	public void test_long_minus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_minus_negLong");
	}
	@Test
	public void test_long_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_minus_zero");
	}
	@Test
	public void test_long_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_plus_big");
	}
	@Test
	public void test_long_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_plus_int");
	}
	@Test
	public void test_long_plus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_plus_long");
	}
	@Test
	public void test_long_plus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_plus_negBig");
	}
	@Test
	public void test_long_plus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_plus_negInt");
	}
	@Test
	public void test_long_plus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_plus_negLong");
	}
	@Test
	public void test_long_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_plus_zero");
	}
	@Test
	public void test_long_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_quo__big");
	}
	@Test
	public void test_long_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_quo__int");
	}
	@Test
	public void test_long_quo__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_quo__long");
	}
	@Test
	public void test_long_quo__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_quo__negBig");
	}
	@Test
	public void test_long_quo__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_quo__negInt");
	}
	@Test
	public void test_long_quo__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_quo__negLong");
	}
	@Test
	public void test_long_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_rem__big");
	}
	@Test
	public void test_long_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_rem__int");
	}
	@Test
	public void test_long_rem__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_rem__long");
	}
	@Test
	public void test_long_rem__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_rem__negBig");
	}
	@Test
	public void test_long_rem__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_rem__negInt");
	}
	@Test
	public void test_long_rem__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_rem__negLong");
	}
	@Test
	public void test_long_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_slashslash_big");
	}
	@Test
	public void test_long_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_slashslash_int");
	}
	@Test
	public void test_long_slashslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_slashslash_long");
	}
	@Test
	public void test_long_slashslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_slashslash_negBig");
	}
	@Test
	public void test_long_slashslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_slashslash_negInt");
	}
	@Test
	public void test_long_slashslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_slashslash_negLong");
	}
	@Test
	public void test_long_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_times_big");
	}
	@Test
	public void test_long_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_times_int");
	}
	@Test
	public void test_long_times_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_times_long");
	}
	@Test
	public void test_long_times_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_times_negBig");
	}
	@Test
	public void test_long_times_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_times_negInt");
	}
	@Test
	public void test_long_times_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_times_negLong");
	}
	@Test
	public void test_long_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_long_times_zero");
	}
	@Test
	public void test_negBig_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_backslashbackslash_big");
	}
	@Test
	public void test_negBig_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_backslashbackslash_int");
	}
	@Test
	public void test_negBig_backslashbackslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_backslashbackslash_long");
	}
	@Test
	public void test_negBig_backslashbackslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_backslashbackslash_negBig");
	}
	@Test
	public void test_negBig_backslashbackslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_backslashbackslash_negInt");
	}
	@Test
	public void test_negBig_backslashbackslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_backslashbackslash_negLong");
	}
	@Test
	public void test_negBig_gcd__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_gcd__big");
	}
	@Test
	public void test_negBig_gcd__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_gcd__int");
	}
	@Test
	public void test_negBig_gcd__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_gcd__long");
	}
	@Test
	public void test_negBig_gcd__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_gcd__negBig");
	}
	@Test
	public void test_negBig_gcd__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_gcd__negInt");
	}
	@Test
	public void test_negBig_gcd__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_gcd__negLong");
	}
	@Test
	public void test_negBig_gcd__zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_gcd__zero");
	}
	@Test
	public void test_negBig_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_minus_big");
	}
	@Test
	public void test_negBig_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_minus_int");
	}
	@Test
	public void test_negBig_minus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_minus_long");
	}
	@Test
	public void test_negBig_minus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_minus_negBig");
	}
	@Test
	public void test_negBig_minus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_minus_negInt");
	}
	@Test
	public void test_negBig_minus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_minus_negLong");
	}
	@Test
	public void test_negBig_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_minus_zero");
	}
	@Test
	public void test_negBig_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_plus_big");
	}
	@Test
	public void test_negBig_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_plus_int");
	}
	@Test
	public void test_negBig_plus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_plus_long");
	}
	@Test
	public void test_negBig_plus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_plus_negBig");
	}
	@Test
	public void test_negBig_plus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_plus_negInt");
	}
	@Test
	public void test_negBig_plus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_plus_negLong");
	}
	@Test
	public void test_negBig_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_plus_zero");
	}
	@Test
	public void test_negBig_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_quo__big");
	}
	@Test
	public void test_negBig_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_quo__int");
	}
	@Test
	public void test_negBig_quo__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_quo__long");
	}
	@Test
	public void test_negBig_quo__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_quo__negBig");
	}
	@Test
	public void test_negBig_quo__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_quo__negInt");
	}
	@Test
	public void test_negBig_quo__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_quo__negLong");
	}
	@Test
	public void test_negBig_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_rem__big");
	}
	@Test
	public void test_negBig_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_rem__int");
	}
	@Test
	public void test_negBig_rem__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_rem__long");
	}
	@Test
	public void test_negBig_rem__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_rem__negBig");
	}
	@Test
	public void test_negBig_rem__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_rem__negInt");
	}
	@Test
	public void test_negBig_rem__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_rem__negLong");
	}
	@Test
	public void test_negBig_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_slashslash_big");
	}
	@Test
	public void test_negBig_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_slashslash_int");
	}
	@Test
	public void test_negBig_slashslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_slashslash_long");
	}
	@Test
	public void test_negBig_slashslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_slashslash_negBig");
	}
	@Test
	public void test_negBig_slashslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_slashslash_negInt");
	}
	@Test
	public void test_negBig_slashslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_slashslash_negLong");
	}
	@Test
	public void test_negBig_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_times_big");
	}
	@Test
	public void test_negBig_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_times_int");
	}
	@Test
	public void test_negBig_times_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_times_long");
	}
	@Test
	public void test_negBig_times_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_times_negBig");
	}
	@Test
	public void test_negBig_times_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_times_negInt");
	}
	@Test
	public void test_negBig_times_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_times_negLong");
	}
	@Test
	public void test_negBig_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negBig_times_zero");
	}
	@Test
	public void test_negInt_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_backslashbackslash_big");
	}
	@Test
	public void test_negInt_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_backslashbackslash_int");
	}
	@Test
	public void test_negInt_backslashbackslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_backslashbackslash_long");
	}
	@Test
	public void test_negInt_backslashbackslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_backslashbackslash_negBig");
	}
	@Test
	public void test_negInt_backslashbackslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_backslashbackslash_negInt");
	}
	@Test
	public void test_negInt_backslashbackslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_backslashbackslash_negLong");
	}
	@Test
	public void test_negInt_gcd__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_gcd__big");
	}
	@Test
	public void test_negInt_gcd__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_gcd__int");
	}
	@Test
	public void test_negInt_gcd__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_gcd__long");
	}
	@Test
	public void test_negInt_gcd__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_gcd__negBig");
	}
	@Test
	public void test_negInt_gcd__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_gcd__negInt");
	}
	@Test
	public void test_negInt_gcd__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_gcd__negLong");
	}
	@Test
	public void test_negInt_gcd__zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_gcd__zero");
	}
	@Test
	public void test_negInt_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_minus_big");
	}
	@Test
	public void test_negInt_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_minus_int");
	}
	@Test
	public void test_negInt_minus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_minus_long");
	}
	@Test
	public void test_negInt_minus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_minus_negBig");
	}
	@Test
	public void test_negInt_minus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_minus_negInt");
	}
	@Test
	public void test_negInt_minus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_minus_negLong");
	}
	@Test
	public void test_negInt_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_minus_zero");
	}
	@Test
	public void test_negInt_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_plus_big");
	}
	@Test
	public void test_negInt_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_plus_int");
	}
	@Test
	public void test_negInt_plus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_plus_long");
	}
	@Test
	public void test_negInt_plus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_plus_negBig");
	}
	@Test
	public void test_negInt_plus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_plus_negInt");
	}
	@Test
	public void test_negInt_plus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_plus_negLong");
	}
	@Test
	public void test_negInt_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_plus_zero");
	}
	@Test
	public void test_negInt_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_quo__big");
	}
	@Test
	public void test_negInt_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_quo__int");
	}
	@Test
	public void test_negInt_quo__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_quo__long");
	}
	@Test
	public void test_negInt_quo__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_quo__negBig");
	}
	@Test
	public void test_negInt_quo__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_quo__negInt");
	}
	@Test
	public void test_negInt_quo__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_quo__negLong");
	}
	@Test
	public void test_negInt_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_rem__big");
	}
	@Test
	public void test_negInt_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_rem__int");
	}
	@Test
	public void test_negInt_rem__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_rem__long");
	}
	@Test
	public void test_negInt_rem__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_rem__negBig");
	}
	@Test
	public void test_negInt_rem__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_rem__negInt");
	}
	@Test
	public void test_negInt_rem__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_rem__negLong");
	}
	@Test
	public void test_negInt_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_slashslash_big");
	}
	@Test
	public void test_negInt_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_slashslash_int");
	}
	@Test
	public void test_negInt_slashslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_slashslash_long");
	}
	@Test
	public void test_negInt_slashslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_slashslash_negBig");
	}
	@Test
	public void test_negInt_slashslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_slashslash_negInt");
	}
	@Test
	public void test_negInt_slashslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_slashslash_negLong");
	}
	@Test
	public void test_negInt_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_times_big");
	}
	@Test
	public void test_negInt_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_times_int");
	}
	@Test
	public void test_negInt_times_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_times_long");
	}
	@Test
	public void test_negInt_times_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_times_negBig");
	}
	@Test
	public void test_negInt_times_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_times_negInt");
	}
	@Test
	public void test_negInt_times_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_times_negLong");
	}
	@Test
	public void test_negInt_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negInt_times_zero");
	}
	@Test
	public void test_negLong_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_backslashbackslash_big");
	}
	@Test
	public void test_negLong_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_backslashbackslash_int");
	}
	@Test
	public void test_negLong_backslashbackslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_backslashbackslash_long");
	}
	@Test
	public void test_negLong_backslashbackslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_backslashbackslash_negBig");
	}
	@Test
	public void test_negLong_backslashbackslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_backslashbackslash_negInt");
	}
	@Test
	public void test_negLong_backslashbackslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_backslashbackslash_negLong");
	}
	@Test
	public void test_negLong_gcd__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_gcd__big");
	}
	@Test
	public void test_negLong_gcd__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_gcd__int");
	}
	@Test
	public void test_negLong_gcd__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_gcd__long");
	}
	@Test
	public void test_negLong_gcd__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_gcd__negBig");
	}
	@Test
	public void test_negLong_gcd__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_gcd__negInt");
	}
	@Test
	public void test_negLong_gcd__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_gcd__negLong");
	}
	@Test
	public void test_negLong_gcd__zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_gcd__zero");
	}
	@Test
	public void test_negLong_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_minus_big");
	}
	@Test
	public void test_negLong_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_minus_int");
	}
	@Test
	public void test_negLong_minus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_minus_long");
	}
	@Test
	public void test_negLong_minus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_minus_negBig");
	}
	@Test
	public void test_negLong_minus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_minus_negInt");
	}
	@Test
	public void test_negLong_minus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_minus_negLong");
	}
	@Test
	public void test_negLong_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_minus_zero");
	}
	@Test
	public void test_negLong_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_plus_big");
	}
	@Test
	public void test_negLong_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_plus_int");
	}
	@Test
	public void test_negLong_plus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_plus_long");
	}
	@Test
	public void test_negLong_plus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_plus_negBig");
	}
	@Test
	public void test_negLong_plus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_plus_negInt");
	}
	@Test
	public void test_negLong_plus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_plus_negLong");
	}
	@Test
	public void test_negLong_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_plus_zero");
	}
	@Test
	public void test_negLong_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_quo__big");
	}
	@Test
	public void test_negLong_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_quo__int");
	}
	@Test
	public void test_negLong_quo__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_quo__long");
	}
	@Test
	public void test_negLong_quo__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_quo__negBig");
	}
	@Test
	public void test_negLong_quo__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_quo__negInt");
	}
	@Test
	public void test_negLong_quo__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_quo__negLong");
	}
	@Test
	public void test_negLong_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_rem__big");
	}
	@Test
	public void test_negLong_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_rem__int");
	}
	@Test
	public void test_negLong_rem__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_rem__long");
	}
	@Test
	public void test_negLong_rem__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_rem__negBig");
	}
	@Test
	public void test_negLong_rem__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_rem__negInt");
	}
	@Test
	public void test_negLong_rem__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_rem__negLong");
	}
	@Test
	public void test_negLong_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_slashslash_big");
	}
	@Test
	public void test_negLong_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_slashslash_int");
	}
	@Test
	public void test_negLong_slashslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_slashslash_long");
	}
	@Test
	public void test_negLong_slashslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_slashslash_negBig");
	}
	@Test
	public void test_negLong_slashslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_slashslash_negInt");
	}
	@Test
	public void test_negLong_slashslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_slashslash_negLong");
	}
	@Test
	public void test_negLong_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_times_big");
	}
	@Test
	public void test_negLong_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_times_int");
	}
	@Test
	public void test_negLong_times_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_times_long");
	}
	@Test
	public void test_negLong_times_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_times_negBig");
	}
	@Test
	public void test_negLong_times_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_times_negInt");
	}
	@Test
	public void test_negLong_times_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_times_negLong");
	}
	@Test
	public void test_negLong_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_negLong_times_zero");
	}
	@Test
	public void test_zero_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_backslashbackslash_big");
	}
	@Test
	public void test_zero_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_backslashbackslash_int");
	}
	@Test
	public void test_zero_backslashbackslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_backslashbackslash_long");
	}
	@Test
	public void test_zero_backslashbackslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_backslashbackslash_negBig");
	}
	@Test
	public void test_zero_backslashbackslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_backslashbackslash_negInt");
	}
	@Test
	public void test_zero_backslashbackslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_backslashbackslash_negLong");
	}
	@Test
	public void test_zero_gcd__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_gcd__big");
	}
	@Test
	public void test_zero_gcd__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_gcd__int");
	}
	@Test
	public void test_zero_gcd__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_gcd__long");
	}
	@Test
	public void test_zero_gcd__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_gcd__negBig");
	}
	@Test
	public void test_zero_gcd__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_gcd__negInt");
	}
	@Test
	public void test_zero_gcd__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_gcd__negLong");
	}
	@Test
	public void test_zero_gcd__zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_gcd__zero");
	}
	@Test
	public void test_zero_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_minus_big");
	}
	@Test
	public void test_zero_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_minus_int");
	}
	@Test
	public void test_zero_minus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_minus_long");
	}
	@Test
	public void test_zero_minus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_minus_negBig");
	}
	@Test
	public void test_zero_minus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_minus_negInt");
	}
	@Test
	public void test_zero_minus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_minus_negLong");
	}
	@Test
	public void test_zero_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_minus_zero");
	}
	@Test
	public void test_zero_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_plus_big");
	}
	@Test
	public void test_zero_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_plus_int");
	}
	@Test
	public void test_zero_plus_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_plus_long");
	}
	@Test
	public void test_zero_plus_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_plus_negBig");
	}
	@Test
	public void test_zero_plus_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_plus_negInt");
	}
	@Test
	public void test_zero_plus_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_plus_negLong");
	}
	@Test
	public void test_zero_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_plus_zero");
	}
	@Test
	public void test_zero_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_quo__big");
	}
	@Test
	public void test_zero_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_quo__int");
	}
	@Test
	public void test_zero_quo__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_quo__long");
	}
	@Test
	public void test_zero_quo__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_quo__negBig");
	}
	@Test
	public void test_zero_quo__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_quo__negInt");
	}
	@Test
	public void test_zero_quo__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_quo__negLong");
	}
	@Test
	public void test_zero_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_rem__big");
	}
	@Test
	public void test_zero_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_rem__int");
	}
	@Test
	public void test_zero_rem__long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_rem__long");
	}
	@Test
	public void test_zero_rem__negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_rem__negBig");
	}
	@Test
	public void test_zero_rem__negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_rem__negInt");
	}
	@Test
	public void test_zero_rem__negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_rem__negLong");
	}
	@Test
	public void test_zero_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_slashslash_big");
	}
	@Test
	public void test_zero_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_slashslash_int");
	}
	@Test
	public void test_zero_slashslash_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_slashslash_long");
	}
	@Test
	public void test_zero_slashslash_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_slashslash_negBig");
	}
	@Test
	public void test_zero_slashslash_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_slashslash_negInt");
	}
	@Test
	public void test_zero_slashslash_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_slashslash_negLong");
	}
	@Test
	public void test_zero_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_times_big");
	}
	@Test
	public void test_zero_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_times_int");
	}
	@Test
	public void test_zero_times_long() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_times_long");
	}
	@Test
	public void test_zero_times_negBig() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_times_negBig");
	}
	@Test
	public void test_zero_times_negInt() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_times_negInt");
	}
	@Test
	public void test_zero_times_negLong() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_times_negLong");
	}
	@Test
	public void test_zero_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.IntegerArithmeticTest", "test_zero_times_zero");
	}
}