[Javabdd-checkins] JavaBDD_tests/bdd IteratorTests.java,1.4,1.5

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

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

Modified Files:
	IteratorTests.java 
Log Message:
Make the iterator test deterministic.

Index: IteratorTests.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/bdd/IteratorTests.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** IteratorTests.java	23 May 2005 22:32:58 -0000	1.4
--- IteratorTests.java	24 May 2005 00:15:19 -0000	1.5
***************
*** 36,40 ****
              BDDDomain d2 = bdd.getDomain(1); d2.setName("D1");
              bdd.setVarOrder(bdd.makeVarOrdering(true, "D1xD0"));
!             Random r = new Random();
              int times = 1000;
              int combine = 400;
--- 36,40 ----
              BDDDomain d2 = bdd.getDomain(1); d2.setName("D1");
              bdd.setVarOrder(bdd.makeVarOrdering(true, "D1xD0"));
!             Random r = new Random(666);
              int times = 1000;
              int combine = 400;
***************
*** 58,62 ****
                  while (i1.hasNext()) {
                      BDD b1 = (BDD) i1.next();
!                     double sc = b1.satCount(var); 
                      Assert.assertEquals(1., sc, 0.0000001);
                      s1.add(b1);
--- 58,62 ----
                  while (i1.hasNext()) {
                      BDD b1 = (BDD) i1.next();
!                     double sc = b1.satCount(var);
                      Assert.assertEquals(1., sc, 0.0000001);
                      s1.add(b1);