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));
}
