package edu.harvard.seas.pl.formulog.eval;

/*-
 * #%L
 * Formulog
 * %%
 * Copyright (C) 2018 - 2020 President and Fellows of Harvard College
 * %%
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 * #L%
 */

import java.util.Arrays;

import org.junit.Test;

public abstract class CommonEvaluationTest<T extends Evaluation> extends AbstractEvaluationTest<T> {

	public CommonEvaluationTest(Tester tester) {
		super(tester);
	}

	@Test
	public void test018() {
		test("test018_ok.flg");
	}

	@Test
	public void test019() {
		test("test019_ok.flg");
	}

	@Test
	public void test020() {
		test("test020_ok.flg");
	}

	@Test
	public void test021() {
		test("test021_ok.flg");
	}

	@Test
	public void test022() {
		test("test022_ok.flg");
	}

	@Test
	public void test023() {
		test("test023_ok.flg");
	}

	@Test
	public void test024() {
		test("test024_ok.flg");
	}

	@Test
	public void test027() {
		test("test027_ok.flg");
	}

	@Test
	public void test029() {
		test("test029_ok.flg");
	}

	@Test
	public void test030() {
		test("test030_ok.flg");
	}

	@Test
	public void test032() {
		test("test032_ok.flg");
	}

	@Test
	public void test033() {
		test("test033_ok.flg");
	}

	@Test
	public void test034() {
		test("test034_ok.flg");
	}

	@Test
	public void test035() {
		test("test035_ok.flg");
	}

	@Test
	public void test037() {
		test("test037_ok.flg");
	}

	@Test
	public void test038() {
		test("test038_ok.flg");
	}

	@Test
	public void test039() {
		test("test039_ok.flg");
	}

	@Test
	public void test040() {
		test("test040_ok.flg");
	}

	@Test
	public void test041() {
		test("test041_ok.flg");
	}

	@Test
	public void test043() {
		test("test043_ok.flg");
	}

	@Test
	public void test044() {
		test("test044_ok.flg");
	}

	@Test
	public void test045() {
		test("test045_ok.flg");
	}

	@Test
	public void test046() {
		test("test046_ok.flg");
	}

	@Test
	public void test047() {
		test("test047_ok.flg");
	}

	@Test
	public void test048() {
		test("test048_ok.flg");
	}

	@Test
	public void test056() {
		test("test056_ok.flg");
	}

	@Test
	public void test057() {
		test("test057_ok.flg");
	}

	@Test
	public void test058() {
		test("test058_ok.flg");
	}

	@Test
	public void test061() {
		test("test061_ok.flg");
	}

	@Test
	public void test062() {
		test("test062_ok.flg");
	}

	@Test
	public void test063() {
		test("test063_ok.flg");
	}

	@Test
	public void test064() {
		test("test064_ok.flg");
	}

	@Test
	public void test065() {
		test("test065_ok.flg");
	}

	@Test
	public void test066() {
		test("test066_ok.flg");
	}

	@Test
	public void test067() {
		test("test067_ok.flg");
	}

	@Test
	public void test068() {
		test("test068_ok.flg");
	}

	@Test
	public void test069() {
		test("test069_ok.flg");
	}

	@Test
	public void test070() {
		test("test070_ok.flg");
	}

	@Test
	public void test071() {
		test("test071_ok.flg");
	}

	@Test
	public void test072() {
		test("test072_ok.flg");
	}

	@Test
	public void test073() {
		test("test073_ok.flg");
	}

	@Test
	public void test077() {
		test("test077_ok.flg");
	}

	@Test
	public void test078() {
		test("test078_ok.flg");
	}

	@Test
	public void test079() {
		test("test079_ok.flg");
	}

	@Test
	public void test081() {
		test("test081_ok.flg");
	}

	@Test
	public void test082() {
		test("test082_ok.flg");
	}

	@Test
	public void test083() {
		test("test083_ok.flg");
	}

	@Test
	public void test084() {
		test("test084_ok.flg");
	}

	@Test
	public void test085() {
		test("test085_ok.flg");
	}

	@Test
	public void test086() {
		test("test086_ok.flg");
	}

	@Test
	public void test087() {
		test("test087_ok.flg");
	}

	@Test
	public void test088() {
		test("test088_ok.flg");
	}

	@Test
	public void test089() {
		test("test089_ok.flg");
	}

	@Test
	public void test090() {
		test("test090_ok.flg");
	}

	@Test
	public void test092() {
		test("test092_ok.flg");
	}

