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

[PVS-Help] error message

Hello, everyone here:

When I start PVS 4.1, the following error message shown in  xemacs buffer. 


Debugger entered--Lisp error: (error "Could not run PVS")
  signal(error ("Could not run PVS"))
  error("Could not run PVS")
  pvs()
  load("pvs-load" nil nil nil)
  eval-buffer(#<buffer  *load*> nil "/home/xu/pvs41/emacs/go-pvs.el" nil t)
  load-with-code-conversion("/home/xu/pvs41/emacs/go-pvs.el" "/home/xu/pvs41/emacs/go-pvs.el" nil t)
  load("/home/xu/pvs41/emacs/go-pvs.el" nil t)
  command-line-1(("-load" "/home/xu/pvs41/emacs/go-pvs.el"))
  command-line()
  normal-top-level()



 Can anyone there tell me what's the reason? (my linux version is Mandrake Linux 9.2 running through VMware workstation)

thank you in advance!

Xu Qingguo
2008/5/13