[Javabdd-checkins] JavaBDD_tests/bdd CallbackTests.java,1.1,1.2

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

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

Modified Files:
	CallbackTests.java 
Log Message:
More bits by default.

Index: CallbackTests.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/bdd/CallbackTests.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** CallbackTests.java	29 Jan 2005 11:32:25 -0000	1.1
--- CallbackTests.java	18 Apr 2005 12:00:41 -0000	1.2
***************
*** 48,52 ****
              bdd.registerGCCallback(this, m);
              gc_called = 0;
!             final int numBits = 16;
              final int max = (1 << numBits) - 1;
              if (bdd.varNum() < numBits) bdd.setVarNum(numBits);
--- 48,52 ----
              bdd.registerGCCallback(this, m);
              gc_called = 0;
!             final int numBits = 20;
              final int max = (1 << numBits) - 1;
              if (bdd.varNum() < numBits) bdd.setVarNum(numBits);