Also used :
Fuzzer(org.btrplace.safeplace.testing.fuzzer.Fuzzer)
VerifierResult(org.btrplace.safeplace.testing.verification.VerifierResult)
ConfigurableFuzzer(org.btrplace.safeplace.testing.fuzzer.ConfigurableFuzzer)
IOException(java.io.IOException)
Verifier(org.btrplace.safeplace.testing.verification.Verifier)
Schedule(org.btrplace.safeplace.testing.verification.btrplace.Schedule)
Parameters(org.btrplace.scheduler.choco.Parameters)
Collectors(java.util.stream.Collectors)
ReconfigurationPlan(org.btrplace.plan.ReconfigurationPlan)
Consumer(java.util.function.Consumer)
Constraint(org.btrplace.safeplace.spec.Constraint)
Limits(org.btrplace.safeplace.testing.limit.Limits)
List(java.util.List)
CSchedule(org.btrplace.safeplace.testing.verification.btrplace.CSchedule)
Replay(org.btrplace.safeplace.testing.fuzzer.Replay)
DefaultParameters(org.btrplace.scheduler.choco.DefaultParameters)
Optional(java.util.Optional)
DefaultFuzzer(org.btrplace.safeplace.testing.fuzzer.DefaultFuzzer)
Counting(org.btrplace.safeplace.testing.reporting.Counting)
Report(org.btrplace.safeplace.testing.reporting.Report)
DefaultChocoScheduler(org.btrplace.scheduler.choco.DefaultChocoScheduler)
Path(java.nio.file.Path)
SatConstraint(org.btrplace.model.constraint.SatConstraint)
SpecVerifier(org.btrplace.safeplace.testing.verification.spec.SpecVerifier)
DefaultFuzzer(org.btrplace.safeplace.testing.fuzzer.DefaultFuzzer)
Constraint(org.btrplace.safeplace.spec.Constraint)
SatConstraint(org.btrplace.model.constraint.SatConstraint)
ConfigurableFuzzer(org.btrplace.safeplace.testing.fuzzer.ConfigurableFuzzer)