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

Re: [PVS-Help] wish crashes with postscript generation on Mac

Hi Jean-Claude,

I was able to reproduce this on MacOSX Lion, but not in Linux.
It's very odd that it breaks on proof displays, but not theory
hierarchies, as they use the same code for generating postscript.
I'm not sure how to debug this, as the segmentation fault comes from deep
within Tcl/Tk.  I sent the bug to Apple, and I'll try googling for more
information.  Let me know if you find out anything.

Sam Owre

Jean-Claude Royer <Jean-Claude.Royer@mines-nantes.fr> wrote:

> Hi all
> I am using wish to try to get a graphic view of a proof.
> The view is ok with "x-show-proof" but the PS generation does not work.
> I tried several different proofs and various options with pvs 4.1 and pvs 5,
> but allways the wish application crashes.
> This is may be a bug with Mac and snow leopard, but I dit not find
> something related on the web.
> Any hint to solve this issue ?
> regards
> Jean-Claude.Royer@mines-nantes.fr
> ASCOLA, Mines de Nantes - INRIA
> + 33 2 51 85 82 05