SourceMapGeneratorV3Test.java

package cmu.defect4j.google.debugging.sourcemap;

import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
import junit.framework.TestCase;
public class SourceMapGeneratorV3Test extends TestJPF {

    private final String[] config = {"+nhandler.delegateUnhandledNative", "+classpath+=${jpf-core}/lib/junit-4.11.jar,lib/compiler.jar"};

    public static void main(String[] testMethods){
        runTestsOfThisClass(testMethods);
    }
	@Test(timeout=120000)
	public void testMultilineMapping2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testMultilineMapping2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGoldenOutput0a() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testGoldenOutput0a();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testWriteMetaMap() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testWriteMetaMap();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testBasicMapping1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testBasicMapping1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testBasicMapping2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testBasicMapping2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testWriteMetaMap2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testWriteMetaMap2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testParseSourceMetaMap() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testParseSourceMetaMap();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testSourceMapMerging() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testSourceMapMerging();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLiteralMappings() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testLiteralMappings();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMultilineMapping() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testMultilineMapping();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMultiFunctionMapping() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testMultiFunctionMapping();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGoldenOutput0() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testGoldenOutput0();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGoldenOutput1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testGoldenOutput1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGoldenOutput2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testGoldenOutput2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGoldenOutput3() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testGoldenOutput3();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGoldenOutput4() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testGoldenOutput4();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testGoldenOutput5() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testGoldenOutput5();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testBasicDeterminism() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testBasicDeterminism();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testBasicMappingGoldenOutput() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testBasicMappingGoldenOutput();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testLiteralMappingsGoldenOutput() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.debugging.sourcemap.SourceMapGeneratorV3Test() {
				public void runTest() throws Exception {
					testLiteralMappingsGoldenOutput();
				}
			};
			testcase.run();
		}
	}

}