[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

[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=548607





--- Comment #20 from Jerry James <loganjerry at gmail.com>  2009-12-29 00:20:33 EDT ---
Thanks for the comments.  I'll address those some time tomorrow.  I have
figured out the problem with the 32-bit platform, and it is, in fact, a
different hang than the one I was seeing on the 64-bit platform.  On the 32-bit
platforms, Emacs is waiting for PVS forever, because the PVS process isn't
exiting.  It looks like the immediate problem is that my patch to use the
system Mona library isn't quite right.  I don't know why this didn't manifest
on the 64-bit platform (maybe it would later on during the execution).

Anyway, I've got to figure out how to do this correctly now.  I'll try to do
that tomorrow, too.

-- 
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.