import static org.junit.Assert.*;

import java.util.logging.Level;
import java.util.logging.Logger;

import Sequenic.T3.Sequence.Datatype.SUITE;
import Sequenic.T3.SuiteUtils.Inference.SubcaseInvariantFile;


public class T3OrcTestCommon {

	static String experimentHome = "D:/workshop/t2framework/repos/experiments/strucOracles" ;
	
	public static void test(Class CUT, String code) throws Exception {
		Logger logger = Logger.getLogger(CUT.getName()) ;
		logger.setLevel(Level.SEVERE) ;
		// read the saved suites:
		SUITE suite = SUITE.load(experimentHome + "/t3suites/generated/" + code + ".tr") ;
		// read the saved oracles:
		SubcaseInvariantFile inf 
		    = SubcaseInvariantFile.load(experimentHome + "/t3suites/generated/" + code + ".orc")
				                   .withLogger(logger) ;
		assertTrue(inf.check(suite)) ;	
		inf.print(); 
	}
}