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