package Sequenic.T2ext.Analyzer;

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

public class CoverageAnalyzerTest2 {

	public void test0(){
		Sensor.resetSensor() ;
		SimpleLoops S = new SimpleLoops() ;
		String path = util.getClassLocation(SimpleLoops.class) ;
		CoverageAnalyzer CA = new CoverageAnalyzer(path + "SimpleLoops.cfgs") ;

		S.methodWithLoop(0) ;
		S.methodWithLoop(12) ;
		
		//S.methodWithLoopAndIf(12) ;
		S.methodWithLoopAndIf(2) ;
		
		S.methodWithNestedLoop(11) ;
		S.methodWithNestedLoop(9) ;
		
		
		CA.debug = true ;		
		CA.calculateCoverage() ;
	}
		
	static public void main(String[] args) {
		CoverageAnalyzerTest2 T = new CoverageAnalyzerTest2() ;
		T.test0() ;
	}
}