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

// Just showing how to generate a suite, getting basic info about the suite,
// and then replaying the suite.

config = new Config(CUT : Sequenic.T3.Examples.SimpleSortedList)
t3 = new T3groovyAPI(config)
// generate a suite, and replaying it:
S = t3.ADT()
t3.info(S)
t3.replay(S)
// saving the suite to a file, reloading it then replaying it:
S.save(".","test",false)
T = SUITE.load("test")
t3.replay(T)