public void Should_display_positive_literal_without_not_sign() { SignedLiteral literal = new SignedLiteral("A", false); Assert.AreEqual(literal.ToString(), "A"); }
public void Should_display_negative_literal_with_not_sign() { SignedLiteral literal = new SignedLiteral("A", true); Assert.AreEqual(literal.ToString(), "¬A"); }