public void TestF6() { ITLFormula f = new Until (new Globally (p1), p2); AssertEquivalentEmptiness (f); }
public void TestF1() { ITLFormula f = new Until (p1, p2); AssertEquivalentEmptiness (f); }
public void TestF2() { ITLFormula f = new Until (p1, new Until (p2, p3)); AssertEquivalentEmptiness (f); }
public void TestNoSpawnUntilInit() { ITLFormula f0 = new Until (new Proposition ("spawn").Negate (), new Proposition ("init")); AssertEquivalentEmptiness (f0.Negate ()); }