[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications

[bugzilla at redhat.com]

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 <prockai at redhat.com>  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.