[Javabdd-checkins] JavaBDD_tests/bdd BasicTests.java,1.2,1.3

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

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

Modified Files:
	BasicTests.java 
Log Message:
Add support for MicroFactory

Index: BasicTests.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/bdd/BasicTests.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** BasicTests.java	17 Nov 2004 08:21:32 -0000	1.2
--- BasicTests.java	31 Jan 2005 00:08:33 -0000	1.3
***************
*** 182,186 ****
      
      static boolean isFreed(BDD b) {
!         return b.hashCode() == -1;
      }
      
--- 182,186 ----
      
      static boolean isFreed(BDD b) {
!         return b.hashCode() == -1 || b.hashCode() == 0x07ffffff;
      }