public void EverExecutableQuery() { world = CreateITWorld(); var sc1 = new Scenario(); sc1.AddScenarioStep(new ScenarioStep(eat, alice)); sc1.AddScenarioStep(new ScenarioStep(drink, alice)); sc1.AddScenarioStep(new ScenarioStep(drink, rabbit)); sc1.AddScenarioStep(new ScenarioStep(eat, alice)); var q1 = new ScenarioEverExecutableQuery(sc1); var sc2 = new Scenario(); sc2.AddScenarioStep(new ScenarioStep(eat, alice)); sc2.AddScenarioStep(new ScenarioStep(eat, alice)); var q2 = new ScenarioEverExecutableQuery(sc2); var r1 = q1.Evaluate(world); var r2 = q2.Evaluate(world); Assert.AreEqual(r1, true); // elixir może się nie skończyć Assert.AreEqual(r2, false); }
public void NeroEverExecutableQuery() { var query = new ScenarioEverExecutableQuery(_drinkRestTorchScenario); Assert.IsTrue(query.Evaluate(_world)); }