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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

_______________________________________________
Fedora-package-review mailing list
Fedora-package-review@xxxxxxxxxx
http://www.redhat.com/mailman/listinfo/fedora-package-review

[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]