Exemplo n.º 1
0
 @Test
 public void createNot() throws Exception {
   Statement stmt = f.createPrint(f.createNot(new False(), null), null);
   runStatementFor(u, stmt, 0.2);
   System.out.println("The above test should print 'true'");
 }