package Sequenic.T2ext.Analyzer;

import java.io.File;

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

public class CoverageAnalyzerTest0 {

	public void test0(){
		Sensor.resetSensor() ;
		Simple0 S = new Simple0() ;
		// Obtaining the path from which Simple0 is loaded:
		String path = util.getClassLocation(Simple0.class) ;
		System.out.println(">>> " + path) ;
		//String path = "e:/workshop/TT/T2Extension/wpv0/stabilizing/examples/" ;
		//CoverageAnalyzer CA = new CoverageAnalyzer(path + "/Examples/Simple0.cfgs") ;
		// When you run it from the bin/ directory you don't need the absolute path: 
		
		// Ok, now we infer the path directly from the class-loader itself
		CoverageAnalyzer CA = new CoverageAnalyzer(path + "Simple0.cfgs");
		S.foo(10) ;
		// S.main(null) ;
		CA.debug = true ;
		CA.calculateCoverage() ;
	}
	
	static public void main(String[] args) {
		CoverageAnalyzerTest0 T = new CoverageAnalyzerTest0() ;
		T.test0() ;
	}
	
}