[Javabdd-checkins] SF.net SVN: javabdd: [473] trunk/JavaBDD_tests/bdd/BasicTests.java
Brought to you by:
joewhaley
|
From: <joe...@us...> - 2006-12-03 10:34:05
|
Revision: 473
http://svn.sourceforge.net/javabdd/?rev=473&view=rev
Author: joewhaley
Date: 2006-12-03 02:34:02 -0800 (Sun, 03 Dec 2006)
Log Message:
-----------
Clean up code.
Modified Paths:
--------------
trunk/JavaBDD_tests/bdd/BasicTests.java
Modified: trunk/JavaBDD_tests/bdd/BasicTests.java
===================================================================
--- trunk/JavaBDD_tests/bdd/BasicTests.java 2006-12-03 10:32:26 UTC (rev 472)
+++ trunk/JavaBDD_tests/bdd/BasicTests.java 2006-12-03 10:34:02 UTC (rev 473)
@@ -202,12 +202,6 @@
a = bdd.ithVar(0);
b = a.not();
c = bdd.nithVar(0);
- //System.out.println("First graph:");
- //a.printDot();
- //System.out.println("Second graph:");
- //b.printDot();
- //System.out.println("Third graph:");
- //c.printDot();
Assert.assertEquals(b, c);
if (!bdd.isZDD()) {
c.free();
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|