import Sequenic.T3.T3Cmd;

/**
 * Testing with T3, with no custom data generator.
 */
public class TestWithT3 {

	public static void main(String[] args) throws Exception {
		

		
		String binpath = "D:/workshop/EclipseT3workspace/T2benchmark/bin" ;
		
		//T3Cmd.main("-pl 1 -sl 10 -ms 20 -reg -sd " + binpath + " Triangle");
		T3Cmd.main("-pl 6 -vp -sl 0 -ms 20 -reg -sd " + binpath + " IntTriangle");
		// T3Cmd.main("-pl 16 -sl 10 -ms 20 -reg -sd " + binpath + " Examples.BinarySearchTree");
		
		// T3Cmd.main("-pl 16 -sl 2 -ms 20 -reg -sd " + binpath + " Examples.SimpleSortedList");
		
		//T3Cmd.main("-pl 16 -sl 10 -ms 20 -reg -sd " + binpath + " Examples.JavaLinkedList");
		//T3Cmd.main("-pl 16 -sl 2 -ms 20 -reg -sd " + binpath + " Sequenic.T2.Obj.XShow");
		
		//T3Cmd.main("-pl 16 -sl 2 -ms 20 -reg -sd " + binpath + " Sequenic.T2.XPool");
		
		// T3Cmd.main("-pl 16 -sl 2 -ms 20 -reg -sd " + binpath + " org.apache.commons.lang3.math.NumberUtils");
		
		
	}
}