import static org.junit.Assert.assertTrue;

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



public class DaikonTestCommon {

static String experimentHome = "D:/workshop/t2framework/repos/experiments/strucOracles" ;
	
	public static boolean check(String code) throws Exception {
		// read the saved suite:
		SUITE suite = SUITE.load(experimentHome + "/t3suites/generated/" + code + ".tr") ;
		
		String invfile = experimentHome + "/daikonstuff/generated/" + code + ".inv" ;
		String checkReportFile = experimentHome + "/daikonstuff/generated/" + code + "_testcheck.txt" ;
		T3Daikon instr = new T3Daikon() ;
		// check:
		return instr.check(suite, invfile, checkReportFile) ;
	}
	
}