public void testIntConstruction() { Proposition temp = new Proposition(2, Operations.Conjunction, 3); Operations O = Operations.Conjunction; Assert.AreEqual(temp.Operation, O, "Operations Error"); Assert.AreEqual(temp.getA(), 2, "'A' error"); Assert.AreEqual(temp.getB(), 3, "'B' error"); }