package Sequenic.T2ext.Analyzer;

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

public class CoverageAnalyzerTest4 {

	public void test0(){
		Sensor.resetSensor() ;
		SimpleRecursion S = new SimpleRecursion() ;
		String path = util.getClassLocation(SimpleThrow.class) ;
		CoverageAnalyzer CA = new CoverageAnalyzer(path + "SimpleRecursion.cfgs") ;
		
		S.even(0) ;
		S.even(1) ;
		S.even(2) ;
		S.even(-1) ;
		S.odd(-1) ;
		
		CA.debug = true ;		
		CA.calculateCoverage() ;
	}
		
	static public void main(String[] args) {
		CoverageAnalyzerTest4 T = new CoverageAnalyzerTest4() ;
		T.test0() ;
	}
}