package Sequenic.T2ext.Analyzer;

import Examples.* ;
import Sequenic.T2ext.util.util;

public class T2TraceFileCoverageAnalyzerTest1 {
	
	public void test0() {
		
		String path = util.getClassLocation(BinarySearchTree.class) ;
		
		String trfile = path + "BinarySearchTree.tr";
		
		Sequenic.T2.Main.main("Examples.BinarySearchTree --nmax=50000 --lenexec=10 --savegoodtr=5000 "
				+
				" --savefile=" + trfile 
				) ;
		T2TraceFileCoverageAnalyzer analz = new T2TraceFileCoverageAnalyzer(
				trfile,
				path + "BinarySearchTree.cfgs"
				) ;
		analz.debug = true ;
		Long time = System.currentTimeMillis();
		analz.calculateCoverage() ;
		System.out.println("\n\nAnalysis time: " + (System.currentTimeMillis() - time)) ;
	}
	
	
	static public void main(String[] args){
		T2TraceFileCoverageAnalyzerTest1 T = new T2TraceFileCoverageAnalyzerTest1() ;
		T.test0() ;
	}
}