public void CollectMaximalNormalizableFormulasWithNestedTwice() { var vistor = new CollectMaximalNormalizableFormulasVisitor(); var formula = CreateNestedTwice(); vistor.VisitNewTopLevelFormula(formula); Assert.Equal(1, vistor.CollectedStateFormulas.Count()); }
public void CollectMaximalNormalizableFormulasWithBinary() { var vistor = new CollectMaximalNormalizableFormulasVisitor(); var formula = CreateBinaryFormula(); vistor.VisitNewTopLevelFormula(formula); Assert.Equal(vistor.CollectedStateFormulas.Count(), 1); }