[Javabdd-checkins] JavaBDD_tests/bdd BDDTestCase.java,1.7,1.8

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD_tests/bdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv3633/bdd

Modified Files:
	BDDTestCase.java 
Log Message:
Also test CUDD factory by default.

Index: BDDTestCase.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/bdd/BDDTestCase.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** BDDTestCase.java	21 May 2005 02:46:19 -0000	1.7
--- BDDTestCase.java	29 Jun 2005 08:01:54 -0000	1.8
***************
*** 24,28 ****
          "net.sf.javabdd.BuDDyFactory",
          "net.sf.javabdd.MicroFactory",
!         //"net.sf.javabdd.CUDDFactory",
          //"net.sf.javabdd.CALFactory",
          //"net.sf.javabdd.JDDFactory",
--- 24,28 ----
          "net.sf.javabdd.BuDDyFactory",
          "net.sf.javabdd.MicroFactory",
!         "net.sf.javabdd.CUDDFactory",
          //"net.sf.javabdd.CALFactory",
          //"net.sf.javabdd.JDDFactory",