Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=486757 --- Comment #18 from Petr Rockai <[email protected]> 2009-04-15 18:11:50 EDT --- Hi, I have uploaded divine-mc 1.4 today, that includes an important correctness fix for the nested DFS implementation that's by default used for single-threaded verification runs. Additionally, it improves performance of OWCTY in some cases (the algorithm used for multi-threaded verification). Unfortunately, I didn't get around to fix the administrative problems you have encountered while working on the package -- mostly the promela jars issue and the incomplete "make install" target. I'll try to make a 1.4.1 release next week that would address those. Thanks, Petr. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Fedora-package-review mailing list [email protected] http://www.redhat.com/mailman/listinfo/fedora-package-review