	@Test
	public void test093() {
		test("test093_ok.flg");
	}

	@Test
	public void test094() {
		test("test094_ok.flg");
	}

	@Test
	public void test095() {
		test("test095_ok.flg");
	}

	@Test
	public void test096() {
		test("test096_ok.flg");
	}

	@Test
	public void test097() {
		test("test097_ok.flg");
	}

	@Test
	public void test099() {
		test("test099_ok.flg");
	}

	@Test
	public void test100() {
		test("test100_ok.flg");
	}

	@Test
	public void test102() {
		test("test102_ok.flg");
	}

	@Test
	public void test103() {
		test("test103_ok.flg");
	}

	@Test
	public void test104() {
		test("test104_ok.flg");
	}

	@Test
	public void test105() {
		test("test105_ok.flg");
	}

	@Test
	public void test106() {
		test("test106_ok.flg");
	}

	@Test
	public void test107() {
		test("test107_ok.flg");
	}

	@Test
	public void test108() {
		test("test108_ok.flg");
	}

	@Test
	public void test109() {
		test("test109_ok.flg");
	}

	@Test
	public void test110() {
		test("test110_ok.flg");
	}

	@Test
	public void test111() {
		test("test111_ok.flg");
	}

	@Test
	public void test112() {
		test("test112_ok.flg");
	}

	@Test
	public void test113() {
		test("test113_ok.flg");
	}

	@Test
	public void test114() {
		test("test114_ok.flg");
	}

	@Test
	public void test115() {
		test("test115_ok.flg");
	}

	@Test
	public void test116() {
		test("test116_ok.flg");
	}

	@Test
	public void test117() {
		test("test117_ok.flg");
	}

	@Test
	public void test119() {
		test("test119_ok.flg");
	}

	@Test
	public void test120() {
		test("test120_ok.flg");
	}

	@Test
	public void test121() {
		test("test121_ok.flg");
	}

	@Test
	public void test122() {
		test("test122_ok.flg");
	}

	@Test
	public void test123() {
		test("test123_ok.flg");
	}

	@Test
	public void test124() {
		test("test124_ok.flg");
	}

	@Test
	public void test125() {
		test("test125_ok.flg");
	}

	@Test
	public void test126() {
		test("test126_ok.flg");
	}

	@Test
	public void test127() {
		test("test127_ok.flg");
	}

	@Test
	public void test128() {
		test("test128_ok.flg");
	}

	@Test
	public void test129() {
		test("test129_ok.flg");
	}

	@Test
	public void test134() {
		test("test134_ok.flg");
	}

	@Test
	public void test135() {
		test("test135_ok.flg");
	}

	@Test
	public void test136() {
		test("test136_ok.flg");
	}

	@Test
	public void test137() {
		test("test137_ok.flg");
	}

	/*
	 * No longer supporting this semantics
	 * 
	 * @Test public void test138() { test("test138_ok.flg"); }
	 */

	@Test
	public void test139() {
		test("test139_ok.flg");
	}

	@Test
	public void test180() {
		test("test180_ok.flg");
	}

	@Test
	public void test181() {
		test("test181_ok.flg");
	}

	@Test
	public void test182() {
		test("test182_ok.flg");
	}

	@Test
	public void test183() {
		test("test183_ok.flg");
	}

	@Test
	public void test184() {
		test("test184_ok.flg");
	}

	@Test
	public void test186() {
		test("test186_ok.flg");
	}

	@Test
	public void test187() {
		test("test187_ok.flg");
	}

	@Test
	public void test189() {
		test("test189_ok.flg");
	}

	@Test
	public void test190() {
		test("test190_ok.flg");
	}

	@Test
	public void test191() {
		test("test191_ok.flg", Arrays.asList("test191_input"));
	}

	@Test
	public void test192() {
		test("test192_ok.flg");
	}

	@Test
	public void test193() {
		test("test193_ok.flg");
	}

	@Test
	public void test238() {
		test("test238_ok.flg");
	}

	@Test
	public void test240() {
		test("test240_ok.flg");
	}

	@Test
	public void test241() {
		test("test241_ok.flg");
	}

	@Test
	public void test242() {
		test("test242_ok.flg");
	}

	@Test
	public void test243() {
		test("test243_ok.flg");
	}

	@Test
	public void test244() {
		test("test244_ok.flg");
	}

	@Test
	public void test245() {
		test("test245_ok.flg");
	}

	@Test
	public void test254() {
		test("test254_ok.flg");
	}

