Hi,
I looked on JPF bug track and made few trivial patches:
1889589 - RandomSearch.java.patch
1863583 - fixed in r725
1861529 - Config.java.patch(taken from bug description)
1727279 - Works for me
I've also fixed StateSpaceDot(StateSpaceDot.java.patch), label no
longer overflows from it's container.
I was thinking about another improvement: all classes that inherits
from gov.nasa.jpf.search.Search implement search() method in similar
way(difference is within while loop).
For me it's a good candidate for Template method pattern. I will
look tomorrow is it possible to apply it there.
Regards
Mateusz Ujma
|
