MineTest.java

package cmu.testprograms;

import org.junit.Test;

import MinePumpSystem.PL_Interface_impl;

public class MineTest extends ATestExample {
	
	@Test
	public void mineTest1() {
		if (verifyNoPropertyViolation(config)) {
			PL_Interface_impl.main(new String[]{"1"});
		}
	}
	
	@Test
	public void mineTest2() {
		if (verifyNoPropertyViolation(config)) {
			PL_Interface_impl.main(new String[]{"2"});
		}
	}
	
	@Test
	public void mineTest3() {
		if (verifyNoPropertyViolation(config)) {
			PL_Interface_impl.main(new String[]{"3"});
		}
	}
	
	@Test
	public void mineTest4() {
		if (verifyNoPropertyViolation(config)) {
			PL_Interface_impl.main(new String[]{"4"});
		}
	}
	
	@Test
	public void mineTest5() {
		if (verifyNoPropertyViolation(config)) {
			PL_Interface_impl.main(new String[]{"5"});
		}
	}

	@Override
	protected String getClassPath() {
		return "lib\\Mine.jar,lib\\aspectjrt.jar";
	}

	@Override
	protected String getModelFile() {
		return "mine.dimacs";
	}
}