import Sequenic.T3.Config
import Sequenic.T3.Pool
import Sequenic.T3.Sequence.Datatype.SUITE
import Sequenic.T3.Generator.Generator
import static Sequenic.T3.Generator.GenCombinators.FirstOf
import static Sequenic.T3.Generator.Value.ValueMGCombinators.*
import Sequenic.T3.T3groovyAPI
import Sequenic.T3.SuiteUtils.Query.*
import static Sequenic.T3.SuiteUtils.Query.StepPredicate.*
import static Sequenic.T3.SuiteUtils.Query.SeqPredicate.*
import static Sequenic.T3.SuiteUtils.Query.LTLQuery.*
import static Sequenic.T3.SuiteUtils.Query.Alg2Query.*
import static Sequenic.T3.SuiteUtils.Query.Equation.*
import Sequenic.T3.SuiteUtils.SuitePrinter.Printer
import Sequenic.T3.SuiteUtils.CodeCoverage.Coco

coco = new Coco(System.out)
C =  Sequenic.T3.Examples.Item
Z = coco.instrument(C)
config1 = new Config(CUT : Z)
t3a = new T3groovyAPI(config1)

// generate a suite, and show the coverage:
S = t3a.ADT()
coco.pullRunTimeData() 
coco.printCoverage(C)

// replay the suite, and show the coverage:
coco.clear()
coco.printCoverage(C)
t3a.replay(S)
coco.printCoverage(C)

// save the suite, reload it, replay, then show the coverage
coco.clear()
coco.printCoverage(C)
S.save(".","bla",false)
T = SUITE.load("bla")
t3a.replay(coco.translate(Z,T))
coco.printCoverage(C)

//coco.clear()
//t3a.replay(T)
//coco.printCoverage(C)


//t3b.replay(S)
//coco.pullRunTimeData() 
//coco.printCoverage(C)