[Javabdd-checkins] JavaBDD_tests/regression R1.java,1.5,1.6

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

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

Modified Files:
	R1.java 
Log Message:
Updated JavaBDD tests.

Index: R1.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/regression/R1.java,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** R1.java	19 Oct 2004 06:51:21 -0000	1.5
--- R1.java	19 Oct 2004 11:46:30 -0000	1.6
***************
*** 29,33 ****
              BDD set = d.set();
              double s1 = x.satCount(set);
!             bdd.setVarNum(20);
              double s2 = x.satCount(set);
              Assert.assertEquals(bdd.toString(), s1, s2, 0.00001);
--- 29,33 ----
              BDD set = d.set();
              double s1 = x.satCount(set);
!             if (bdd.varNum() < 20) bdd.setVarNum(20);
              double s2 = x.satCount(set);
              Assert.assertEquals(bdd.toString(), s1, s2, 0.00001);