public void CheckFormula_EX()
{
this.verifier = new EmersonLieVerifier (SimpleModel3.Make (), CTLFormula.EX (new CTLFormula ("a")));
var states = new [] { 1, 2, 4, 5 };
AssertHelper.ListsEqualsAsSet (states, this.verifier.States);
foreach (var state in SimpleModel3.Make ().States)
Assert.AreEqual (states.Contains (state), this.verifier.CheckState (state));
}
public void CheckComplexFormula()
{
this.verifier = new EmersonLieVerifier (SimpleModel3.Make (), CTLFormula.Parse ("E({a} U EG {b})"));
var states = new [] { 3, 5 };
AssertHelper.ListsEqualsAsSet (states, this.verifier.States);
foreach (var state in SimpleModel3.Make ().States)
Assert.AreEqual (states.Contains (state), this.verifier.CheckState (state));
}
