package Sequenic.T2ext.Analyzer;

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

public class T2TraceFileCoverageAnalyzerTest0 {
	
	public void test0() {
		
		String path = util.getClassLocation(SimpleConditionals.class) ;
		
		String trfile = path + "SimpleConditionals.tr" ;
		//System.out.println(">>> " + path) ;
		//System.out.println(">>> " + trfile) ;
		Sequenic.T2.Main.Junit("Examples.SimpleConditionals" +
				" --nmax=10000 --lenexec=10 --savegoodtr=1000" +
				" --savefile=" + trfile +
				" --bdomain=Sequenic.T2.BaseDomain0");
		
		T2TraceFileCoverageAnalyzer analz = new T2TraceFileCoverageAnalyzer(
				trfile,
				path + "SimpleConditionals.cfgs");
		analz.debug = true ;
		
		T2TraceFileCoverageResult res = analz.calculateCoverage();
		
		//res.coveragePerStep;
		// TODO
	}
	
	static public void main(String[] args){
		T2TraceFileCoverageAnalyzerTest0 T = new T2TraceFileCoverageAnalyzerTest0() ;
		T.test0() ;
	}
}