FunctionArgumentInjectorTest.java

package cmu.defect4j.google.javascript.jscomp;

import gov.nasa.jpf.util.test.TestJPF;
import org.junit.Test;
import junit.framework.TestCase;
public class FunctionArgumentInjectorTest 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 testFindModifiedParameters1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters3() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters3();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters4() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters4();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters5() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters5();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters6() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters6();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters7() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters7();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters8() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters8();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters9() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters9();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters10() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters10();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testFindModifiedParameters11() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testFindModifiedParameters11();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments1() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments1();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments2() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments2();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments3() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments3();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments4() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments4();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments5() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments5();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments6() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments6();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments7() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments7();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments8() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments8();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments9() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments9();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments10() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments10();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments11() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments11();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments12() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments12();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments13() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments13();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments14() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments14();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments20() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments20();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments21() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments21();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments22() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments22();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments23() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments23();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments24() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments24();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments25() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments25();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments26() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments26();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments27() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments27();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments28() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments28();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments29() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments29();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments30() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments30();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments31() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments31();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArguments32() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArguments32();
				}
			};
			testcase.run();
		}
	}

	@Test(timeout=120000)
	public void testMaybeAddTempsForCallArgumentsInLoops() throws Exception {
		if (verifyNoPropertyViolation(config)) {
			TestCase testcase = new com.google.javascript.jscomp.FunctionArgumentInjectorTest() {
				public void runTest() throws Exception {
					testMaybeAddTempsForCallArgumentsInLoops();
				}
			};
			testcase.run();
		}
	}

}