FCS 1.11.20 is out and you can download it from the web-site. The
Random-DFS scan now features random groups. Random GRoups are specified in
the test order by using parenthesis or square brackets. The scan
randomizes each group together, while leaving alone those states that are
not found in any group.
I noticed that the "[01][23456789]" test order usually produces better
results than the "[0123456789]" one. Its implication is that tests 0 and 1
are always performed before all the other tests.
Regards,
Shlomi Fish
--
----------------------------------------------------------------------
Shlomi Fish shlomif_at_vipe.technion.ac.il
Home Page: http://t2.technion.ac.il/~shlomif/
Home E-mail: shlomif_at_techie.com
If:
1. A is A
2. A is not not-A
does it imply that
1. B is B
2. B is not not-B
Received on Sat Dec 01 2001 - 12:43:55 IST