From: John W. <joe...@us...> - 2004-10-19 06:51:52
|
Update of /cvsroot/javabdd/JavaBDD_tests/regression In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7312/regression Modified Files: R2.java Log Message: Assert that we have at least one BDD factory. Index: R2.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD_tests/regression/R2.java,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** R2.java 16 Oct 2004 04:31:28 -0000 1.3 --- R2.java 19 Oct 2004 06:51:43 -0000 1.4 *************** *** 21,24 **** --- 21,25 ---- public void testR2() { + Assert.assertTrue(hasNext()); while (hasNext()) { BDDFactory bdd = nextFactory(); |