public override void SetBaseMChessOptionsForTestExecution(AppTasks.RunMChessBasedTestTask runTestTask, MChessOptions opts) { base.SetBaseMChessOptionsForTestExecution(runTestTask, opts); // Enable data race detection opts.EnableRaceDetection = true; opts.MaxExecs = 20; }
/// <summary> /// Sets up the base <see cref="MChessOptions"/> instance for a fresh run of this test. /// This is the part that usually differentiate tests using MChess from each other. /// </summary> /// <returns></returns> public virtual void SetBaseMChessOptionsForTestExecution(AppTasks.RunMChessBasedTestTask runTestTask, MChessOptions opts) { // Look to see if the test defines an MChessOptions element var xopts = DataElement.Element(XChessNames.MChessOptions); if (xopts != null) { var testOpts = new MChessOptions(xopts); opts.MergeWith(testOpts); } }
public override void SetBaseMChessOptionsForTestExecution(AppTasks.RunMChessBasedTestTask runTestTask, MChessOptions opts) { base.SetBaseMChessOptionsForTestExecution(runTestTask, opts); opts.EnumerateObservations = true; opts.ObservationMode = Granularity.ToChessObservationMode(); string contextName = runTestTask.TestContext.Name; string obsFileName = ComposeObservationFilename(OwningTestMethod, FileIdentity, contextName, runTestTask.TestArgs); opts.ObservationFile = obsFileName; }
public override void SetBaseMChessOptionsForTestExecution(AppTasks.RunMChessBasedTestTask runTestTask, MChessOptions opts) { base.SetBaseMChessOptionsForTestExecution(runTestTask, opts); opts.CheckObservations = true; opts.ObservationMode = CheckingMode.ToChessObservationMode(); string fileIdentity = ResolveFileIdentity(); string contextName = runTestTask.TestContext.Name; string obsFileName = ObservationGeneratorEntity.ComposeObservationFilename(OwningTestMethod, fileIdentity, contextName, runTestTask.TestArgs); opts.ObservationFile = obsFileName; }
public override void SetBaseMChessOptionsForTestExecution(AppTasks.RunMChessBasedTestTask runTestTask, MChessOptions opts) { base.SetBaseMChessOptionsForTestExecution(runTestTask, opts); opts.EnableDeterminismChecking = true; }