/** Test of copy method, of class Disjunction. */ @Test public void testCopy() { System.out.println("copy"); Literal l = new Literal("a"); Literal r = new Literal("b"); Disjunction instance = new Disjunction(l, r); Sentence result = instance.copy(); assertEquals(instance, result); }