Ejemplo n.º 1
0
        public void Should_display_positive_literal_without_not_sign()
        {
            SignedLiteral literal = new SignedLiteral("A", false);

            Assert.AreEqual(literal.ToString(), "A");
        }
Ejemplo n.º 2
0
        public void Should_display_negative_literal_with_not_sign()
        {
            SignedLiteral literal = new SignedLiteral("A", true);

            Assert.AreEqual(literal.ToString(), "¬A");
        }