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