CrossTypeArithmeticTest.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 CrossTypeArithmeticTest {
	@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.CrossTypeArithmeticTest", "test_big_backslashbackslash_big");
	}
	@Test
	public void test_big_backslashbackslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_backslashbackslash_double");
	}
	@Test
	public void test_big_backslashbackslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_backslashbackslash_fixed");
	}
	@Test
	public void test_big_backslashbackslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_backslashbackslash_float");
	}
	@Test
	public void test_big_backslashbackslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_backslashbackslash_fraction");
	}
	@Test
	public void test_big_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_backslashbackslash_int");
	}
	@Test
	public void test_big_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_minus_big");
	}
	@Test
	public void test_big_minus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_minus_double");
	}
	@Test
	public void test_big_minus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_minus_fixed");
	}
	@Test
	public void test_big_minus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_minus_float");
	}
	@Test
	public void test_big_minus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_minus_fraction");
	}
	@Test
	public void test_big_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_minus_int");
	}
	@Test
	public void test_big_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_minus_zero");
	}
	@Test
	public void test_big_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_plus_big");
	}
	@Test
	public void test_big_plus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_plus_double");
	}
	@Test
	public void test_big_plus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_plus_fixed");
	}
	@Test
	public void test_big_plus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_plus_float");
	}
	@Test
	public void test_big_plus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_plus_fraction");
	}
	@Test
	public void test_big_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_plus_int");
	}
	@Test
	public void test_big_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_plus_zero");
	}
	@Test
	public void test_big_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_quo__big");
	}
	@Test
	public void test_big_quo__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_quo__double");
	}
	@Test
	public void test_big_quo__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_quo__fixed");
	}
	@Test
	public void test_big_quo__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_quo__float");
	}
	@Test
	public void test_big_quo__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_quo__fraction");
	}
	@Test
	public void test_big_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_quo__int");
	}
	@Test
	public void test_big_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_rem__big");
	}
	@Test
	public void test_big_rem__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_rem__double");
	}
	@Test
	public void test_big_rem__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_rem__fixed");
	}
	@Test
	public void test_big_rem__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_rem__float");
	}
	@Test
	public void test_big_rem__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_rem__fraction");
	}
	@Test
	public void test_big_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_rem__int");
	}
	@Test
	public void test_big_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_slashslash_big");
	}
	@Test
	public void test_big_slashslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_slashslash_double");
	}
	@Test
	public void test_big_slashslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_slashslash_fixed");
	}
	@Test
	public void test_big_slashslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_slashslash_float");
	}
	@Test
	public void test_big_slashslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_slashslash_fraction");
	}
	@Test
	public void test_big_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_slashslash_int");
	}
	@Test
	public void test_big_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_times_big");
	}
	@Test
	public void test_big_times_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_times_double");
	}
	@Test
	public void test_big_times_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_times_fixed");
	}
	@Test
	public void test_big_times_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_times_fraction");
	}
	@Test
	public void test_big_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_times_int");
	}
	@Test
	public void test_big_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_big_times_zero");
	}
	@Test
	public void test_double_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_backslashbackslash_big");
	}
	@Test
	public void test_double_backslashbackslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_backslashbackslash_double");
	}
	@Test
	public void test_double_backslashbackslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_backslashbackslash_fixed");
	}
	@Test
	public void test_double_backslashbackslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_backslashbackslash_float");
	}
	@Test
	public void test_double_backslashbackslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_backslashbackslash_fraction");
	}
	@Test
	public void test_double_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_backslashbackslash_int");
	}
	@Test
	public void test_double_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_minus_big");
	}
	@Test
	public void test_double_minus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_minus_double");
	}
	@Test
	public void test_double_minus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_minus_fixed");
	}
	@Test
	public void test_double_minus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_minus_float");
	}
	@Test
	public void test_double_minus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_minus_fraction");
	}
	@Test
	public void test_double_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_minus_int");
	}
	@Test
	public void test_double_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_minus_zero");
	}
	@Test
	public void test_double_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_plus_big");
	}
	@Test
	public void test_double_plus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_plus_double");
	}
	@Test
	public void test_double_plus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_plus_fixed");
	}
	@Test
	public void test_double_plus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_plus_float");
	}
	@Test
	public void test_double_plus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_plus_fraction");
	}
	@Test
	public void test_double_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_plus_int");
	}
	@Test
	public void test_double_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_plus_zero");
	}
	@Test
	public void test_double_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_quo__big");
	}
	@Test
	public void test_double_quo__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_quo__double");
	}
	@Test
	public void test_double_quo__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_quo__fixed");
	}
	@Test
	public void test_double_quo__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_quo__float");
	}
	@Test
	public void test_double_quo__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_quo__fraction");
	}
	@Test
	public void test_double_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_quo__int");
	}
	@Test
	public void test_double_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_rem__big");
	}
	@Test
	public void test_double_rem__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_rem__double");
	}
	@Test
	public void test_double_rem__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_rem__fixed");
	}
	@Test
	public void test_double_rem__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_rem__float");
	}
	@Test
	public void test_double_rem__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_rem__fraction");
	}
	@Test
	public void test_double_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_rem__int");
	}
	@Test
	public void test_double_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_slashslash_big");
	}
	@Test
	public void test_double_slashslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_slashslash_double");
	}
	@Test
	public void test_double_slashslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_slashslash_fixed");
	}
	@Test
	public void test_double_slashslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_slashslash_float");
	}
	@Test
	public void test_double_slashslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_slashslash_fraction");
	}
	@Test
	public void test_double_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_slashslash_int");
	}
	@Test
	public void test_double_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_times_big");
	}
	@Test
	public void test_double_times_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_times_double");
	}
	@Test
	public void test_double_times_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_times_fixed");
	}
	@Test
	public void test_double_times_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_times_float");
	}
	@Test
	public void test_double_times_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_times_fraction");
	}
	@Test
	public void test_double_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_times_int");
	}
	@Test
	public void test_double_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_double_times_zero");
	}
	@Test
	public void test_fixed_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_backslashbackslash_big");
	}
	@Test
	public void test_fixed_backslashbackslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_backslashbackslash_double");
	}
	@Test
	public void test_fixed_backslashbackslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_backslashbackslash_fixed");
	}
	@Test
	public void test_fixed_backslashbackslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_backslashbackslash_float");
	}
	@Test
	public void test_fixed_backslashbackslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_backslashbackslash_fraction");
	}
	@Test
	public void test_fixed_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_backslashbackslash_int");
	}
	@Test
	public void test_fixed_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_minus_big");
	}
	@Test
	public void test_fixed_minus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_minus_double");
	}
	@Test
	public void test_fixed_minus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_minus_fixed");
	}
	@Test
	public void test_fixed_minus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_minus_float");
	}
	@Test
	public void test_fixed_minus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_minus_fraction");
	}
	@Test
	public void test_fixed_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_minus_int");
	}
	@Test
	public void test_fixed_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_minus_zero");
	}
	@Test
	public void test_fixed_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_plus_big");
	}
	@Test
	public void test_fixed_plus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_plus_double");
	}
	@Test
	public void test_fixed_plus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_plus_fixed");
	}
	@Test
	public void test_fixed_plus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_plus_float");
	}
	@Test
	public void test_fixed_plus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_plus_fraction");
	}
	@Test
	public void test_fixed_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_plus_int");
	}
	@Test
	public void test_fixed_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_plus_zero");
	}
	@Test
	public void test_fixed_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_quo__big");
	}
	@Test
	public void test_fixed_quo__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_quo__double");
	}
	@Test
	public void test_fixed_quo__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_quo__fixed");
	}
	@Test
	public void test_fixed_quo__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_quo__float");
	}
	@Test
	public void test_fixed_quo__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_quo__fraction");
	}
	@Test
	public void test_fixed_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_quo__int");
	}
	@Test
	public void test_fixed_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_rem__big");
	}
	@Test
	public void test_fixed_rem__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_rem__double");
	}
	@Test
	public void test_fixed_rem__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_rem__fixed");
	}
	@Test
	public void test_fixed_rem__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_rem__float");
	}
	@Test
	public void test_fixed_rem__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_rem__fraction");
	}
	@Test
	public void test_fixed_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_rem__int");
	}
	@Test
	public void test_fixed_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_slashslash_big");
	}
	@Test
	public void test_fixed_slashslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_slashslash_double");
	}
	@Test
	public void test_fixed_slashslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_slashslash_fixed");
	}
	@Test
	public void test_fixed_slashslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_slashslash_float");
	}
	@Test
	public void test_fixed_slashslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_slashslash_fraction");
	}
	@Test
	public void test_fixed_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_slashslash_int");
	}
	@Test
	public void test_fixed_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_times_big");
	}
	@Test
	public void test_fixed_times_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_times_double");
	}
	@Test
	public void test_fixed_times_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_times_fixed");
	}
	@Test
	public void test_fixed_times_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_times_float");
	}
	@Test
	public void test_fixed_times_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_times_fraction");
	}
	@Test
	public void test_fixed_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_times_int");
	}
	@Test
	public void test_fixed_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fixed_times_zero");
	}
	@Test
	public void test_float_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_backslashbackslash_big");
	}
	@Test
	public void test_float_backslashbackslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_backslashbackslash_double");
	}
	@Test
	public void test_float_backslashbackslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_backslashbackslash_fixed");
	}
	@Test
	public void test_float_backslashbackslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_backslashbackslash_float");
	}
	@Test
	public void test_float_backslashbackslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_backslashbackslash_fraction");
	}
	@Test
	public void test_float_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_backslashbackslash_int");
	}
	@Test
	public void test_float_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_minus_big");
	}
	@Test
	public void test_float_minus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_minus_double");
	}
	@Test
	public void test_float_minus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_minus_fixed");
	}
	@Test
	public void test_float_minus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_minus_float");
	}
	@Test
	public void test_float_minus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_minus_fraction");
	}
	@Test
	public void test_float_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_minus_int");
	}
	@Test
	public void test_float_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_minus_zero");
	}
	@Test
	public void test_float_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_plus_big");
	}
	@Test
	public void test_float_plus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_plus_double");
	}
	@Test
	public void test_float_plus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_plus_fixed");
	}
	@Test
	public void test_float_plus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_plus_float");
	}
	@Test
	public void test_float_plus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_plus_fraction");
	}
	@Test
	public void test_float_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_plus_int");
	}
	@Test
	public void test_float_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_plus_zero");
	}
	@Test
	public void test_float_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_quo__big");
	}
	@Test
	public void test_float_quo__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_quo__double");
	}
	@Test
	public void test_float_quo__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_quo__fixed");
	}
	@Test
	public void test_float_quo__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_quo__float");
	}
	@Test
	public void test_float_quo__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_quo__fraction");
	}
	@Test
	public void test_float_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_quo__int");
	}
	@Test
	public void test_float_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_rem__big");
	}
	@Test
	public void test_float_rem__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_rem__double");
	}
	@Test
	public void test_float_rem__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_rem__fixed");
	}
	@Test
	public void test_float_rem__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_rem__float");
	}
	@Test
	public void test_float_rem__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_rem__fraction");
	}
	@Test
	public void test_float_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_rem__int");
	}
	@Test
	public void test_float_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_slashslash_big");
	}
	@Test
	public void test_float_slashslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_slashslash_double");
	}
	@Test
	public void test_float_slashslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_slashslash_fixed");
	}
	@Test
	public void test_float_slashslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_slashslash_float");
	}
	@Test
	public void test_float_slashslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_slashslash_fraction");
	}
	@Test
	public void test_float_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_slashslash_int");
	}
	@Test
	public void test_float_times_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_times_double");
	}
	@Test
	public void test_float_times_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_times_fixed");
	}
	@Test
	public void test_float_times_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_times_float");
	}
	@Test
	public void test_float_times_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_times_fraction");
	}
	@Test
	public void test_float_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_times_int");
	}
	@Test
	public void test_float_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_float_times_zero");
	}
	@Test
	public void test_fraction_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_backslashbackslash_big");
	}
	@Test
	public void test_fraction_backslashbackslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_backslashbackslash_double");
	}
	@Test
	public void test_fraction_backslashbackslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_backslashbackslash_fixed");
	}
	@Test
	public void test_fraction_backslashbackslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_backslashbackslash_float");
	}
	@Test
	public void test_fraction_backslashbackslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_backslashbackslash_fraction");
	}
	@Test
	public void test_fraction_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_backslashbackslash_int");
	}
	@Test
	public void test_fraction_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_minus_big");
	}
	@Test
	public void test_fraction_minus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_minus_double");
	}
	@Test
	public void test_fraction_minus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_minus_fixed");
	}
	@Test
	public void test_fraction_minus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_minus_float");
	}
	@Test
	public void test_fraction_minus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_minus_fraction");
	}
	@Test
	public void test_fraction_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_minus_int");
	}
	@Test
	public void test_fraction_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_minus_zero");
	}
	@Test
	public void test_fraction_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_plus_big");
	}
	@Test
	public void test_fraction_plus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_plus_double");
	}
	@Test
	public void test_fraction_plus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_plus_fixed");
	}
	@Test
	public void test_fraction_plus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_plus_float");
	}
	@Test
	public void test_fraction_plus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_plus_fraction");
	}
	@Test
	public void test_fraction_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_plus_int");
	}
	@Test
	public void test_fraction_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_plus_zero");
	}
	@Test
	public void test_fraction_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_quo__big");
	}
	@Test
	public void test_fraction_quo__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_quo__double");
	}
	@Test
	public void test_fraction_quo__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_quo__fixed");
	}
	@Test
	public void test_fraction_quo__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_quo__float");
	}
	@Test
	public void test_fraction_quo__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_quo__fraction");
	}
	@Test
	public void test_fraction_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_quo__int");
	}
	@Test
	public void test_fraction_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_rem__big");
	}
	@Test
	public void test_fraction_rem__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_rem__double");
	}
	@Test
	public void test_fraction_rem__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_rem__fixed");
	}
	@Test
	public void test_fraction_rem__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_rem__float");
	}
	@Test
	public void test_fraction_rem__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_rem__fraction");
	}
	@Test
	public void test_fraction_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_rem__int");
	}
	@Test
	public void test_fraction_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_slashslash_big");
	}
	@Test
	public void test_fraction_slashslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_slashslash_double");
	}
	@Test
	public void test_fraction_slashslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_slashslash_fixed");
	}
	@Test
	public void test_fraction_slashslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_slashslash_float");
	}
	@Test
	public void test_fraction_slashslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_slashslash_fraction");
	}
	@Test
	public void test_fraction_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_slashslash_int");
	}
	@Test
	public void test_fraction_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_times_big");
	}
	@Test
	public void test_fraction_times_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_times_double");
	}
	@Test
	public void test_fraction_times_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_times_fixed");
	}
	@Test
	public void test_fraction_times_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_times_float");
	}
	@Test
	public void test_fraction_times_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_times_fraction");
	}
	@Test
	public void test_fraction_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_times_int");
	}
	@Test
	public void test_fraction_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_fraction_times_zero");
	}
	@Test
	public void test_int_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_backslashbackslash_big");
	}
	@Test
	public void test_int_backslashbackslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_backslashbackslash_double");
	}
	@Test
	public void test_int_backslashbackslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_backslashbackslash_fixed");
	}
	@Test
	public void test_int_backslashbackslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_backslashbackslash_float");
	}
	@Test
	public void test_int_backslashbackslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_backslashbackslash_fraction");
	}
	@Test
	public void test_int_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_backslashbackslash_int");
	}
	@Test
	public void test_int_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_minus_big");
	}
	@Test
	public void test_int_minus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_minus_double");
	}
	@Test
	public void test_int_minus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_minus_fixed");
	}
	@Test
	public void test_int_minus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_minus_float");
	}
	@Test
	public void test_int_minus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_minus_fraction");
	}
	@Test
	public void test_int_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_minus_int");
	}
	@Test
	public void test_int_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_minus_zero");
	}
	@Test
	public void test_int_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_plus_big");
	}
	@Test
	public void test_int_plus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_plus_double");
	}
	@Test
	public void test_int_plus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_plus_fixed");
	}
	@Test
	public void test_int_plus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_plus_float");
	}
	@Test
	public void test_int_plus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_plus_fraction");
	}
	@Test
	public void test_int_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_plus_int");
	}
	@Test
	public void test_int_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_plus_zero");
	}
	@Test
	public void test_int_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_quo__big");
	}
	@Test
	public void test_int_quo__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_quo__double");
	}
	@Test
	public void test_int_quo__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_quo__fixed");
	}
	@Test
	public void test_int_quo__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_quo__float");
	}
	@Test
	public void test_int_quo__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_quo__fraction");
	}
	@Test
	public void test_int_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_quo__int");
	}
	@Test
	public void test_int_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_rem__big");
	}
	@Test
	public void test_int_rem__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_rem__double");
	}
	@Test
	public void test_int_rem__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_rem__fixed");
	}
	@Test
	public void test_int_rem__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_rem__float");
	}
	@Test
	public void test_int_rem__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_rem__fraction");
	}
	@Test
	public void test_int_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_rem__int");
	}
	@Test
	public void test_int_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_slashslash_big");
	}
	@Test
	public void test_int_slashslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_slashslash_double");
	}
	@Test
	public void test_int_slashslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_slashslash_fixed");
	}
	@Test
	public void test_int_slashslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_slashslash_float");
	}
	@Test
	public void test_int_slashslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_slashslash_fraction");
	}
	@Test
	public void test_int_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_slashslash_int");
	}
	@Test
	public void test_int_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_times_big");
	}
	@Test
	public void test_int_times_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_times_double");
	}
	@Test
	public void test_int_times_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_times_fixed");
	}
	@Test
	public void test_int_times_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_times_float");
	}
	@Test
	public void test_int_times_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_times_fraction");
	}
	@Test
	public void test_int_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_times_int");
	}
	@Test
	public void test_int_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_int_times_zero");
	}
	@Test
	public void test_zero_backslashbackslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_backslashbackslash_big");
	}
	@Test
	public void test_zero_backslashbackslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_backslashbackslash_double");
	}
	@Test
	public void test_zero_backslashbackslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_backslashbackslash_fixed");
	}
	@Test
	public void test_zero_backslashbackslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_backslashbackslash_float");
	}
	@Test
	public void test_zero_backslashbackslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_backslashbackslash_fraction");
	}
	@Test
	public void test_zero_backslashbackslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_backslashbackslash_int");
	}
	@Test
	public void test_zero_minus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_minus_big");
	}
	@Test
	public void test_zero_minus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_minus_double");
	}
	@Test
	public void test_zero_minus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_minus_fixed");
	}
	@Test
	public void test_zero_minus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_minus_float");
	}
	@Test
	public void test_zero_minus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_minus_fraction");
	}
	@Test
	public void test_zero_minus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_minus_int");
	}
	@Test
	public void test_zero_minus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_minus_zero");
	}
	@Test
	public void test_zero_plus_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_plus_big");
	}
	@Test
	public void test_zero_plus_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_plus_double");
	}
	@Test
	public void test_zero_plus_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_plus_fixed");
	}
	@Test
	public void test_zero_plus_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_plus_float");
	}
	@Test
	public void test_zero_plus_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_plus_fraction");
	}
	@Test
	public void test_zero_plus_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_plus_int");
	}
	@Test
	public void test_zero_plus_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_plus_zero");
	}
	@Test
	public void test_zero_quo__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_quo__big");
	}
	@Test
	public void test_zero_quo__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_quo__double");
	}
	@Test
	public void test_zero_quo__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_quo__fixed");
	}
	@Test
	public void test_zero_quo__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_quo__float");
	}
	@Test
	public void test_zero_quo__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_quo__fraction");
	}
	@Test
	public void test_zero_quo__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_quo__int");
	}
	@Test
	public void test_zero_rem__big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_rem__big");
	}
	@Test
	public void test_zero_rem__double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_rem__double");
	}
	@Test
	public void test_zero_rem__fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_rem__fixed");
	}
	@Test
	public void test_zero_rem__float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_rem__float");
	}
	@Test
	public void test_zero_rem__fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_rem__fraction");
	}
	@Test
	public void test_zero_rem__int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_rem__int");
	}
	@Test
	public void test_zero_slashslash_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_slashslash_big");
	}
	@Test
	public void test_zero_slashslash_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_slashslash_double");
	}
	@Test
	public void test_zero_slashslash_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_slashslash_fixed");
	}
	@Test
	public void test_zero_slashslash_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_slashslash_float");
	}
	@Test
	public void test_zero_slashslash_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_slashslash_fraction");
	}
	@Test
	public void test_zero_slashslash_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_slashslash_int");
	}
	@Test
	public void test_zero_times_big() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_times_big");
	}
	@Test
	public void test_zero_times_double() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_times_double");
	}
	@Test
	public void test_zero_times_fixed() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_times_fixed");
	}
	@Test
	public void test_zero_times_float() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_times_float");
	}
	@Test
	public void test_zero_times_fraction() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_times_fraction");
	}
	@Test
	public void test_zero_times_int() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_times_int");
	}
	@Test
	public void test_zero_times_zero() throws Throwable {
		MethodTools.debugTest("st.gravel.systemtests.CrossTypeArithmeticTest", "test_zero_times_zero");
	}
}