Ejemplo n.º 1
0
        public void PrintingAllOperatorsTest(string input, string print)
        {
            IPrettyPrint printing = Program.BuildAstLTL(_ltlPrint, input);

            Assert.Equal(print, printing.Print());
        }
Ejemplo n.º 2
0
        public void PrintingDisjunctionTest(string input, string print)
        {
            IPrettyPrint printing = Program.BuildAstLTL(_ltlPrint, input);

            Assert.Equal(print, printing.Print());
        }