import Sequenic.T3.Sequence.Datatype.SUITE;
import Sequenic.T3.Daikon.* ;


public class DaikonInferCommon {
	
static String experimentHome = "D:/workshop/t2framework/repos/experiments/strucOracles" ;
	
	public static void infer(String code) throws Exception {
		// read the saved suite:
		SUITE suite = SUITE.load(experimentHome + "/t3suites/generated/" + code + ".tr") ;
		T3Daikon instr = new T3Daikon() ;
		String dtrace  = experimentHome + "/daikonstuff/generated/" + code + ".dtrace" ;
		String invfile = experimentHome + "/daikonstuff/generated/" + code + ".inv" ;
		// infer invariants:
		instr.infer(suite, dtrace, invfile);
		// cross check if the invs are consistent with the data it reads from
		String checkReportFile = experimentHome + "/daikonstuff/generated/" + code + "_crosscheck.txt" ;
		instr.check(suite, invfile, checkReportFile) ;
	}

}