	@Test
	public void test256() {
		test("test256_ok.flg");
	}

	@Test
	public void test258() {
		test("test258_ok.flg");
	}

	@Test
	public void test259() {
		test("test259_ok.flg");
	}

	@Test
	public void test260() {
		test("test260_ok.flg");
	}

	@Test
	public void test261() {
		test("test261_ok.flg");
	}

	@Test
	public void test262() {
		test("test262_ok.flg");
	}

	@Test
	public void test263() {
		test("test263_ok.flg");
	}

	@Test
	public void test264() {
		test("test264_ok.flg");
	}

	@Test
	public void test265() {
		test("test265_ok.flg");
	}

	@Test
	public void test267() {
		test("test267_ok.flg");
	}

	@Test
	public void test273() {
		test("test273_ok.flg");
	}

	@Test
	public void test274() {
		test("test274_ok.flg");
	}

	@Test
	public void test275() {
		test("test275_ok.flg");
	}

	@Test
	public void test276() {
		test("test276_ok.flg", Arrays.asList("test276_inputA", "test276_inputB"));
	}

	@Test
	public void test277() {
		test("test277_ok.flg");
	}

	@Test
	public void test278() {
		test("test278_ok.flg");
	}

	@Test
	public void test279() {
		test("test279_ok.flg");
	}

	@Test
	public void test280() {
		test("test280_ok.flg");
	}

	@Test
	public void test281() {
		test("test281_ok.flg");
	}

	@Test
	public void test282() {
		test("test282_ok.flg");
	}

	@Test
	public void test283() {
		test("test283_ok.flg");
	}

	@Test
	public void test284() {
		test("test284_ok.flg");
	}

	@Test
	public void test285() {
		test("test285_ok.flg");
	}

	@Test
	public void test286() {
		test("test286_ok.flg");
	}

	@Test
	public void test287() {
		test("test287_ok.flg");
	}

	@Test
	public void test288() {
		test("test288_ok.flg");
	}

	@Test
	public void test289() {
		test("test289_ok.flg");
	}

	@Test
	public void test290() {
		test("test290_ok.flg");
	}

	@Test
	public void test291() {
		test("test291_ok.flg");
	}

	@Test
	public void test292() {
		test("test292_ok.flg");
	}

	@Test
	public void test297() {
		test("test297_ok.flg");
	}

	@Test
	public void test298() {
		test("test298_ok.flg");
	}

	@Test
	public void test299() {
		test("test299_ok.flg");
	}

	@Test
	public void test300() {
		test("test300_ok.flg");
	}

	@Test
	public void test301() {
		test("test301_ok.flg");
	}

	@Test
	public void test304() {
		test("test304_ok.flg");
	}

	@Test
	public void test305() {
		test("test305_ok.flg");
	}

	@Test
	public void test306() {
		test("test306_ok.flg");
	}

	@Test
	public void test308() {
		test("test308_ok.flg");
	}

	@Test
	public void test309() {
		test("test309_ok.flg");
	}

	@Test
	public void test310() {
		test("test310_ok.flg");
	}

	@Test
	public void test311() {
		test("test311_ok.flg");
	}

	/*
	 * No longer supporting these semantics
	 * 
	 * @Test public void test316() { test("test316_ok.flg"); }
	 * 
	 * @Test public void test317() { test("test317_ok.flg"); }
	 * 
	 * @Test public void test318() { test("test318_ok.flg"); }
	 * 
	 * @Test public void test319() { test("test319_ok.flg"); }
	 */

	@Test
	public void test320() {
		test("test320_ok.flg");
	}

	@Test
	public void test321() {
		test("test321_ok.flg");
	}

	@Test
	public void test323() {
		test("test323_ok.flg");
	}

	@Test
	public void test324() {
		test("test324_ok.flg");
	}

	@Test
	public void test325() {
		test("test325_ok.flg");
	}

	@Test
	public void test326() {
		test("test326_ok.flg");
	}

	@Test
	public void test328() {
		test("test328_ok.flg");
	}

	@Test
	public void test329() {
		test("test329_ok.flg");
	}

	@Test
	public void test330() {
		test("test330_ok.flg");
	}

	@Test
	public void test331() {
		test("test331_ok.flg");
	}

	@Test
	public void test332() {
		test("test332_ok.flg");
	}

	@Test
	public void test334() {
		test("test334_ok.flg");
	}

	@Test
	public void test336() {
		test("test336_ok.flg");
	}

	@Test
	public void test337() {
		test("test337_ok.flg");
	}

}
