From: Mateusz U. <mat...@gm...> - 2008-04-03 23:44:25
|
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 |