package Hypotheek;

import org.junit.Test;
import Sequenic.T2.*;


public class Hypotheek_test_1 {
	
	@Test
	public void test1(){
		
		Class CUT = Hypotheek_TI.class ;
		String CUTname = CUT.getName() ;
		//String CUTsimplename = CUT.getSimpleName() ;
		//String path = util.getClassLocation(CUT) ;
		
		// Ok, use T2 to generate traces first:
		//String trfile1 = path + CUTsimplename + "_1.tr" ;
		//String trfile2 = path + CUTsimplename + "_2.tr" ;
			
		Sequenic.T2.Main.Junit(
				// "-C " +
				CUTname + " --pubonly"
				+ " --bdomain=" + Hypotheek_TI.MyBaseDomain.class.getName() 
				+ " --nmax=10000 --lenexec=2"
				+ " --nullprob=0.0"
				+ " --savegoodtr=40000"
				//+ " --savefile=" + trfile1
				) ;
	}

}